See veebisait esitab teavet KübIst 31. detsembri 2016 seisuga ja seda enam ei uuendata.
This website presents information about IoC as of 31 December 2016 and is no longer updated.

SEMINARID

Arvutiteaduse seminarid

[uued] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [2014] 2013 [2012] [2011] [2010] [2009]
 

  • 12.12.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Tomas Petricek (Cambridge'i Ülikool) räägib teemal "Tracking contextual program properties with structural coeffects" (vaata abstrakti).
  • 28.11.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Shin-ya Katsumata (Kyoto Ülikool) räägib teemal "Parametric effect monads and semantics of effect systems" (vaata abstrakti).
  • 14.11.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Sergei Tupailo (Lissaboni Ülikool) räägib teemal "R. Holmes on consistency of NF" (vaata abstrakti).
  • 15.10.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Silvio Capobianco (KübI) räägib teemal "Normality, randomness, and the Garden of Eden" (vaata abstrakti).
  • 3.10.2013, 11:00, KübI B 101. Arvutiteaduse seminar: Hugo Herbelin (INRIA Rocquencourt) räägib teemal "Duality in sequent calculus and abstract machines" vaata abstrakti).
  • 19.9.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Sergei Tupailo (Lissaboni Ülikool) räägib teemal "Abstract constructive ordinals and ordinal notations" (vaata abstrakti).
  • 12.9.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal "Containers that are monads".
  • 4.7.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Andreas Abel (LMU München) räägib teemal "Copatterns: programming infinite structures by observations" (vaata abstrakti).
  • 27.6.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Bruno Woltzenlogel Paleo (Viini Tehnikaülikool) räägib teemal "Techniques for proof compression" (vaata abstrakti).
  • 20.6.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Combining linear and temporal logic" (vaata abstrakti).
  • 18.6.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Categorical semantics for linear logic" (vaata abstrakti).
  • 3.6.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Bruce Watson (Stellenboschi Ülikool) räägib teemal Correctness-by-construction in stringology (vaata abstrakti).
  • 30.5.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Niccolò Veltri (KübI) räägib teemal On the axiom of univalence (Steve Awodey esinemiste põhjal TYPES 2013-l).
  • 16.5.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Elmo Todurov (KübI) räägib teemal Safe dynamic software updating in the context of multithreading.
  • 18.4.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal "Update monads: cointerpreting directed containers".
  • 11.4.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Boriss Šelajev (KübI) räägib teemal "Extending dynamic logic for reasoning about reachable intermediate states ".
  • 1.3.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Elmo Todurov (KübI) jätkab artikli G. Stoyle, M. Hicks, G. Bierman, P. Sewell, I. Neamtiu, "Mutatis mutandis: safe and predictable dynamic software updating", TOPLAS 2007 refereerimist.
  • 28.2.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Elmo Todurov (KübI) refereerib artiklit 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. Arvutiteaduse seminar: Robin Cockett (Calgary Ülikool) 5. loeng teemal "Introduction to restriction categories" (vaata lähemalt).
  • 19.2.2013, 11:00, KübI B 101. Arvutiteaduse seminar: Robin Cockett (Calgary Ülikool) 4. loeng teemal "Introduction to restriction categories" (vaata lähemalt).
  • 14.2.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Robin Cockett (Calgary Ülikool) 3. loeng teemal "Introduction to restriction categories" (vaata lähemalt).
  • 12.2.2013, 11:00, KübI B 101. Arvutiteaduse seminar: Robin Cockett (Calgary Ülikool) 2. loeng teemal "Introduction to restriction categories" (vaata lähemalt).
  • 7.2.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Denis Firsov (KübI) räägib teemal "Overview of formalized developments for regexps".
  • 5.2.2013, 11:00, KübI B 101. Arvutiteaduse seminar: Robin Cockett (Calgary Ülikool) alustab loengusarja teemal "Introduction to restriction categories" (vaata lähemalt).
  • 31.1.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal "Coinductive big-step semantics for concurrency" (vaata abstrakti).
  • Arvutiteaduse seminar: 15.-16.01.2013 algusega 11:00, KübI B 101. Minitöötuba teemal "Deductive program verification in Why3". Esineb Jean-Christophe Filliatre, LRI, Université Paris Sud 11 (vaata abstrakti ja http://why3.lri.fr/tallinn-2013/).
  • 3.1.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Denis Firsov (KübI) räägib teemal "Certified normalization of CFGs and CYK parsing".

Viimati muutnud: 2017/08/16 17:45