SEMINARID

Arvutiteaduse seminarid

[uued] [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