European Association for Theoretical Computer Science (EATCS) is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.
e-max.it: your social media marketing partner
 

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.

e-max.it: your social media marketing partner
Read more...
 

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)
e-max.it: your social media marketing partner
Read more...
 

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.

e-max.it: your social media marketing partner
Read more...
 

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.
e-max.it: your social media marketing partner
Read more...
 

EATCS Fellows class of 2023 named

The EATCS has recognized three of its members for their outstanding contributions to theoretical computer science by naming them as recipients of an EATCS fellowship.

e-max.it: your social media marketing partner
Read more...
 

The EATCS Award 2023 - Laudatio for Amos Fiat

The EATCS Award committee selects

Amos Fiat

as the recipient of the 2023 EATCS Award.

e-max.it: your social media marketing partner
Read more...
 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 1 of 59

ICALP 2023

Paderborn, Germany

July 10-14, 2023               


 

 

New BEATCS issue is out!

Number 139, February 2023

European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.