Talks

We regularly host talks in the RiSE seminar and VCLA talks series. The following table summarizes the latest talks in each series – for detailed information or previous talks, please follow the links to the respective websites.

Logo ARiSEVCLA Logo

RiSE seminarMatteo SammartinoLearning Nominal AutomataWed, May 10 at 17:00IST Austriadetails
RiSE seminarJoost-Pieter KatoenPrinciples of Probabilistic ProgrammingThu, Apr 20 at 17:15IST Austriadetails
RiSE seminarRadu GrigoreJava Generics are Turing CompleteWed, Apr 12 at 17:00IST Austriadetails
RiSE seminarMarkus N. RabeTBAWed, Apr 05 at 17:00IST Austriadetails
Vladislav Ryzhikov and Michael Zakharyaschev Horn fragments of temporal logics and ontology-based access to temporal data Wed, Mar 22 at 11:00Seminarroom Zemanek details
RiSE seminarSwen JacobsCutoff Results for Guarded ProtocolsTue, Mar 21 at 17:00IST Austriadetails
RiSE seminarKuldeep S. MeelConstrained Counting and Sampling: Bridging the Gap between Theory and PracticeFri, Mar 10 at 15:00IST Austriadetails
Danny HermelinFractals for Kernelization Lower BoundsMon, Mar 06 at 11:30 Seminarraum von Neu…details
RiSE seminarFilip NikšićHitting Families of Schedules: Episode 2Wed, Mar 01 at 17:00IST Austriadetails
Ondřej KunčarCoCon: A Non-Leaking Conference SystemThu, Feb 23 at 16:00Seminarroom Menger, …details
RiSE seminarOndřej KunčarCoCon: A Non-Leaking Conference SystemThu, Feb 23 at 14:00TU Wien, Seminarroom…details
Filippo BonchiFull Abstraction for Signal Flow GraphsTue, Feb 21 at 17:30Seminarraum Zemanek,…details
RiSE seminarFilippo BonchiFull Abstraction for Signal Flow GraphsTue, Feb 21 at 17:30Seminarraum Zemanek,…details
RiSE seminarFabio MogaveroSolving Parity Games via Priority PromotionWed, Feb 01 at 17:00IST Austriadetails
Rupak Majumdar[Software Testing] Hitting families of schedulesTue, Dec 06 at 17:30Seminarraum Argentin…details
Victor DalmauApproximation of MIN CSPMon, Nov 07 at 11:00Seminar room Gödel,…details
Johannes KinderHigh System-Code Security with Low OverheadThu, Oct 27 at 16:00Seminarraum Argentin…details
Tomáš VojnarAbstraction Refinement and Antichains for Trace Inclusion of Infinite State SystemsMon, Oct 24 at 17:00Seminar room Zemanek…details
Evgenij ThorstensenSelf join elimination and new notions of query containment Thu, Oct 20 at 12:00Seminar room Gödel,…details
Jörg RotheEconomics and Computation: Five Challenges in Algorithmic Game Theory, Computational Social Choice, and Fair DivisionTue, Sep 20 at 11:00EI 1 Petritsch lectu…details

Latest News

Full news archive