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