Algebra|Coalgebra Seminar
This page concerns the Algebra|Coalgebra Seminar, which presently runs on
a weekly basis at the
Institute for Logic, Language &
Computation of the Universiteit van Amsterdam.
Its participants are the members of the
Algebra & Coalgebra
project group headed by
Dr Yde Venema, and guests.
- (Wednesday) July 2, 2008
Coordinates:15.00-17.00, P114
Speaker: Alessandra Palmigiano
Title: Topological groupoid quantales and their representation theorems
- June 18, 2008
no A|C seminar
- June 25, 2008
no A|C seminar
- June 11, 2008
Coordinates:15.00-17.00, P018
Speaker: Bas Spitters
Title: Modal logics for probability and possibility via pointfree topology
- June 4, 2008
no A|C seminar
- May 28, 2008
Coordinates:15.00-17.00, P114
Speaker: Tomoyuki Suzuki
Title: Canonicity of Substructural logics
- May 21, 2008
no A|C seminar
- May 14, 2008
Coordinates:15.30-17.30, P114
Speaker: Clemens Kupke
Title: Complete sets of co-operations
- May 7, 2008
Coordinates:15.00-17.00, P114 (to be confirmed)
Speaker: Guram Bezhanishvili
Title: Priestley order-compactifications and a generalization of
Dwinger's theorem
- April 30, 2008
no A|C seminar due to Queen's Day
- April 23, 2008
Coordinates:15.00-17.00, P114 (to be confirmed)
Speaker: Guram Bezhanishvili
Title: Bitopologcial duality for distributive lattices and Heyting
algebras
- April 16, 2008
Coordinates:15.00-17.00, P114
Speaker: Loes Olde Loohuis
Title: Automata and fixpoint calculi on complete lattice
expansions (2).
- April 9, 2008
Coordinates:15.00-17.00,
P015B
Speaker: Loes Olde Loohuis
Title: Automata and fixpoint calculi on complete lattice
expansions.
- April 2, 2008
no A|C seminar
- March 26, 2008
no A|C seminar because of the Workshop on
Modal Fixpoint Logic.
- March 19, 2008
Coordinates:15.00-17.00, P114
Speaker: Gaelle Fontaine
Title: The continuous fragment of the mu-calculus
- March 5, 2008
Coordinates:15.00-17.00, P318
Speaker: Jacob Vosmaer
Title: Topological Algebras
- March 12, 2008
no A|C seminar because of the
Coalgebra Day
in Nijmegen on March 11.
- February 27, 2008
Coordinates:15.00-17.00, P114
Speaker: Alexander Kurz
Title:Functors on Varieties as Modal Logics
- February 20, 2008
Coordinates:15.00-17.00, P114
Speaker: Mehrnoosh Sadrzadeh
Title:Modal algebras go Dutch
- February 14 (Thursday), 2008
Coordinates:15.00-17.00, P114
Speaker: Raul Leal
Title: Predicate liftings vs Nabla modalities
- December 19 (Wednesday), 2007
Coordinates:15.00-17.00, P114
Speaker: Valentin Goranko
Title:Symbolic model checking of tense and hybrid logics on
rational Kripke models
(joint work with Wilmari Bekker)
- December 13, 2007
Coordinates: 15.00-17.00, P114
Speaker: Yde Venema
Title: Eliminating conjunctions from systems of equations
- December 6, 2007
Coordinates:15.00-17.00, P017
Speaker: Martin Otto
Title: Bisimulation Invariance over Special Classes of Frames
- November 29, 2007
Coordinates:14.00-16.00, P114
Speaker: H. Peter Gumm
Title: Anatomies of Set-Functors
Abstract:
We survey results on Set functors, discuss examples and
particular classes of functors, and determine conditions
guaranteeing interesting preservation properties relevant
in coalgebra. In particular, we discuss distributivity
properties and properties which allow functors to be
interpreted as data containers.
- November 22, 2007
Speaker: Dick de Jongh
Topic: Unifiability in extensions of K4
Coordinates:14.00-16.00, P114
- November 15, 2007
Speaker: Alessandra Palmigiano
Topic: Vietoris via relation lifting
Coordinates:15.00-17.00, P114
- November 8, 2007 no A|C seminar because of
A Day of Mathematical
Logic.
- November 1, 2007
Speaker: Dirk Pattinson
Topic: Algebraic Semantics and Finite Models for Coalgebraic Logics
Coordinates:15.00-17.00, P114
- October 25, 2007
Speaker: Jacob Vosmaer
Topic: MacNeille Completion and Profinite Completions of Modal
Algebras
Coordinates:15.00-17.00, P114
- October 18, 2007 no seminar
- October 11, 2007
Speaker: Yde Venema and Gaelle Fontaine
Topic: An afternoon with Vietoris:
- Yde Venema: The Vietoris construction in topology and modal logic
- Gaelle Fontaine: Vietoris bisimulations between descriptive models
Coordinates: 14.30-17.00, P114.
- October 4, 2007
Speaker: Mai Gehrke
Topic: Automata and duality
Coordinates:15.00-17.00, P114