Abgelaufene Termine

1. Haskell Hackathon München (LMU, Theresienstr. 39, Raum B047, from 12.05.2012 10:00 to 12.05.2012 18:00)

1. Haskell Hackathon München am Samstag, 12. Mai 2012 von 10-18 Uhr

Vivek Nigam, On the complexity of Linear Authorization Logics (L109, from 11.05.2012 13:15 to 11.05.2012 14:15)

TCS Oberseminar, 11.05.2012, 13:15 (!)

Beta Ziliani, How to Make Ad Hoc Proof Automation Less Ad Hoc (L109, from 04.05.2012 14:15 to 04.05.2012 15:15)

TCS Oberseminar, 04.05.2012, 14:15

Haskell Stammtisch (Cafe Puck, from 26.04.2012 19:30 to 29.04.2012 22:30)

April-Sitzung des Münchener Haskell-Stammtisches, 26.04.2012 19:30

25.04. Abgabe Übung 00 (from 25.04.2012 12:55 to 25.04.2012 23:55)

Freiwillige Abgabe des 0. Übungsblattes auf UniWorX

FP: Erste Übung neuem Raum (Takla-Makan L11 im CIP, from 19.04.2012 16:00 to 19.04.2012 18:00)

Achtung, Raumänderung!

Robert Grabowski, Information Flow Analysis for Mobile Code in Dynamic Security Environments (151, from 23.03.2012 10:15 to 23.03.2012 11:00)

Promotionsvortrag, Freitag, 23.03. 10:15 Uhr

Frederic Kettelhoit, A Prelude for Agda (L109, from 22.03.2012 14:15 to 22.03.2012 15:00)

TCS Oberseminar, Donnerstag (!), 22.03.2012 14:15 Uhr

(ABGESAGT) Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types (L109, from 16.03.2012 14:15 to 16.03.2012 15:15)

TCS Oberseminar, 16.03.2012, 14:15 Uhr

Thomas Jahn, Complexity and Algorithms in Map-Reduce Models (L109, from 27.02.2012 15:00 to 27.02.2012 15:45)

TCS Oberseminar, Montag (!), 27.02.2012, 15:00 Uhr

Sabrina Schewtschenko, Undirected Graph Connectivity (USTCON) in Logspace (L109, from 27.02.2012 14:15 to 27.02.2012 15:15)

TCS Oberseminar, Montag (!), 27.02.2012, 14:15 Uhr

Ulrich Schöpp — Interaction, Continuations and Defunctionalization (L109, from 17.02.2012 14:15 to 17.02.2012 15:15)

TCS Oberseminar, 17.02.2012, 14:15 Uhr

Georg Moser, Predicative Recursion and Register Machines (L109, from 06.02.2012 16:15 to 06.02.2012 17:15)

TCS Oberseminar, Montag (!), 16:15 Uhr

Ramyaa, PURPLE (Pure Pointer Language) - some extensions (L109, from 03.02.2012 14:15 to 03.02.2012 15:15)

TCS Oberseminar, 03.02.2012 14:15 Uhr

Duma Rodriguez, Amortised Resource Analysis for Object-Oriented Programs (L109, from 27.01.2012 14:10 to 27.01.2012 15:15)

TCS Oberseminar, 27.01.2012, 14:15 Uhr

Markus Latte, Separation Result for XCTL --- Part II (L109, from 20.01.2012 14:15 to 20.01.2012 15:15)

TCS Oberseminar, 20.01.2012, 14:15 Uhr

Steffen Jost, Amortized Analysis and Lazy Evaluation (L109, from 13.01.2012 14:15 to 13.01.2012 15:15)

TCS Oberseminar, 13.01.2012 14:15 Uhr

Vivek Nigam, (L109, from 16.12.2011 14:15 to 16.12.2011 15:15)

TCS Oberseminar, 16.12.2011, 14:15 Uhr

Stephan Barth, SAT-based minimization for nondeterministic Büchi automata (L109, from 09.12.2011 14:15 to 09.12.2011 15:15)

TCS Oberseminar, 9.12.2011 14:15 Stephan Barth

Vivek Nigam, Timed Collaborative Systems (L109, from 02.12.2011 14:15 to 02.12.2011 15:15)

TCS Oberseminar, 02.12.2011, 14:15 Uhr