BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/3899/20-April-2011-General-Mathematics-Colloquium
-Mai-Gehrke-Radboud-Universiteit-
DTSTAMP:20110414T000000
SUMMARY:General Mathematics Colloquium, Mai Gehrke
(Radboud Universiteit)
ATTENDEE;ROLE=Speaker:Mai Gehrke (Radboud Universi
teit)
DTSTART:20110420T111500
DTEND:20110420T121500
LOCATION:Room D1.113, Science Park 904, Amsterdam
DESCRIPTION:Profinite algebras, such as profinite
rings, groups, and monoids are often used in algeb
ra and have, more recently, also found application
s in computer science. Duality theory on the other
hand plays a central role in the study of logics
where it serves as the main mechanism in relating
syntactic and semantic approaches. In recent work
with Grigorieff and Pin we have shown that the cat
egory of profinite abstract algebras in any signat
ure may be seen as a subcategory of all topo-relat
ional dual spaces of a corresponding type. This te
chnical result has allowed us to generalise a powe
rful method in automata theory. The talk will prov
ide an introduction to the concepts involved and a
glimpse at the automata and complexity theoretic
applications For more information, see http://ww
w.science.uva.nl/research/math/Calendar/colloq/
X-ALT-DESC;FMTTYPE=text/html:\n Profinit
e algebras, such as profinite rings, groups, and\n
monoids are often used in algebra and have
, more recently,\n also found applications
in computer science. Duality theory on\n th
e other hand plays a central role in the study of
logics\n where it serves as the main mechan
ism in relating syntactic\n and semantic ap
proaches. In recent work with Grigorieff and\n
Pin we have shown that the category of profini
te abstract\n algebras in any signature may
be seen as a subcategory of all\n topo-rel
ational dual spaces of a corresponding type. This\
n technical result has allowed us to genera
lise a powerful\n method in automata theory
. The talk will provide an\n introduction t
o the concepts involved and a glimpse at the\n
automata and complexity theoretic applications
\n

\n \n For more informat
ion, see http://w
ww.science.uva.nl/research/math/Calendar/colloq/

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/3899/20-April-2011-General-Mathematics-Colloquium
-Mai-Gehrke-Radboud-Universiteit-
END:VEVENT
END:VCALENDAR