BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/5649/3-April-2014-Algebra|Coalgebra-Seminar-Fatem
eh-Seifan
DTSTAMP:20140327T000000
SUMMARY:Algebra|Coalgebra Seminar, Fatemeh Seifan
ATTENDEE;ROLE=Speaker:Fatemeh Seifan
DTSTART:20140403T160000
DTEND:20140403T173000
LOCATION:Room F1.15, Science Park 107
DESCRIPTION:Abstract In this talk we will use the
connection between automata and logic to prove th
at a wide class of coalgebraic fixpoint logics enj
oy the uniform interpolation. To this aim, first w
e generalize one of the central results in coalgeb
raic automata theory, namely closure under project
ion, which is known to hold for weak-pullback pres
erving functors, to a more general class of functo
rs, i.e.; functors with quasi-functorial lax exten
sions. Then we will show thatclosure under project
ion implies definability of the bisimulation quant
ifier in the language of coalgebraic fixpoint logi
c, and finally we prove the uniform interpolation
theorem. For more information, see http://www.ill
c.uva.nl/alg-coalg/ or contact Sumit Sourabh (S.So
urabh at uva.nl).
X-ALT-DESC;FMTTYPE=text/html:\n **Abstr
act**

\n In this talk we will use the
connection between automata and logic to prove th
at a wide class of coalgebraic fixpoint logics enj
oy the uniform interpolation. To this aim, first w
e generalize one of the central results in coalgeb
raic automata theory, namely closure under project
ion, which is known to hold for weak-pullback pres
erving functors, to a more general class of functo
rs, i.e.; functors with quasi-functorial lax exten
sions. Then we will show thatclosure under project
ion implies definability of the bisimulation quant
ifier in the language of coalgebraic fixpoint logi
c, and finally we prove the uniform interpolation
theorem.

\n \n For more informatio
n, see http://www.illc.uva.nl/alg-coalg/
or contact Sumit Sourabh (S.
Sourabh at uva.nl).

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/5649/3-April-2014-Algebra|Coalgebra-Seminar-Fatem
eh-Seifan
END:VEVENT
END:VCALENDAR