Presburger Award for Young Scientists 2017

Call for Nominations

Deadline: December 31st, 2016

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

Call for nominations: EATCS Award 2017

The EATCS Award 2017

Call for Nominations

Deadline: December 31st, 2016
e-max.it: your social media marketing partner
Read more...
 

COMPLEXIS 2017 - CALL FOR PAPERS

CFP COMPLEXIS 2017 - Int'l Conf. on Complexity, Future Information Systems and Risk (Porto/Portugal) CALL FOR PAPERS

2nd International Conference on Complexity, Future Information Systems and Risk COMPLEXIS website: http://www.complexis.org/

April 24 - 26, 2017 Porto, Portugal

Sponsored by: INSTICC INSTICC is Member of: OMG, FIPA, WfMC and IFSR Technically Co-sponsored by: WFSC Logistics Partner: SCITEVENTS

IMPORTANT DATES:

Regular Paper Submission: December 15, 2016 (deadline extended)

Authors Notification (regular papers): February 14, 2017

Final Regular Paper Submission and Registration: February 23, 2017

Press Release pdf

e-max.it: your social media marketing partner
Read more...
 
EATCS-IPEC Nerode Prize 2016

The EATCS-IPEC Nerode Prize 2016 for outstanding papers in the area of multivariate algorithmics is awarded to

Andreas Björklund, Lund University, Sweden

for his paper

Determinant Sums for Undirected Hamiltonicity. SIAM Journal of Computing 43(1): 280–299 (2014)

e-max.it: your social media marketing partner
Read more...
 
New leadership of the EATCS

At its meeting held on Tuesday, 12 July 2016, the EATCS Council appointed the new leadership of the EATCS for the coming two-year period. The new president of the EATCS will be Paul Spirakis (University of Liverpool and U. Patras). He will be supported by Leslie Ann Goldberg (University of Oxford), Antonin Kucera (Masaryk University) and Giuseppe Persiano (University of Salerno) as vice-presidents.

e-max.it: your social media marketing partner
Read more...
 
Best ICGT Paper Award 2016

The "Best ICGT Paper Award" goes to

Title of the paper: Sesqui-Pushout Rewriting with Type Refinements

Author: Michael Löwe

e-max.it: your social media marketing partner
 
Best ETAPS paper 2016

The two following two papers are the winners ex-equo of the EATCS award for the best ETAPS paper:

Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs⋆ Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, and Federico Olmedo (ESOP)

Neil Ghani, Fredrik Nordvall Forsberg, and Alex Simpson Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (FDOSSACS)

The committee for selecting the winner(s) for this award was composed by Don Sannella, Luca Aceto, and Catuscia Palamidessi

e-max.it: your social media marketing partner
 
<< Start < Prev 11 12 13 14 15 16 17 18 19 20 Next > End >>

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