Computer Science Seminars

[new]
[2021]
[2020]
[2019]
[2018]
[2017]
[2016]
[2015]
[2014]
2013
[2012]
[2011]
[2010]
[2009]
-
12.12.2013, 14:00, KübI B 101. Computer Science Seminar: Tomas Petricek (University of Cambridge) talks about "Tracking contextual program properties with structural coeffects" (see abstract).
-
28.11.2013, 14:00, KübI B 101. Computer Science Seminar: Shin-ya Katsumata (Kyoto Univ.) talks about "Parametric effect monads and semantics of effect systems" (see abstract).
-
14.11.2013, 14:00, KübI B 101. Computer Science Seminar: Sergei Tupailo (Univ. of Lisbon) talks about "R. Holmes on consistency of NF" (see abstract).
-
15.10.2013, 14:00, KübI B 101. Computer Science Seminar: Silvio Capobianco (IoC) talks about "Normality, randomness, and the Garden of Eden" (see abstract).
-
3.10.2013, 11:00, KübI B 101. Computer Science Seminar: Hugo Herbelin (INRIA Rocquencourt) talks about "Duality in sequent calculus and abstract machines"abstract).
-
19.9.2013, 14:00, KübI B 101. Computer Science Seminar: Sergei Tupailo (Univ. of Lisbon) talks about "Abstract constructive ordinals and ordinal notations" (see abstract).
-
12.9.2013, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about "Containers that are monads".
-
4.7.2013, 14:00, KübI B 101. Computer Science Seminar: Andreas Abel (LMU München) talks about "Copatterns: programming infinite structures by observations" (see abstract).
-
27.6.2013, 14:00, KübI B 101. Computer Science Seminar: Bruno Woltzenlogel Paleo (TU Wien) talks about "Techniques for proof compression" (see abstract).
-
20.6.2013, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Combining linear and temporal logic" (see abstract).
-
18.6.2013, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Categorical semantics for linear logic" (see abstract).
-
3.6.2013, 14:00, KübI B 101. Computer Science Seminar: Bruce Watson (Stellenbosch University) talks about Correctness-by-construction in stringology (see abstract).
-
30.5.2013, 14:00, KübI B 101. Computer Science Seminar: Niccolò Veltri (IoC) talks about On the axiom of univalence
(based on talks by Steve Awodey at TYPES 2013).
-
16.5.2013, 14:00, KübI B 101. Computer Science Seminar: Elmo Todurov (IoC) talks about Safe dynamic software updating in the context of multithreading.
-
18.4.2013, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about "Update monads: cointerpreting directed containers".
-
11.4.2013, 14:00, KübI B 101. Computer Science Seminar: Boriss Šelajev (IoC) talks about "Extending dynamic logic for reasoning about reachable intermediate states ".
-
1.3.2013, 14:00, KübI B 101. Computer Science Seminar: Elmo Todurov (IoC) continues to report on the paper G. Stoyle, M. Hicks, G. Bierman, P. Sewell, I. Neamtiu, "Mutatis mutandis: safe and predictable dynamic software updating", TOPLAS 2007.
-
28.2.2013, 14:00, KübI B 101. Computer Science Seminar: Elmo Todurov (IoC) reports on a paper G. Stoyle, M. Hicks, G. Bierman, P. Sewell, I. Neamtiu, "Mutatis mutandis: safe and predictable dynamic software updating", TOPLAS 2007.
-
21.2.2013, 14:00, KübI B 101. Computer Science Seminar: Robin Cockett (Univ. of Calgary) 5th lecture in the series on "Introduction to restriction categories" (see details).
-
19.2.2013, 11:00, KübI B 101. Computer Science Seminar: Robin Cockett (Univ. of Calgary) 4th lecture in the series on "Introduction to restriction categories" (see details).
-
14.2.2013, 14:00, KübI B 101. Computer Science Seminar: Robin Cockett (Univ. of Calgary) 3rd lecture in the series on "Introduction to restriction categories" (see details).
-
12.2.2013, 11:00, KübI B 101. Computer Science Seminar: Robin Cockett (Univ. of Calgary) 2nd lecture in the series on "Introduction to restriction categories" (see details).
-
7.2.2013, 14:00, KübI B 101. Computer Science Seminar: Denis Firsov (IoC) talks about "Overview of formalized developments for regexps".
-
5.2.2013, 11:00, KübI B 101. Computer Science Seminar: Robin Cockett (Univ. of Calgary) starts lecture series on "Introduction to restriction categories" (see details).
-
31.1.2013, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about "Coinductive big-step semantics for concurrency" (see abstract).
-
Computer Science Seminar: 15.-16.01.2013 starting at 11:00, IoC B 101. Miniworkshop about "Deductive program verification in Why3". Speaker Jean-Christophe Filliatre, LRI, Université Paris Sud 11 (see abstract and http://why3.lri.fr/tallinn-2013/).
-
3.1.2013, 14:00, KübI B 101. Computer Science Seminar: Denis Firsov (IoC) talks about "Certified normalization of CFGs and CYK parsing".