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] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [2014] [2013] 2012 [2011] [2010] [2009]
 

  • 20.12.2012, 11:00, KübI B 101. Arvutiteaduse seminar: Danel Ahman (Edinburgh'i Ülikool) räägib teemal owards more refined notions of computation: the global state example (vaata abstrakti).
  • 13.12.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Denis Firsov (KübI) räägib teemal "Overview of formalized developments for regular expressions".
  • 6.12.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Pierre-Louis Curien (U. Paris 7) räägib teemal "A classical lozenge" (vaata abstrakti).
  • 4.12.2012, 11:00, KübI B 101. Arvutiteaduse seminar: Pierre-Louis Curien (U. Paris 7) räägib teemal "System L syntax for sequent calculi" (vaata abstrakti).
  • 29.11.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Dimitrios Vytiniotis (MSR Cambridge) räägib teemal "Stop when you are almost full: adventures in constructive termination" (vaata abstrakti).
  • 27.11.2012, 11:00, KübI B 101. Arvutiteaduse seminar: Arnaud Dieumegard (INP Toulouse) räägib teemal "Automatic code generation in certified system development: a model-driven specification and verification approach" (vaata abstrakti).
  • 23.11.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Denis Firsov (KübI) räägib teemal Overview of formalized developments for context-free grammars.
  • 18.10.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Silvio Capobianco (KübI) räägib teemal "A short walk into randomness" (vaata abstrakti).
  • 4.10.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Concrete process categories" (vaata abstrakti).
  • 20.9.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Boriss Šelajev (KübI) räägib teemal "Verification of object-oriented programs".
  • 13.9.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Celia Picard (Toulouse 3. ülikool) räägib teemal "Verification of redecoration for infinite triangular matrices in Coq" (vaata abstrakti).
  • 12.9.2012, 14:00, KübI B 126. Arvutiteaduse seminar: Niccolò Veltri (Firenze ülikool) räägib teemal "Formalization of graph theory in HOL: the Maxflow-Mincut theorem" (vaata abstrakti).
  • 23.8.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Ahrendt (Chalmersi Tehnikaülikool) räägib teemal "To be or not to be created: abstract object creation in dynamic logic" (vaata abstrakti).
  • 5.7.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Danel Ahman (Cambridge'i Ülikool) räägib teemal Computational effects, algebraic theories and normalization by evaluation (vaata abstrakti).
  • 7.6.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Éric Badouel (INRIA Rennes) räägib teemal "On the α-reconstructibility of workflow nets" (vaata abstrakti).
  • 4.6.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Éric Badouel (INRIA Rennes) räägib teemal "Modelling workflow systems with active folders" (vaata abstrakti).
  • 31.5.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Matthieu Sozeau (INRIA Paris) räägib teemal "Equations: a dependent pattern-matching compiler" (vaata abstrakti).
  • 21.5.2012, 10:00, KübI C 330. Arvutiteaduse seminar: Alejandro Russo (Chalmersi Ülikool) räägib teemal "Information flow control for concurrent covert termination and timing channels" (vaata abstrakti).
  • 15.5.2012, 14:00, KübI B101. Arvutiteaduse seminar: Boriss Šelajev (KübI) räägib teemal "C# programs correctness verification using Spec# tool".
  • 10.5.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Categorical models for two intuitionistic modal logics" (vaata abstrakti).
  • 3.5.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Silvio Capobianco (KübI) räägib teemal "The Tarski alternative and the Garden-of-Eden theorem" (vaata abstrakti).
  • 26.4.2012, 14:00, KübI B 126. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "An introduction to category theory and categorical logic" (jätkub) (vaata abstrakti).
  • 19.4.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "An introduction to category theory and categorical logic" (vaata abstrakti).
  • 4.4.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Tomas Petricek (Cambridge'i Ülikool) räägib teemal "Towards comonadic coeffect systems" (abstrakt).
  • 23.3.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Jacques Sakarovitch (CNRS & ENST, Prantsusmaa) räägib teemal "An introduction to the study of weighted automata: on rational languages with equal generating functions" (vaata abstrakti).
  • 15.3.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Andri Saar (KübI) räägib teemal "Short introduction to the Erlang programming language".
  • 23.2.2012, 14:00, KübI C 321. Arvutiteaduse seminar: Keiko Nakata (KübI) räägib teemal "On some non-classical and non-constructive axioms" (vaata abstrakti).
  • 16.2.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Emulating linear types in Haskell"(vaata abstrakti).
  • 9.2.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal A Lightweight Approach to Start Time Consistency in Haskell (abstrakt).
  • 26.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Sergei Tupailo (Lissaboni Ülikool) räägib teemal "Consistency of strictly impredicative NF" (vaata abstrakti).
  • 24.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Sergei Tupailo (Lissaboni Ülikool) räägib teemal Specker's proof of infinity in NF (vaata abstrakti).
  • 19.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Denis Firsov (KübI) räägib teemal "Certified parsing"(vaata abstrakti).
  • 12.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: James Chapman (KübI) räägib teemal "Relative Monads and Lambda Calculus".
  • 6.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Boriss Šelajev (KübI) räägib teemal "KeY system".
  • 5.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Peeter Laud (Cybernetica) räägib teemal "Identity-based encryption and the generic group model" (vaata abstrakti).

Viimati muutnud: 2017/08/16 17:45