First School on Foundations of Programming and Software systems - Probabilistic programming

It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portugal, May 29th - June 4th 2017.

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

The Gödel Prize 2017 - Call for Nominations

Deadline: February 15, 2017

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 25th Gödel Prize will be awarded at the 49th Annual ACM Symposium on Theory of Computing, to be held from 19-23 June, 2017 in Montreal, Canada.

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

CAI 2017 - Call for Papers

CAI 2017
7th International Conference on Algebraic Informatics
June 25-28, 2017
Kalamata, Greece

http://www.cargo.wlu.ca/CAI2017/

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

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

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

CIAC 2017 - CALL FOR PAPERS

10th International Conference on Algorithms and Complexity
May 24-26, 2017, Athens, Greece
http://www.corelab.ntua.gr/ciac2017/


**Submission deadline has been extended to November 11, 2016**

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

ICALP 2017 - Call for Workshop Proposals

July 10-13, Warsaw, Poland

Workshops affiliated with ICALP 2017 will be held on July 14-16 (after the main conference).
We invite proposals of workshops related to any of the three tracks of ICALP, as well as other areas of theoretical computer science.
In order to submit a proposal, get in touch with us by sending an e-mail to This e-mail address is being protected from spambots. You need JavaScript enabled to view it . We will close submissions on November 30.
Before contacting us, think about the format of the workshop and your expectations. A rough estimate of the cost for a single participant is 50 EUR per day, including lunch and two coffee breaks.
Because of the limited capacity of the conference venue, we might not be able to accept all proposals.

e-max.it: your social media marketing partner
 

L.E.J. Brouwer, fifty years later

Amsterdam, 9 december 2016
Luitzen Egbertus Jan Brouwer (27 February 1881 – 2 December 1966), was an influential Dutch mathematician and philosopher, who worked in topology, set theory, measure theory and complex analysis. On December 6, 1966 Brouwer died as a consequence of a traffic accident. Brouwer had by then put his ever-lasting mark on mathematics, logic and philosophy. In mathematics he revolutionized topology with his dimension theory, fixed point theorems and homotopy theory. In logic he became the founding father of intuitionism, with its constructive approach to mathematics and logic that is also relevant in theoretical computer science. In philosophy he questioned our very perception of mathematical reality.

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

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