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
 

Alonzo Church Award 2017 - Call for Nominations

An annual award, called the

Alonzo Church Award for Outstanding Contributions to Logic and Computation

was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research. For the rules governing this award, see: http://siglog.hosting.acm.org/the-alonzo-church-award-for-outstanding-contributions-to-logic-and-computation/

The 2016 Alonzo Church Award was given to Rajeev Alur and David Dill for their invention of timed automata, see: http://siglog.hosting.acm.org/wp-content/uploads/2016/05/church16.pdf

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

The EATCS Award 2017 to Éva Tardos

The EATCS is proud to announce that the EATCS Award Committee consisting of Fedor Fomin (chair), Christos Papadimitriou and Jean-Eric Pin has selected Professor Éva Tardos (Cornell University, USA; http://www.cs.cornell.edu/~eva/) as the recipient of the EATCS Award 2017.

The EATCS Award is given to acknowledge extensive and widely recognized contributions to theoretical computer science over a life-long scientific career. The list of the previous recipients of the EATCS Award is available at http://eatcs.org/index.php/eatcs-award.

The EATCS Award carries a prize money of 1000 Euros and will be presented at ICALP 2017, which will take place in Warsaw (Poland) from the 10th till the 14th of July 2017.

e-max.it: your social media marketing partner
 

Call for Nominations for Scientific Directorship in Algorithms and Complexity at the Max Planck Institute for Informatics

The Max Planck Institute for Informatics in Saarbrücken is seeking nominations for the position of Scientific Member of the Max Planck Society and Director of the Institute. The founding director, Kurt Mehlhorn, will be retiring in the next three years, and the Institute is looking for a new scientific director for the algorithms and complexity department. (More precisely, Kurt Mehlhorn will step down as Director on the day a new director joins. He will stay on as a researcher at the Institute.)

Webpage with the details of the call for nominations: http://www.mpi-inf.mpg.de/fileadmin/inf/d1/download/MPI-INF-Call-for-Nomations.pdf (Self-nominations are possible.)

Email: This e-mail address is being protected from spambots. You need JavaScript enabled to view it

e-max.it: your social media marketing partner
 

First School on Foundations of Programming and Software systems - Probabilistic programming

It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portugal, May 29th - June 4th 2017.

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

The Gödel Prize 2017 - Call for Nominations

Deadline: February 15, 2017

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 25th Gödel Prize will be awarded at the 49th Annual ACM Symposium on Theory of Computing, to be held from 19-23 June, 2017 in Montreal, Canada.

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

CAI 2017 - Call for Papers

CAI 2017
7th International Conference on Algebraic Informatics
June 25-28, 2017
Kalamata, Greece

http://www.cargo.wlu.ca/CAI2017/

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 33

ICALP 2017

Warsaw, Poland

July 10-14, 2017                           

SAGT 2016

Liverpool, UK

September 19-21, 2016

DISC 2016

Paris, France

September 26-30, 2016

 

 

New BEATCS issue is out!

Number 120, October 2016

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