Alonzo Church Award 2016 - 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.

Call for Nominations

e-max.it: your social media marketing partner
 
Press release for the EATCS Award 2016 to Dexter Kozen

The EATCS bestows the EATCS Award 2016 to Dexter Kozen (Cornell University, USA) for fundamental contributions across the whole spectrum of theoretical computer science.

e-max.it: your social media marketing partner
Read more...
 
ICALP 2016 - Second Call for Papers

ICALP 2016
http://www.easyconferences.eu/icalp2016/

The 43rd International Colloquium on Automata, Languages, and Programming ( ICALP) will take place in Rome, Italy, on July 11-15, 2016.

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 11.

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

Deadline for nominations for several EATCS Awards is approaching!

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

New Alonzo Church Award for Outstanding Contributions to Logic and Computation

Read the rules for the new Alonzo Church Award for Outstanding Contributions to Logic and Computation

e-max.it: your social media marketing partner
 

Call for Workshops Proposals affiliated with ICALP 2016

July 11-15, 2016,  Rome, Italy

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

ICALP 2016 - Call for Papers

The 43rd International Colloquium on Automata, Languages, and Programming (ICALP) will take place in Rome, Italy, on July 11-15, 2016.
ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 11.

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 7 of 34

ICALP 2017

Warsaw, Poland

July 10-14, 2017                           

 

 

New BEATCS issue is out!

Number 121, February 2017

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