Presburger Award for Young Scientists 2024 - Call for Nominations

Deadline: 7 March 2024

The Presburger Award recognises outstanding contributions by a young scientist in theoretical computer science, documented by a published paper or a series of published papers. It is named after Mojzesz Presburger who accomplished his ground-breaking work on decidability of the theory of addition (known today as Presburger arithmetic) as a student in 1929. The award is conferred annually by the European Association for Theoretical Computer Science (EATCS) at the International Colloquium on Automata, Languages, and Programming (ICALP).

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

ICALP 2024 - Final Call for Papers

 

The 51st EATCS International Colloquium on Automata, Languages, and Programming (ICALP) will take place in: Tallinn, Estonia, July 8-12, 2024 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 6-7. The 2024 edition has the following features: - Submissions are anonymous and there is a rebuttal phase. - The conference is planned as a physical, in-person event. - ICALP 2024 is co-located with Logic in Computer Science (LICS) 2024 and Formal Structures for Computation and Deduction (FSCD) 2024.

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

EATCS Fellows 2024 - Call for Nominations

Deadline: March 7th, 2024

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

The Gödel Prize 2024 - Call for Nominations

Deadline: April 12, 2024.

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 International Colloquium on Automata, Languages, and Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC). The 32nd Gödel Prize will be awarded at the 51st International Colloquium on Automata, Languages and Programming (ICALP) in Tallinn, Estonia, July 8-12, 2024.

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.

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

Call for Nominations: Alonzo Church Award for Outstanding Contributions to Logic and Computation 2024

CALL FOR NOMINATIONS

*Deadline in less than one month - March 1, 2024*

The 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation

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

The 2024 Edsger W. Dijkstra Prize in Distributed Computing

 

http://www.podc.org/dijkstra/

http://www.disc-conference.org/wp/dijkstra-prize/

 

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

Vote for General Assembly Elections 2023 has ended

The results of the elections will be announced very shortly.
e-max.it: your social media marketing partner
 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 8 of 68

ICALP 2026

Royal Holloway, University of London

July 6-10, 2026               


 

 

New BEATCS issue is out!

Number 148, February 2026

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