See veebisait esitab teavet KübIst 31. detsembri 2016 seisuga ja seda enam ei uuendata.
This website presents information about IoC as of 31 December 2016 and is no longer updated.

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

Viimati muutnud: 2017/08/16 17:45