Back to navigation
Teaching Winter 201516
Teaching Spring 2015

Topics in Automated Theorem Proving
(236 714)

Research Seminar in Logic and Combinatorics
(238 901)
Recent results in maths and logic I like a lot
Learn: How to read
mathematics.
By Shai Simonson and Fernando Gouvea.
Learn: How to study mathematics.
By Wilfrid Hodges.
Teaching Fall 2014/15
Set and Logic 234293
Progress report of the Monday Lectures.
Some
thoughts
about teaching "Sets and Logic in CS" submitted to TTL2015 (Tools for Teaching Logic).
Back to navigation
Publications
Professional Organizations

Member of the Executive Council of the European Association of Computer Science Logic ,
EACSL, 20102015
(President 20042009)
 Coordinator of the Jury of the Ackermann Award
of EACSL, 20102011 (Chairman of the Jury 20052009)

Member of the Stearing Committee of IEEE Symposium on Logic in Computer
Science, LICS
(20042015)

Member of the Stearing Committee of FOLLI's European Summer School
of Logic, Language and Information ,
ESSLLI
(2012today)
Back to navigation
Editorial responsibilities
Back to navigation
Faculty of Computer Science
Technion  Israel Institute of Technology
Haifa 32000, Israel
Tel:
+97248294358 (Office)
email: janos at cs.technion.ac.il
Office: Technion, Taub Building 628
Reception Hours (NEW):
By appointment via email.
Home: 3 Ein Gedi, Haifa 34529
Back to navigation
Bridging Logic and Computer Science
Symposion on the occasion of the 60th birthday of Janos Makowsky,
Organized by Damian Niwinski, Ugo Dal Lago, Michael Kaminski, and Simone Martini
September 15th 2008, Bertinoro, Italy
followed by
CSL'2008
17th EACSL Annual Conference on
Computer Science Logic
15th19th September 2008,
Bertinoro, Italy
Joint Special Session at the AMSASL Meeting of 2009
January 58, 2009, Washington, D.C.
Organizers:
Martin Grohe (grohe@informatik.huberlin.de, HU, Berlin) and
and
Johann A. Makowsky (janos@cs.technion.ac.il, Technion, Haifa)
Manifesto on emancipatory aspects of doing mathematics.
My mathematical genealogy
My CoAuthors
Prose and History
Nontechnical publications
Recently published German Prose: Eine haarige Geschichty (Hairy
tale)
psfile,
pdffile
My parents and grandparents and
Hungarian
history.
Documents and essays.
Familytree
of the descendants of David Deutsch (one of my greatgrandfathers)
from Nagyszombat (= Trnava, today in Slovakia).
Fortune cookies
 L'Art est fait pour troubler, la Science rassure (G. Braque)
 Science is Selfconscious Common Sense (Quine)
 A perfection of means, and confusion of aims, seems to be our main problem (Albert
Einstein)
 Overfunded research is like heroin:
It makes one addicted, weakens the mind and furthers prostitution.
(jam in the Jerusalem Post 19.4.85)
Back to navigation