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…

Document Actions