en
etSEMINARID
Arvutiteaduse seminarid
[uued]
[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).
