ICGT 2023 - CALL FOR PARTICIPATION

16th International Conference on Graph Transformation (ICGT 2023)

19-20 July in Leicester, UK, as part of STAF 2023

web: https://conf.researchr.org/home/staf-2023

Presburger Award 2023

The 2023 Presburger Award Committee has unanimously selected

Aaron Bernstein (Rutgers University )

and

Thatchaphol Saranurak (University of Michigan)

as the recipients of the 2023 EATCS Presburger Award for Young Scientists.

ESA 2023 best paper awards

The European Association for Theoretical Computer Science (EATCS) sponsored best paper and best student paper awards. A submission was eligible for the best student paper award if all authors were doctoral, master, or bachelor students at the time of submission.

The 2023 Gödel Prize

The 2023 Gödel Prize is awarded to the following papers

• Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary and Ronald de Wolf: Exponential Lower Bounds for Polytopes in Combinatorial Optimization. STOC 2012: 95-106. J. ACM, 62(2), 17:1-17:23 (2015)
• Thomas Rothvoss: The matching polytope has exponential extension complexity. STOC 2014: 263-272. J. ACM, 64(6),1-19 (2017)

34th European Summer School in Logic, Language and Information

July 31 to August 11, 2023

University of Ljubljana, Faculty of Computer and Information Science

The European Summer School in Logic, Language and Information (ESSLLI) is a yearly recurring event, which has been organized since 1989. An ESSLLI Summer School provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science. Courses (foundational, introductory and advanced) and workshops cover a wide variety of topics within three interdisciplinary areas of interest: language and computation, logic and language, and logic and computation. In addition to the workshops and courses there are usually four evening lectures, given by prominent researchers, on topics that are at the forefront of research in logic, language and computer science, also from wider scientific, historical, and philosophical perspectives. Its relevance to students of artificial intelligence is evident.

2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation

The awardee papers are:

• Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer: “Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning”. POPL 2015.
• Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer: “Higher-order ghost state”. ICFP 2016.
• Robbert Krebbers, Ralf Jung, Aleš Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal: “The Essence of Higher-Order Concurrent Separation Logic”. ESOP 2017.
• Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Aleš Bizjak, Lars Birkedal, Derek Dreyer: “Iris from the ground up: A modular foundation for higher-order concurrent separation logic”. J. Funct. Program. 28 (2018).

for the design and implementation of Iris, a higher-order concurrent separation logic framework.