Applied Logic Group

Tu znajduje się wersja polska

		At	Institute of Informatics,
			Faculty of Mathematics, Informatics i Mechanics,
			Warsaw University.

People
Seminar
Events which we coorganised

ETAPS'2003
Alfred Tarski Centenary Conference
TLCA'2001
LICS'97
LACS - Logic, Algebra and Computer Science (1996)
CSL'94

Last modifed: 01.06.2004