The 2013 Principles of Distributed Computing Doctoral Dissertation Award

The abundance of excellent candidates made the choice very difficult. Even after narrowing the list down, the committee still decided to split the award between two winners, listed next alphabetically by last name.  Dr. Shiri Chechik completed her thesis ``Fault-tolerant structures in graphs'' in 2012 under the supervision of Prof. David Peleg at the Weizmann Institute of Science. Dr. Danupon Nanongkai completed his thesis ``Graphs and geometric algorithms on distributed networks and databases'' in 2011 under the supervision of Prof. Richard J. Lipton at the Georgia Institute of Technology.

e-max.it: your social media marketing partner
Read more...
 

Publication of the best Italian PhD theses in TCS

The Italian Chapter of the EATCS has reached an agreement with Atlantis Press (an imprint of Springer) for the publication of the best Italian PhD theses in TCS in a  special series.

Fabio Mogavero's thesis, awarded last year, is the first volume published under this agreement and can be found at the Springer page http://www.springer.com/?SGWID=0-102-24-0-0&searchType=EASY_CDA&queryText=mogavero.

The thesis of the other winner from last year, Rossano Venturini, will be released soon.

e-max.it: your social media marketing partner
 

2013 Edsger W. Dijkstra Prize in Distributed Computing

The Dijkstra Prize Committee has selected Nati Linial as the recipient of this year Edsger W. Dijkstra Prize in Distributed Computing. The prize is given to him for his outstanding paper: "Locality in distributed graph algorithms" published in SIAM Journal on Computing, 21(1992) 193-201.

e-max.it: your social media marketing partner
Read more...
 

FIRST CALL FOR PAPERS: ETAPS 2014

17th European Joint Conferences on Theory And Practice of Software

Grenoble,  France

5-13 April 2014

http://www.etaps.org/2014

e-max.it: your social media marketing partner
Read more...
 

EATCS-IPEC Nerode Prize 2013 - Laudatio

On the Exact Complexity of Evaluating Quantified k-CNF
Chris Calabro, Russell Impagliazzo, Ramamohan Paturi, Algorithmica 2013

The complexity of Unique k-SAT: An Isolation Lemma for k-CNFs
Chris Calabro, Russell Impagliazzo, Valentine Kabanets, Ramamohan, Paturi, Journal of Computer and System Sciences 2008

On the Complexity of k-SAT
Russell Impagliazzo, Ramamohan Paturi, Journal of Computer and System Sciences 2001

Which Problems Have Strongly Exponential Complexity?

Russell Impagliazzo, Ramamohan Paturi, Francis Zane, Journal of Computer and System Sciences 2001

The Nerode Prize 2013 Committee, consisting of Georg Gottlob (University of Oxford, UK), Rolf Niedermeier (TU Berlin, Germany; chair), and Peter Widmayer (ETH Zurich, Switzerland), has unanimously decided to award Chris Calabro (Google Inc., Mountain View, USA), Russell Impagliazzo (UC San Diego, USA), Valentine Kabanets (Simon Fraser University, Canada), Ramamohan Paturi (UC San Diego, USA), and Francis Zane (Alcatel Lucent, Murray Hill, USA) the 2013 EATCS-IPEC Nerode Prize for outstanding papers in the area of multivariate algorithmics.
Their series of papers elaborates on what is known as the Exponential Time Hypothesis (ETH), and its stronger variant, the Strong Exponential Time Hypothesis (SETH). These complexity assumptions state lower bounds on how fast Boolean Satis ability problems can be solved. A key result of the corresponding theory is the Sparsi cation Lemma, a core tool in the area of developing relative lower bounds for NP-hard problems, which lends credence to the ETH. Altogether, the papers open an avenue for proving exponential lower bounds (assuming ETH or SETH) for a multitude of diverse computational problems, helping to derive tight parameterized computational complexity results. This has led to numerous recent advances in the eld of multivariate algorithmics, thus adding a central tool to the repertoire of worst-case complexity analysis. The obtained insights also have a strong impact on elds such as structural and communication complexity theory. The knowledge of the (S)ETH now belongs into the standard toolkit of every researcher in multivariate algorithmics.

e-max.it: your social media marketing partner
 

Gödel Prize - 2013

The 2013 Gödel Prize for outstanding journal articles in theoretical computer science is awarded to:

Antoine Joux: A One Round Protocol for Tripartite Diffie-Hellman, J. Cryptology 17(4): 263-276 (2004). (Conference version: ANTS 2000)

and

Dan Boneh, Matthew K. Franklin: Identity-Based Encryption from the Weil Pairing, SIAM J. Comput. 32(3): 586-615 (2003) . (Conference version: CRYPTO 2001)

e-max.it: your social media marketing partner
Read more...
 

SECOND CFP: DISC 2013 - the 27th International Symposium on Distributed Computing - Jerusalem, Israel

SECOND CALL FOR PAPERS

e-max.it: your social media marketing partner
Read more...
 
<< Start < Prev 21 22 23 24 25 26 27 28 29 30 Next > End >>

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