EATCS Award for Best ETAPS Paper 2008 (Thursday, July 17, 2008)

The EATCS Award for the best paper in theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2008, ETAPS'08, was awarded to the paper "On Decision Problems for Probabilistic Büchi Automata" by Christel Baier, Nathalie Bertrand and Marcus Größer.

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

EATCS ICALP Best Paper Awards 2008 (Tuesday, July 15, 2008)

The EATCS Best Paper Awards at the International Colloquium on Automata, Languages, and Programming 2008, ICALP'08, have been assigned to the following papers: (Track A). David Buchfuhrer and Christopher Umans: "The complexity of Boolean formula minimization"; (Track B). Mai Gehrke, Serge Grigorieff and Jean-Eric Pin: "Duality and equational theory of regular languages"; (Track C). Sean Hallgren, Alexandra Kolla, Pranab Sen and Shengyu Zhang: "Making Classical honest verifier zero-knowledge protocols secure against quantum attacks".

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

EATCS ICALP Best Student Paper Awards 2008 (Tuesday, July 15, 2008)

The EATCS Best Student Paper Awards at the International Colloquium on Automata, Languages, and Programming 2008, ICALP'08, have been assigned to the following papers: (Track A). Jeff Phillips: "Algorithms for epsilon-approximations of Terrain"; (Track B). Christian Mathissen: "Weighted Logics for Nested Words and Algebraic Formal Power Series"; (Track C). none awarded.

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

The Edsger W. Dijkstra Prize for 2008 (Monday, July 14, 2008)

The Dijkstra Award Committee for 2008 has selected Baruch Awerbuch and David Peleg as the recipients of this year's Edsger W. Dijkstra Prize in Distributed Computing. The prize is awarded for their outstanding paper: "Sparse Partitions" published in FOCS 1990.

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

2008 Gödel Prize (Wednesday, May 28, 2008)

The 2008 Gödel Prize for outstanding papers in the area of theoretical computer science is awarded to "Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time" by Daniel A. Spielman and Shang-Hua Teng, Journal of the ACM (JACM), 51(3), May 2004, 385 – 463. The paper was first presented at the Annual ACM Symposium on the Theory of Computing (STOC '01), 2001, 296 – 305. The Prize will be presented at ICALP 2008 in Reykjavik on July 10.

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

Call for Nominations: The 2008 Edsger W. Dijkstra Prize in Distributed Computing (Friday, April 25, 2008)

The prize is given for outstanding papers on the principles of distributed computing, whose significance and impact on the theory and/or practice of distributed computing has been evident for at least a decade. The Prize includes an award of $2000. Nominations may be made by any member of the scientific community. Please send your nomination to the Chair of the Award Committee, Gadi Taubenfeld (tgadi[AT]idc.ac.il). Please mind that the nominations deadline is June 1, 2008.

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

EATCS/LA Best Presentation Award (Thursday, April 17, 2008)

The EATCS/LA Best Presentation Award, annually assigned by the EATCS Japanese Chapter to the best presentation by a young researcher at the EATCS/LA Workshop on TCS, for the year 2007 has been assigned to Prof. Chuzo Iwamoto, Graduate School of Engineering, Hiroshima University. The winner will receive a certificate and a free EATCS membership for the period of two years.

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

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