Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

Lab Lunch by Peter Buneman

Four years of elation and frustration with rural internet

Read More…

Model-checking of Ordered Multi-pushdown Automata

Title: Model-checking of Ordered Multi-pushdown Automata Speaker: Mohamed Faouzi Atig, University of Uppsala (Sweden) Venue: IF 4.31-4.33. Wednesday, November 27, 4:30 pm.

Read More…

Lab Lunch by Vladimir Nikishkin

Recent advancements in property testing. Data mining and analysis in extreme conditions.

Read More…

LFCS Seminar: Sven Schewe

Beautiful games you cannot stop playing

Read More…

Lab Lunch by Shayan Najd

Everything old is new again: Quoted Domain Specific Languages

Read More…

QUISCO - July 27, IF-4.31/4.33

The next QUISCO meeting will be held on July 27 at the School of Informatics, Room 4.31/4.33. Please find the schedule below.

Read More…

LFCS seminar: Dr. Chris Heunen: Approximating transition systems

Dr. Chris Heunen, Oxford University. Approximating transition systems

Read More…

LFCS seminar: Shan Lin: MPC for Urban Transportation Systems

Shan Lin, Deaprtment of ECE, Stony Brook University

Read More…

Document Actions