Invited Speaker

Amr Sabry

Indiana University

Amr Sabry

Amr Sabry is a Professor of Computer Science at Indiana University. His research interests are in the semantics, logical foundations, and implementations of programming languages. He has published on a range of themes including the typing, logical foundations, and programming applications of continuations and continuation-passing style, reasoning about monadic effects and staged computation, and programming language models of quantum computing. Together with Matthias Felleisen, Sabry wrote a series of papers on the use of continuations in the compilation of functional languages which includes one of the fifty most influential papers in the last twenty years of the ACM SIGPLAN Conference Programming Language Design and Implementation (PLDI). Together with Eugenio Moggi, Sabry gave what is considered the long-awaited definitive answer that monadic encapsulation of effects using rank-2 polymorphism is correct. His most recent research interests are related to quantum computing.

Source: https://luddy.indiana.edu/contact/profile/?profile_id=289
Important dates :

Abstract submission:
February 18th, 2024 AOE

Submission deadline:
February 25th, 2024 AOE

Notification to authors:
March 22nd, 2024

Final version:
April 14th, 2024

Conference:
July 4th - July 5th, 2024

Organisers:

Kamila Barylska (chair)
Anna Gogolińska
Łukasz Mikulski
Marcin Piątkowski

Nicolaus Copernicus University
Toruń, Poland

Sponsors