Vienna Summer of Logic, 9-24 July

Date: Wednesday, July 9, 2014
Venue: Vienna, Austria

VSL_logo_big

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.

• Logic in Computer Science / FLoC:
CAV, CSF, CSL-LICS, ICLP, IJCAR, ITP, RTA-TLCA, SAT, Workshops, Olympic Games, SAT/SMT School.

• Mathematical Logic:
LC, LATD, GeTFun 2.0, INFINITY, LG, NCPROOFS, KG Fellowship Competition.

• Logic in Artificial Intelligence:
KR, DL, NMR, KR4HC.

Posted in Events, News