More info at http://arise.or.at/?p=1368
RiSE co-organizes the largest event in the history of logic, Vienna Summer of Logic.
The Vienna Summer of Logic will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.
The event consists of three main logic streams: Logic in Computer Science, Mathematical Logic, and Logic in Artificial Intelligence.
Ana Sokolova co-chairs “PSC: Proof, Structure, and Computation” workshop that is co-located with LICS conference, and is held in Vienna, Austria.
Thomas Henzinger co-chairs “Logic in Computer Science” conference this year.
Visit us in Vienna on 14-18 July.
More details can be found at http://lics.rwth-aachen.de/csl-lics14/.
Uwe Egly co-chairs 17th International Conference on Theory and Applications of Satisfiability Testing which is collocated with Vienna Summer of Logic.
For more information visit http://baldur.iti.kit.edu/sat2014/.
Collocated with CAV 2014 Conference are the workshops organized by our researchers:
Armin Biere and Roderick Bloem are organizing the 26th Computer Aided Verification this year in Vienna.
Visit http://cavconference.org/ for more information.
Roderick Bloem and Helmut Veith are co-organizing the Austrian Computer Science Day 2014.
Ana Sokolova co-chairs 7th Workshop Interaction and Concurrency Experience (ICE) held in Berlin.