SEMINARS

Computer Science Seminars

[new] [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".

Last modified: 2017/08/16 17:54