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
 

EATCS ICALP Best Paper Awards 2007 (Friday, October 5, 2007)

The EATCS Best Paper Awards at the International Colloquium on Automata, Languages, and Programming 2007, ICALP'07, have been assigned to the following papers: Track A. Jin-Yi Cai and Pinyan Lu: "Holographic algorithms. The Power of Dimensionality Resolved", Track B. Bernard Boigelot and Julien Brusten: "A Generalization of Cobham's Theorem to Automata over Real Numbers" and Track C. Tal Moran, Moni Naor, Gil Segev: "Deterministic History Independent Strategies for Storing Information on Write Once Memories". No Best ICALP Student paper Award was assigned.

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

The Edsger W. Dijkstra Prize for 2007 (Wednesday, July 25, 2007)

The winner of the Edsger W. Dijkstra Prize for 2007 is ``Consensus in the presence of partial synchrony'' by Cynthia Dwork, Nancy Lynch, and Larry Stockmeyer, which appeared in the Journal of the ACM, Vol. 35, No. 2, April, 1988. pages 288--323. A preliminary version appeared in PODC 1984.

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

EATCS Activity Report for 2007 (Tuesday, July 3, 2007)

The EATCS Activity Report for 2007 has been made available online.

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

EATCS Award for Best ETAPS Paper 2007 (Monday, June 25, 2007)

The EATCS Award for the best paper in theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2007, ETAPS'07, was awarded to Christian Haack, Erik Poll, Jan Schaefer and Aleksy Schubert for their paper "Immutable Objects for a Java-like Language".

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

Call for nominations of EATCS Council members (Monday, June 4, 2007)

According to Articles 9-10 of the EATCS Statutes, 10 members of the EATCS Council are elected in every odd year for a four-year period. The call for nominations of candidates for the 2007 Council election is now open to all members of EATCS. Nominations should be sent to the EATCS President, This e-mail address is being protected from spambots. You need JavaScript enabled to view it , no later than July 1st, 2007. For further information see the link below.

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

Page 36 of 38

ICALP 2018

Prague, Czech Republic

July 9-13, 2018


MFCS 2017

Aalborg, Denmark

August 21-25, 2017               


ESA 2017

Vienna, Austria

September 4-8, 2017

DISC 2017

Vienna, Austria

October 16-20, 2017               

 


ICALP 2019

Patras, Greece

July 8-12, 2019               


 

 

New BEATCS issue is out!

Number 123, October 2017

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