SEMINARID

Arvutiteaduse seminarid

[uued] [2023] [2022] [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).