BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2011/newsitem/3899/20-
 April-2011-General-Mathematics-Colloquium-Mai-Gehr
 ke-Radboud-Universiteit-
DTSTAMP:20110414T000000
SUMMARY:General Mathematics Colloquium, Mai Gehrke
  (Radboud Universiteit)
ATTENDEE;ROLE=Speaker:Mai Gehrke (Radboud Universi
 teit)
DTSTART;TZID=Europe/Amsterdam:20110420T111500
DTEND;TZID=Europe/Amsterdam: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        <p>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        </p>\n    \n        <p>For more informat
 ion, see <a target="_blank" href="http://www.scien
 ce.uva.nl/research/math/Calendar/colloq/">http://w
 ww.science.uva.nl/research/math/Calendar/colloq/</
 a></p>\n    
URL:/NewsandEvents/Archives/2011/newsitem/3899/20-
 April-2011-General-Mathematics-Colloquium-Mai-Gehr
 ke-Radboud-Universiteit-
END:VEVENT
END:VCALENDAR