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

Numerical algorithms for high-performance computational science

Location

The Royal Society, London, 6-9 Carlton House Terrace, London, SW1Y 5AG

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

Call for Submissions: VCLA International Student Awards 2019

The Vienna Center for Logic and Algorithms (VCLA) at TU Wien seeks nominations for the VCLA International Student Awards 2019. The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Logic and Computer Science. Final deadline for submission of nominations is March 15, 2019.

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

EATCS-IPEC Nerode Prize - Call for Nominations

Deadline: March 15, 2019

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 2019 takes place within ALGO 2019, September 11-13, 2019, Munich, Germany. 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. Award Committee

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 3 of 47

ICALP 2019

Patras, Greece

July 8-12, 2019               


 

 

New BEATCS issue is out!

Number 128, June 2019

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