Gödel Prize 2007 (Monday, May 7, 2007)

The Gödel prize 2007, co-sponsord by EATCS and ACM SIGACT, is awarded to Alexander A. Razborov and Steven Rudich for their paper "Natural Proofs", Journal of Computer and System Sciences, Vol. 55, No. 1, 1997, pp. 24-35. It was first presented at the Twenty-sixth Annual ACM Symposium on Theory of computing, Montreal, Quebec, Canada. 1994, pp. 204 - 213.

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

E. W. Beth Dissertation Prize: call for submissions (Thursday, April 19, 2007)

Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. Submissions are invited for 2007. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2006. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of the three fields of Logic, Language, and Computation.

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

EATCS Award 2007 (Monday, February 26, 2007)

The EATCS Award committee, consisting of Catuscia Palamidessi, David Peleg, and Wolfgang Thomas, has evaluated the nominations for the 2007 EATCS Award. A Call for Nominations was published in the Bulletin of the EATCS, n. 90. After a careful consideration of the nominations, the Committee has reached the unanimous decision to propose DANA S. SCOTT as candidate for the 2007 EATCS Award. The EATCS Council has unanimously approved the proposal. The Award will be presented to Professor Dana Scott in a ceremony to be held during ICALP, in Wroclaw (Poland) on July 9, 2007.

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

FET-EATCS Workshop on Pervasive adaptation (PERAD 2007) (Tuesday, February 6, 2007)

The Workshop was jointly organized by EATCS and IST and was held on January 26, 2007, in Brussels. The purpose of the workshop was to focus on research issues related to the FET Objective IST-2007 8.2: 'Pervasive Adaptation' in WP 2007-2008. More information and slides can be found on the PERAD 2007 webpage.

e-max.it: your social media marketing partner
 

Gödel Prize 2007 Call for nominations (Thursday, November 2, 2006)

The Call for Nominations for the 2007 Gödel Prize has been posted. The rules of eligibility have changed. The deadline for nominations is January 31, 2007.

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

New EATCS Statutes (Monday, October 23, 2006)

The ballot on EATCS Statutes proposed by the EATCS General Assembly at ICALP'06 in Venice approved the changes in statute.

e-max.it: your social media marketing partner
More information
 
Computer Science Symposium in Russia (CSR 2016): call for participation

Call for Participation
The 11th International Computer Science Symposium in Russia (CSR 2016)
June 9-13, 2016, St. Petersburg, Russia
http://logic.pdmi.ras.ru/csr2016/

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

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