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".