Presburger Award for Young Scientists 2018 - Call for Nominations

*New Deadline: January 31st, 2018*

Starting in 2010, the European Association for Theoretical Computer Science (EATCS) established the Presburger Award. The Award is conferred annually at the International Colloquium on Automata, Languages and Programming (ICALP) to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers. The Award is named after Mojzesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929.

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

SALOMAA PRIZE in AUTOMATA THEORY, FORMAL LANGUAGES AND RELATED TOPICS

The Developments in Language Theory (DLT) Symposium has decided to create a prize to be awarded during the DLT conference. The SALOMAA PRIZE is named to honour the scientific acheivments and influence of Academician Arto Salomaa, a founder of the DLT symposium. The prize consists of a diploma and 2000 euros, funded by the University of Turku, the home university of Arto Salomaa.

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

Alonzo Church Award 2018 - Call for Nominations

Introduction

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.org/awards/alonzo-church-award/. The 2017 Alonzo Church Award was given jointly to Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau for providing a fully-abstract semantics for higher-order computation through the introduction of game models, see: http://siglog.org/winners-of-the-2017-alonzo-church-award/.

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

Deadlines for submitting nominations

The deadlines for submitting nominations for the 5 awards are:

EATCS Award 2018 : December 31, 2017

Presburger Award 2018 : December 31, 2017

Eatcs Fellows 2018 : December 31, 2017

EATCS Distinguished Dissertation Award 2017 : December 31, 2017

Gödel Prize 2018 : February 15, 2018

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

The Gödel Prize 2018 - Call for Nominations Deadline: February 15, 2018

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 26th Gödel Prize will be awarded at the 45th International Colloquium on Automata, Languages, and Programming to be held during July 9-13, 2018 in Prague, Czech Republic

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

CiE 2018 - First Call for Papers

CiE 2018: Sailing Routes in the World of Computation Kiel, Germany July 30 - August 3, 2018 http://cie2018.uni-kiel.de

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

ICALP 2018 - Call for Workshop Proposals

ICALP 2018

July 9-13, Praha, Czech Republic

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 41
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.