The Gödel Prize 2016 - Call for Nominations

Deadline: January 31, 2016

The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (ACM SIGACT). The award is presented annually, with the presentation taking place alternately at the International Colloquium on Automata, Languages, and Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC). The 24th Gödel Prize will be awarded at the 43rd International Colloquium on Automata, Languages and Programming, 11-15 July 2016 in Rome, Italy.

The Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before von Neumann’s death, in what has become the famous “P versus NP” question.

The Prize includes an award of USD 5,000.

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

The EATCS Award 2016


Call for Nominations

Deadline: December 31st, 2015

e-max.it: your social media marketing partner
Read more...
 
CCC'16: Call for Papers

Submission Deadline: Monday, November 23, 2015, 5:00pm EST

Scope

The conference seeks original research papers in all areas of computational complexity theory, studying the absolute and relative power of computational models under resource constraints. We also encourage contributions from other areas of computer science and mathematics motivated by topics in complexity theory. Possible topics include but are not limited to:

e-max.it: your social media marketing partner
Read more...
 
Second call for contributions: 27th Nordic Workshop on Programming Theory, Reykjavik, Iceland

NWPT 2015
27th Nordic Workshop on Programming Theory

October 21-23, 2015
Reykjavik, Iceland
http://icetcs.ru.is/nwpt2015/

CALL FOR CONTRIBUTIONS

NOTE.

  • Submission of 2-3 page abstracts: 31 August 2015 at 23:00 GMT
  • Special issue in the Journal of Logical and Algebraic Methods in Programming

e-max.it: your social media marketing partner
Read more...
 
CTI & Press «Diophantus» - INVITATION FOR SUBMISSION OF AN EXPRESSION OF INTEREST

INVITATION FOR SUBMISSION OF AN EXPRESSION OF INTEREST REGARDING:

A) UP TO ONE (1) PRIVATE LAW WORK CONTRACT FOR A HOLDER OF A PHD FOR RESEARCH PROJECTS (REFERENCE CODE K1)

B) UP TO ONE (1) PRIVATE LAW WORK CONTRACT FOR A HOLDER OF A PHD FOR RESEARCH PROJECTS (REFERENCE CODE K2)

TOWARDS THE IMPLEMENTATION OF THE ACT: «ARISTEIA ΙΙ»

ACT CATEGORY: «STRENGTHENING RESEARCH TEAMS»

“INFERENCE ON MARKOV RANDOM FIELDS: COMPLEXITY AND ALGORITHMS_IMRF”

WITHIN THE FRAMEWORK OF THE NSRF AND SPECIFICALLY UNDER THE OPERATIONAL PROGRAMME "EDUCATION AND LIFELONG LEARNING" WITH THE REFERENCE CODE “ACT 4982”, CO-FINANCED BY THE EUROPEAN UNION (EUROPEAN SOCIAL FUND) AND THE GREEK STATE.

CTI & PRESS “DIOPHANTUS”

INTENDS TO AWARD THE FOLLOWING PRIVATE LAW WORK CONTRACTS:

  • A POSTDOC RESEARCH POSITION (UP TO 2 CONTRACTS)

Read More

e-max.it: your social media marketing partner
 

10th International Conference on WORDS 2015 - First Call for Participation

Kiel, Germany
September 14-17, 2015
http://words2015.uni-kiel.de/

REGISTRATION IS OPEN!

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

EATCS-sponsored Best Student Paper Award - 30th Computational Complexity Conference

The EATCS-sponsored Best Student Paper Award at the 30th Computational Complexity Conference (June 17-19, 2015, Portland, Oregon, USA) went to the paper Factors of polynomials of low individual degree (http://drops.dagstuhl.de/opus/volltexte/2015/5059/pdf/11.pdf) by Rafael Oliveira (Department of Computer Science, Princeton University; www: http://www.cs.princeton.edu/~rmo/).

e-max.it: your social media marketing partner
 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 9 of 34

ICALP 2017

Warsaw, Poland

July 10-14, 2017                           

 

 

New BEATCS issue is out!

Number 121, February 2017

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