News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

15 December 2008, Logic Tea, Amélie Gheerbrant (ILLC)

Speaker: Amélie Gheerbrant (ILLC)
Title: Complete Axiomatizations of fragments of MSO on Finite Trees
Date: 15 December 2008
Time: 17:00-18:00
Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

The relevant paper can be downloaded from http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-44.text.pdf. For more information on this talk and future events please refer to the website at http://www.illc.uva.nl/logic_tea/ or contact Edgar Andrade (), Lorenz Demey (), or Yurii Khomskii ().

Please note that this newsitem has been archived, and may contain outdated information or links.