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
 

EATCS honours three outstanding PhD theses with the EATCS Distinguished Dissertation Award for 2023

EATCS is proud to announce that, after examining the nominations received from our research community, the EATCS Distinguished Dissertation Award Committee 2023, consisting of Nikhil Bansal (chair), Petra Berenbrink, Jaroslav Nešetřil, Damian Niwiński, Vladimiro Sassone, Alexandra Silva, David Woodruff and Standa Zivny has selected the following three theses as recipients of the EATCS Distinguished Dissertation Award for 2023:

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

Presburger Award 2024 – Laudatio

The 2024 Presburger Award Committee has chosen Justin Hsu and Pravesh Kothari as joint recipients of the 2024 EATCS Presburger Award for Young Scientists.

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

The 2024 Gödel Prize

The 2024 Gödel Prize is awarded for the following paper:

Ryan Williams: Non-Uniform ACC Circuit Lower Bounds.

Computational Complexity Conference (CCC) 2011.

Journal of the ACM 61(1):1–32 (2014)

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

2024 Edsger W. Dijkstra Prize in Distributed Computing

The Edsger W. Dijkstra Prize in Distributed Computing is awarded for outstanding papers on the principles of distributed computing, whose significance and impact on the theory or practice of distributed computing have been evident for at least a decade. It is sponsored jointly by the ACM Symposium on Principles of Distributed Computing (PODC) and the EATCS Symposium on Distributed Computing (DISC). The prize is presented annually, with the presentation taking place alternately at PODC and DISC.

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

The EATCS Award 2024  - Laudation for Samson Abramsky

The EATCS Award committee selects

Samson Abramsky

as the recipient of the 2024 EATCS Award

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

EATCS Bulletin Issue 142 is available online

The 142nd issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/index featuring

  • Know the Person behind the Papers Today: Laura Kovács  - The Interview Column by Chen Avin and Stefan Schmid
  • Know the Person behind the Papers Today: Moshe Vardi  - The Interview Column by Chen Avin and Stefan Schmid
  • Teaching Formal Foundations of Computer Science with Iltis - Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume, The Education Column by Juraj Hromkovic and Dennis Komm
  • Possibility Tracking: A Simple Technique for Machine-verifying Lock-free Data Structures - Siddhartha Jayanti, The Distributed Computing Column by Seth Gilbert
  • Report on AFL 2023 by Bianca Truthe
  • Report on CIAA 2023 by Bianca Truthe 
  • Report on DCFS 2023 by Bianca Truthe 
  • Report on NCMA 2023 by Bianca Truthe 
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 63

ICALP 2024

Tallinn, Estonia

July 8-12, 2024                


 

 

New BEATCS issue is out!

Number 142, February 2024

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