Congratulations to Laura Kovács with receiving a Wallenberg Fellowship!

Details of Laura’s project

Hearty congratulations to Ezio Bartocci with getting a tenure-track position at TU Wien!

FLoC Olympic Games: 13 out of 43 medals go to Austrian researchers

More details at http://futurezone.at/science/oesterreicher-bei-olympischen-spielen-der-logik-erfolgreich/76.094.556

Vienna Summer of Logic 2014 goes public

Public events at Vienna Summer of Logic: http://vsl2014.at/public-events/

Auseinandersetzung mit Logik: “Vienna Summer of Logic” — vienna.at

http://www.vienna.at/auseinandersetzung-mit-logik-vienna-summer-of-logic-ab-9-juli/4003002

PDF

Gastkommentar: Das silberne Zeitalter der Logik — falter.at

PDF

“Vienna Summer of Logic”: Wien wird zum Logik-Woodstock — futurezone.at

PDF

Congratulations to Michael Lippautz, Univ. of Salzburg, 2014 Google PhD Fellow

Congratulations to our RiSE PhD student, Michael Lippautz, Univ. of Salzburg, with receiving 2014 Google PhD Fellow:
http://t.co/a4L30w7fM2 and http://t.co/VgzI9xmkL3

Vienna Summer of Logic, 9-24 July

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.

8th International Conference on Tests & Proofs, 24-25 July, York, UK

Martina Seidl co-organizes 8th International Conference on Tests & Proofs, 24-25 July, York, UK.

The TAP conference is devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality.

More details at