Arvutiteaduse seminarid

[uued]
[2021]
[2020]
[2019]
[2018]
[2017]
[2016]
[2015]
[2014]
[2013]
[2012]
[2011]
2010
[2009]
-
9.12.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Bernd Fischer (Southamptoni Ülikool) räägib teemal Industrial-strength certified SAT solving through verified SAT proof checking (vaata abstrakti).
-
8.12.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Neville Grech (Southamptoni Ülikool) räägib teemal Preemptive type checking in dynamically typed programs (vaata abstrakti).
-
2.12.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Lu?s Pinto (Minho Ülikool, Braga, Portugal) räägib teemal Monadic translation of sequent calculus for classical logic (vaata abstrakti).
-
7.10.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Margarita Spitšakova (KübI) räägib teemal Gravitational Search Algorithm (vaata abstrakti).
-
6.10.2010, 13:30, KübI B 101. Arvutiteaduse seminar: Michael Reichhardt Hansen (Taani Tehnikaülikool) räägib teemal Decision algorithms for Presburger arithmetic (vaata abstrakti).
-
9.9.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal Relating sequent calculi for bi-intuitionistic propositional logic (vaata abstrakti).
-
1.9.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Prof. Jarkko Kari (Turu Ülikool) räägib teemal Tilings and undecidability in cellular automata (vaata abstrakti).
-
19.8.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Romain Demangeon (LIP, ENS Lyon) räägib teemal Termination for concurrent processes (vaata abstrakti).
-
3.6.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Hellis Tamm (KübI) räägib teemal Some minimality results on biresidual and biseparable automata (vaata abstrakti).
-
27.5.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Thorsten Altenkirch (Nottinghami Ülikool) räägib teemal Mixing induction and coinduction in Agda (vaata abstrakti).
-
20.5.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Alberto Pardo (Montevideo) räägib teemal A security types preserving compiler in Haskell (vaata abstrakti).
-
19.5.2010, 16:15, KübI B 101. Arvutiteaduse seminar: Viies (viimane) seminar tsüklist INTRODUCTION TO SYMBOLIC DYNAMICS räägib Silvio Capobianco (KübI) (vaata lähemalt).
-
13.5.2010, 16:00, KübI B 401. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal Resumptions, weak bisimilarity and big-step semantics for interactive input-output: an exercise in mixed induction-coinduction (vaata abstrakti).
-
12.5.2010, 16:00, KübI B 101. Arvutiteaduse seminar: Neljas seminar tsüklist INTRODUCTION TO SYMBOLIC DYNAMICS räägib Silvio Capobianco (KübI) (vaata lähemalt).
-
6.5.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Andres Toom (KübI) räägib teemal Verifying simple imperative programs with the Coq proof assistant (vaata abstrakti).
-
28.4.2010, 16:00, KübI B 101. Arvutiteaduse seminar: Kolmas seminar tsüklist INTRODUCTION TO SYMBOLIC DYNAMICS räägib Silvio Capobianco (KübI) (vaata lähemalt).
-
14.4.2010, 16:00, KübI B 101. Arvutiteaduse seminar: Teine seminar tsüklist INTRODUCTION TO SYMBOLIC DYNAMICS räägib Silvio Capobianco (KübI) (vaata lähemalt).
-
9.4.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Lu?s Pinto (Minho Ülikool, Portugal) räägib teemal Proof search and counter-model construction for bi-intuitionistic propositional logic (vaata abstrakti).
-
8.4.2010, 16:00, KübI C231. Arvutiteaduse seminar: Keiko Nakata (KübI) räägib teemal Lazy
initialization for ML-style modules (vaata abstrakti).
-
7.4.2010, 16:00, KübI B 101. Arvutiteaduse seminar: Esimene seminar tsüklist INTRODUCTION TO SYMBOLIC DYNAMICS räägib Silvio Capobianco (KübI) (vaata lähemalt).
-
11.3.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Andri Saar (KübI) räägib Lõtvadest mälumudelitest.
-
9.3.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Juhan Ernits (Birminghami Ülikool) räägib teemal Automated fault detection for Autosub6000: What we've achieved in a year
(vaata abstrakti).
-
11.2.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Marino Miculan (Udine Ülikool, Itaalia) räägib teemal A categorical model of the fusion calculus (vaata abstrakti).
-
4.2.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Davide Grohmann (Udine Ülikool, Itaalia) räägib teemal From reactions to observations: the directed bigraphical model
(vaata abstrakti).
-
21.1.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Keiko Nakata (KübI) räägib teemal Securing class initialization (vaata abstrakti).
-
7.1.2010, 14:00, KübI B 101. Arvutiteaduse seminar: Edwin Brady (St Andrews Ülikool, Š otimaa) räägib teemal Implementing domain-specific languages using dependent types and partial evaluation (vaata abstrakti).
-
7.1.2010, 16:00, KübI B 101. Arvutiteaduse seminar: Conor McBride (Strathclyde'i Ülikool, Š otimaa) räägib teemal Time flies like an applicative functor (vaata abstrakti).