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
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 \nFor more informat ion, see http://w ww.science.uva.nl/research/math/Calendar/colloq/ a>
URL:/NewsandEvents/Archives/2011/newsitem/3899/20- April-2011-General-Mathematics-Colloquium-Mai-Gehr ke-Radboud-Universiteit- END:VEVENT END:VCALENDAR