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.


RiSE seminarMelkior OrnikTBAWed, May 16 at 17:00IST Austriadetails
RiSE seminarOded PadonTBAWed, Apr 18 at 17:00details
RiSE seminarSuguman BansalTBAWed, Apr 11 at 17:00IST Austria, Mondi 2details
RiSE seminarSergiy BogomolovTBAThu, Apr 05 at 16:00IST Austriadetails
RiSE seminarPhilipp RümmerDeciding and Interpolating Algebraic Data Types by ReductionFri, Mar 16 at 10:30TU Wien, HS Zemanek,…details
Benjamin NiedermannOn Ortho-Radial Drawings for Metro NetworksTue, Feb 27 at 11:00Library, Favoritenst…details
RiSE seminarAlexandra SilvaCALF — a categorical automata learning frameworkMon, Feb 26 at 17:00TU Wiendetails
RiSE seminarGabriel JuhásSynthesis of Petri Nets from Prime Event StructuresWed, Feb 21 at 17:00Mondi 2, IST Austriadetails
Jorge FandinnoArgumentation Frameworks with Recursive Attacks and Evidence-Based SupportsWed, Feb 14 at 14:00Seminar Room Gödel,…details
RiSE seminarKim G. LarsenTBAWed, Feb 07 at 17:00Raiffeisen Lecture H…details
RiSE seminarNicolas MazzocchiDecidable weighted expressions with Presburger combinatorsFri, Feb 02 at 16:00IST Austriadetails
Eunjung KimErdos-Posa Property of Chordless Cycles and its ApplicationsTue, Dec 19 at 16:00Library, Favoritenst…details
Przemysław Andrzej WałęgaHorn fragments of Halpern-Shoham logic: complexity vs expressivenessWed, Dec 13 at 11:30Seminar Room Neumann…details
Maarten LöfflerPleaching Pencil-&-Paper Picture PuzzlesWed, Nov 22 at 15:00Seminar Room Gödel,…details
Mohammad Farshi(Weakly) Self-approaching graphsMon, Nov 13 at 16:30Library, Favoritenst…details
Piotr SkowronApproximating Optimal Social Choice under Metric Preferences Mon, Nov 13 at 16:00Seminar Room Gödel,…details
Tamara MchedlidzeApplication of the point-line duality principle in graph drawingMon, Oct 30 at 17:00Seminar Room Gödel,…details
Gerhard WoegingerBuffers, Buckets, and OverflowsFri, Oct 20 at 14:00Seminar Room Gödel,…details
Sasha RubinMini course: Milestones in solving games on graphsThu, Jan 01Seminar Room Neumann…details
RiSE seminarLionel BriandTBAThu, Jan 01IST Austriadetails

Latest News

TU Vienna Honorary Doctorate to Ed Clarke

We are glad to announce that TU Vienna will award an honorary doctorate to Ed Clarke. Edmund M. Clarke is among the leading computer scientists of our times. As a professor at Harvard, and, since 1982, at Carnegie Mellon University, he and his group have not only laid the theoretical and logical foundations of model […]

Continue reading

Opening of Vienna Center for Logic and Algorithms (VCLA) on Jan 25

The Vienna Center for Logic and Algorithms is an initiative of the Faculty of Informatics and funded by a three-year competitive grant of Vienna University of Technology. Embedded into the primary research area Computational Intelligence and the funding priority Computational Logic of the Faculty, the center is promoting international scientific collaboration in logic and algorithms. […]

Continue reading

Winter School on Verification

The Austrian Society for Rigorous Systems Engineering (ARiSE) and the Vienna Center for Logic and Algorithms (VCLA) are organizing a joint winter school on verification at Vienna University of Technology from 6-10 February 2012. Apart from ARiSE/VCLA students, the school will be open to outside students. Details are available from the VCLA website.

Continue reading

Full news archive