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...
 

Presburger Award 2019 - Laudatio for Karl Bringmann and Kasper Green Larsen

The 2019 Presburger Award Committee has unanimously selected

Karl Bringmann and Kasper Green Larsen

as the recipients of the 2019 EATCS Presburger Award for Young Scientists, for their groundbreaking work on lower bounds.

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 4 of 48

ICALP 2020

Beijing, China

July 8-12, 2020               


 

 

New BEATCS issue is out!

Number 129, October 2019

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