The 2017 Alonzo Church Award
The 2017 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionising the eld of programming language semantics, and for the applied impact of these models. Their contributions appeared in three papers:
|
|
Read more...
|
|
CALL FOR PARTICIPATION - CSR 2017
12th International Computer Science Symposium in Russia June 8-12, 2017, Kazan, Russia
Organized by Kazan Federal University http://csr2017.kpfu.ru/
|
|
Read more...
|
FCT 2017 - Second Call for Papers
21st International Symposium on Fundamentals of Computation Theory
September 11-13, 2017 Bordeaux, France
http://fct2017.labri.fr/
|
|
Read more...
|
The EATCS bestows the Presburger Award 2017 on Alexandra Silva (University College London)
The 2017 Presburger Committee consisting of Marta Kwiatkowska (chair), Stephan Kreutzer and Jukka Suomela has completed its deliberations and unanimously selected Alexandra Silva (Senior Lecturer at University College London, UK; WWW: http://www.alexandrasilva.org/#/main.html; DBLP: http://dblp.uni-trier.de/pers/hd/s/Silva_0001:Alexandra) as recipient of the 2017 EATCS Presburger Award for young scientists.
|
|
Read more...
|
2017 Gödel Prize
The 2017 Gödel Prize is awarded to Cynthia Dwork, Frank McSherry, Kobbi Nissim and Adam Smith for their paper:
- Calibrating Noise to Sensitivity in Private Data Analysis Journal of Privacy and Confidentiality, Volume 7, Issue 3 2016 (preliminary version in Theory of Cryptography, TCC 2006.)
Cynthia Dwork, Frank McSherry, Kobbi Nissim and Adam Smith will receive the 2017 Gödel Prize at the 49th Annual ACM Symposium on the Theory of Computing (STOC 2017), 19-23 June 2017, in Montreal, PQ, Canada.
|
|
Read more...
|
Final Call for Nominations: 2017 Dijkstra Prize in Distributed Computing
The 2017 Edsger W. Dijkstra Prize in Distributed Computing
http://www.disc-conference.org/wp/dijkstra-prize/ http://www.podc.org/dijkstra/
Nominations deadline: March 15, 2017
|
|
Read more...
|
Statement from EATCS President and vice Presidents about the recent US travel restrictions to foreigners
The EATCS is an international professional society of computer scientists, whose members are citizens of many different countries including the United States and countries in Europe.
The EATCS is deeply concerned about the travel restrictions that the US government has recently imposed on foreigners — restrictions that are based on country of citizenship and on religious background.
In the 21st century, most scientific and technological advances stem from collaborations between scientists from different countries. This requires the crossing of borders.
In the United States, as in Europe, both academic research and industrial developments in information technology have been sustained by a large number of foreign students and employees. The current policy of the US government prevents foreign scientists from visiting conferences and research centres in the United States. It also prevents US-based scientists from visiting international scientific conferences and research centres (as well as family abroad), out of fear of not being able to return.
We believe that the current travel restrictions, in addition to causing individual hardships, will slow down and harm scientific progress and research, both in academia and industry, in the United States, in Europe, and elsewhere. |
|
|
|
|
<< Start < Prev 31 32 33 34 35 36 37 38 39 40 Next > End >>
|
|
Page 35 of 68 |