ACM A. M. Turing Award 2007 (Tuesday, February 5, 2008)

The ACM A. M. Turing Award 2007 has been assigned to Edmund M. Clarke (Carnegie Mellon University), E. Allen Emerson (University of Texas at Austin) and Joseph Sifakis (Centre National de la Recherche Scientifique/CARNOT Institute at the University of Grenoble) for their role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.

More information
e-max.it: your social media marketing partner
 

EATCS Award 2008 Call for Nominations (Monday, October 22, 2007)

The call for nominations for the EATCS Award 2008 has been published (pdf). The EATCS Award committee consists of Catuscia Palamidessi, David Peleg (chair), and Emo Welzl. Nominations should be sent to David Peleg by December 1, 2007.

More information
e-max.it: your social media marketing partner
 

Gödel Prize 2008 Call for nominations (Thursday, October 18, 2007)

The Call for Nominations for the 2008 Gödel Prize has been posted. The deadline for nominations is January 31, 2008.

More information
e-max.it: your social media marketing partner
 

Best ESA Paper and Best Student ESA Paper 2007 (Monday, October 15, 2007)

The EATCS Best Paper Award at the European Symposium on Algorithms 2007, ESA'07, has been assigned to "Online Primal-Dual Algorithms for Maximizing Ad-Auctions Revenue" by Niv Buchbinder, Kamal Jain, and Joseph (Seffi) Naor, and the EATCS Best Student Paper Award has been assigned to "Order Statistics in the Farey Sequences in Sublinear Time" by Jakub Pawlewicz.

More information
e-max.it: your social media marketing partner
 

EATCS Election Results 2007 (Monday, October 15, 2007)

10 members of the EATCS Council have been elected for a four-year period.

e-max.it: your social media marketing partner
More information
 

EACSL 2007 Ackermann Award (Monday, October 15, 2007)

The European Association of Computer Science Logic has awarded the 2007 Ackermann Awards to: Dietmar Berwanger (thesis: Games and Logical Expressiveness), Stephane Lengrand (thesis: Normalization and Equivalence in Proof Theory and Type Theory), and Ting Zhang (thesis: Arithmetic Integration of Decision Procedures).

More information
e-max.it: your social media marketing partner
 

Call for Nominations for the EACSL Ackermann Award 2008 (Monday, October 15, 2007)

The Call for Nominations for the EACSL Ackermann Award 2008 is open. Eligible for the 2008 Ackermann Award are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2006 and 31.12.2007. The deadline for submission is 15.3.2008.

More information
e-max.it: your social media marketing partner
 
<< Start < Prev 31 32 33 34 35 36 37 38 39 40 Next > End >>

Page 38 of 40

ICALP 2018

Prague, Czech Republic

July 9-13, 2018


MFCS 2018

Liverpool, UK

August 27-31, 2018               


ESA 2018

Helsinki, Finland

August 20-24, 2018

DISC 2018

New Orleans, USA

October 15-19, 2018               

 


ICALP 2019

Patras, Greece

July 8-12, 2019               


 

 

New BEATCS issue is out!

Number 124, February 2018

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