mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

You are here: Seminars » 2010-2011 » B. Courcelle, 2011-01-24

{ prev, contents, next }

Navigator

Fortune cookie

“Your discovery of the contradiction caused me the greatest surprise and, I would almost say, consternation, since it has shaken the basis on which I intended to build my arithmetic.... It is all the more serious since, with the loss of my rule V, not only the foundations of my arithmetic, but also the sole possible foundations of arithmetic seem to vanish.”

Gottlob Frege.

download seminar details: { pdf }

Seminar

Speaker:	Bruno Courcelle (Bordeaux I, Institut Universitaire de France)
Title:	Special tree-width and the verification of monadic second-order Properties
Date:	Monday, 24 Jan 2011
Time:	18:00-19:00

Comments

You must be logged in to comment.

Reporter

Posts

Web standards: XHTML1.0, CSS3.

Powered by: OpenBSD, vim, nginx, Haskell, Ruby, Python, PostgreSQL, SQLite, django, schole.

© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.