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
 

2019 Gödel Prize - Laudation

The 2019 Gödel Prize is awarded to Prof. Irit Dinur for her proof of the PCP Theorem in the paper:

"The PCP theorem by gap amplification", Journal of the ACM, Vol 54 (3), Article 12, 2007. (preliminary version in the proceedings of the 38th Symposium on Theory of Computing, STOC 2006).

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

2019 Gödel Prize

The 2019 Gödel Prize committee has decided to award this year's prize to Professor Irit Dinur for the paper:

"The PCP theorem by gap amplification", Journal of the ACM, Vol 54 (3), Article 12, 2007. (preliminary version in the proceedings of the 38th Symposium on Theory of Computing, STOC 2006).

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

SIROCCO 2019 - Second Call for Papers

26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019)

http://cs.gssi.it/sirocco2019 July 1-4, 2019, L’Aquila, Italy

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

EATCS Bulletin Issue 127 is available online

The 127th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/issue/view/29 featuring

- "On Lamport's "Teaching Concurrency", by U. Abraham

- "Unconstrained Church-Turing thesis cannot possibly be true", by Y. Gurevich

You can download a pdf with the printed version of the bulletin from http://www.eatcs.org/images/bulletin/beatcs127.pdf

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

APPROX 2019 - Call for Papers

Paper submission deadline: May 3, 2019

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

Call for Prize Nominations: Prize for Innovation in Distributed Computing 2020

Awarded by the Colloquium on Structural Information and Communication Complexity (SIROCCO).

Deadline for nominations: April 30, 2019.

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 45

ICALP 2019

Patras, Greece

July 8-12, 2019               


 

 

New BEATCS issue is out!

Number 127, February 2019

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