keynote speakers

One of the highlights of the upcoming ICT conference is the lineup of esteemed keynote speakers who will be sharing their insights and experiences on the latest trends and developments in the field. These experts are at the forefront of their respective areas, and their presentations will provide attendees with valuable information and inspiration. Among the keynote speakers at the conference, you can expect to hear from..

GESINE REINERT

speaker

Professor of Statistics, University of Oxford

dejan

Dejan Zvekic

Chief of Digitalization at Material Exchange

BIOGRAPHY
Dejan Zvekic is a prominent figure in the IT startup scene, known for his strategic vision and collaborative spirit. As Chief of Digitalization at Material Exchange, he is at the forefront of transforming the fashion industry through innovative digital sourcing solutions, effectively managing international teams to streamline production processes. 

Dejan’s entrepreneurial journey is marked by significant achievements, including expanding Plugin76 from a small project to a company that was an object of successful acquisition by PTC Inc., a global company valued at over $10 billion. 

He holds advanced degrees in marketing management, information systems, and an Executive MBA, blending strategic planning with market awareness.

TOPIC: SYNTHETIC NETWORKS

Thorsten Altenkirch

speaker

Professor for Computer Science, University of Nottingham

Thorsten Altenkirch

Professor for Computer Science at the University of Nottingham.

BIOGRAPHY
His research interest are in Type Theory and constructive logic and their application in proof assistants and programming languages. He has published a book on conceptual programming in Python (with Isaac Triguero) and is known for youtube videos on programming and other subjects in the Computerphile series.

 
TOPIC: Why dependent types matter
 
Abstract: A dependent type is a type which depends on values. Dependent types are used powerful programming languages which can express any property of a program and they are also used in interactive proof systems like Coq or Lean. I will use the agda system to illustrate the potential of dependent types. I will also highlight some issues which stop dependent types to fulfil their potential.

TOPIC: Why dependent types matter

Aleksandar Bojchevski

speaker

Professor for Computer Science, University of Cologne

Paul Kayne

Vice President, Biological Sciences at Palatin Technologies

BIOGRAPHY
Dr. Paul Kayne has an extensive track record of innovation enabling pharmaceutical R&D and life-cycle management. Combining aspects of biology, engineering, imaging, and informatics provides a platform for this innovation. He is currently VP of Biological Sciences at Palatin, a company developing a new paradigm for treating inflammatory diseases. Prior to joining Palatin, Dr. Kayne held several roles at Bristol-Myers Squibb, most recently Head of Discovery Genomics & Proteomics. Previously, Dr. Kayne built one of the earliest microarray teams while at SmithKline Beecham and was a member of the Research Faculty at the California Institute of Technology. Dr. Kayne received his Ph.D. in molecular biology from the University of California, Los Angeles and his B.A. in molecular biology/biochemistry from the University of California, Santa Barbara.

TOPIC: Machine Learning with Guarantees

marija slavkovik

speaker

Professor for Computer Science, University of Bergen

marija

MARIJA SLAVKOVIK

Professor of Informatics, Bergen University

BIOGRAPHY

Marija Slavkovik is a full professor and chair of the Department of Information Science and Media Studies at the University of Bergen. Her research interests are: Machine ethics, Logic reasoning in social networks, Collective reasoning and decision making.

 

MORE INFO

https://scholar.google.com/citations?hl=en&user=g8UBNwUAAAAJ 

TOPIC: Why is AI a social problem in 2023? 
 
Abstract: Artificial Intelligence has been an active research area since 1956. In the same timespan AI as an area of innovation and technology has been in and out of existence. The tools we use have always played a role in shaping society, but AI has not so far  been discussed as a politically relevant topic. 
Some of the public discourse today considers topics of super intelligence and machine supremacy. The talk will discuss the reality of AI, what has changed in 2023,  the tools that we have available today and the need to decide what kind of socio-technical society do we want to live in. 

DETAILS
The global pandemic has led to a ‘pivot’ to digital learning in many sectors of many countries, in schools, colleges and universities. My work with the UK Edtech Hub, British Council and Commonwealth of Learning suggests this response to the pandemic has been pedagogically conservative within those schools, colleges and universities, and furthermore may be increasing digital divides and educational disadvantage for those individuals, communities and cultures that are ignored, oppressed or poorly served by those schools, colleges and universities. My research explores in which innovative informal digital learning can help and support.

TOPIC: Why is AI a social problem in 2023?