This is a static snapshot of the website of MPLA, taken on 2025-02-27.

You are here: Seminars » 2012-2013

Navigator

Fortune cookie

“It is natural, now, to think of there being connected with a sign (name, combination of words, letter) besides that to which the sign refers, which may be called the reference of the sign, also what I should like to call the sense of the sign, wherein the mode of presentation is contained. In our example, accordingly, [an example in which lines a, b, and c all intersect at a single point] the reference of the expressions 'the point of intersection of a and b' and 'the point of intersection of b and c' would be the same, but not their senses. The reference of 'evening star' would be the same as that of 'morning star', but not the sense.”

Gottlob Frege.

Seminars

2012-2013

Date	Speaker(s)	Title
2013/05/17	E. Kranakis	Monitoring the Plane with Rotating Radars
2013/02/08	A. Stampoulis	VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants
2012/12/14	E. Zachos	Ο δρόμος από τον Leibniz ως τον Turing
2012/11/30	R. Belmonte	Induced immersions
2012/10/26	D. Lokshtanov	News from the width world

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.