GandALF 23

The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on September 18-20, 2023.

ICALP 2023 - First Call for Papers

Submissions: February 11, 2023 at 11am CET

The 50th EATCS International Colloquium on Automata, Languages, and Programming (ICALP) will take place in: Paderborn, Germany, on July 10-14, 2023.

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 10.

EATCS-IPEC Nerode Prize - Call for Nominations

Deadline: 15 April, 2023

The EATCS-IPEC Nerode Prize for outstanding papers in the area of multivariate algorithmics, is presented annually with the presentation taking place at IPEC (International Symposium on Parameterized and Exact Computation). IPEC 2023 is due to take place as part of ALGO 2023 on 4-8 September in Amsterdam, the Netherlands. The Prize is named in honor of Anil Nerode in recognition of his major contributions to mathematical logic, theory of automata, computability, and complexity theory.

The Gödel Prize 2023 - Call for Nominations

NEW Deadline: March 31st, 2023

The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (ACM SIGACT). The award is presented annually, with the presentation taking place alternately at the EATCS International Colloquium on Automata, Languages, and Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC). The 31st Gödel Prize will be awarded at the 55th ACM Symposium on Theory of Computing (STOC), which will take place in Orlando, Florida, June 20-23, 2023.

The Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before von Neumann’s death, in what has become the famous “P versus NP” question. The Prize includes an award of USD 5,000.

EATCS Fellows 2023 - Call for Nominations

Deadline: January 31, 2023

Call for nominations: EATCS Award 2023