EATCS Award for Best Theoretical Paper at ICGT 2008(Thursday, September 18, 2008)

The EATCS award for the best theoretical paper at the International Conference on Graph Transformation (ICGT) 2008, Leicester, United Kingdom is awarded to J. Bauer, I. Boneva, M.E. Kurban and A. Rensink for the paper 'A Model Logic Based Graph Abstraction'. A summary of the paper will appear in the „Formal Specification Column“ of the EATCS Bulletin.

e-max.it: your social media marketing partner
 

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
 
<< Start < Prev 31 32 33 34 35 36 Next > End >>

Page 32 of 36

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

 

 

New BEATCS issue is out!

Number 122, June 2017

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