Arvutiteaduse seminarid

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