Departmental Calendar

The departmental calendar.


Termín přihlášení k SZK
Termín pro přihlášení k zářijovému termínu závěrečných zkoušek (bakalářských i magisterských) je stanoven na 12. 7.


PhD obhajoba A. Přenosila
Ve středu 27.6. od 11:00 proběhne doktorská obhajoba Adama Přenosila.


Doktorské přijímací zkoušky
Ve středu 27. 6. od 9:45 proběhnou přijímací zkoušky do doktorského studia.


PhD zkouška A. Přenosila
Ve čtvrtek 14. 6. od 10:00 proběhne doktorská zkouška Adama Přenosila.


PhD obhajoba P. Arazima

V pondělí 4.6. od 14:00 proběhne doktorská obhajoba Pavla Arazima.


Vzpomínka na Antonína Sochora
17.5. tomu bude 10 let co odešel na věčnost RNDr. Antonín Sochor, DrSc. U této příležitosti bude v pátek v kostele Panny Marie Královny míru Ve Lhotce 36 sloužena mše po níž bude ještě společné posezení.

Mši bude sloužit P. Mgr. Petr Šleich. Před kostelem staví autobusy MHD linky č. 121, 139, 150, 157 a 197.

May 01.—May 04. 2018

PhDs in Logic X
The 10th edition of PhDs in Logic will take place in Prague on May 1–4 2018.
PhDs in Logic is a graduate conference organised by local graduate students. The conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science. Its aim is to bring together PhD students and researchers as well as to foster contact between PhD students. The conference website is here:

Apr 11.—Apr 12. 2018

Thinking The Infinite
International Conference on Philosophy and Mathematics centered on discussing Alain Badiou's work will be held in the National Gallery in Prague at the 'Veletržní palác'

Alain Badiou’s magnum opus Being and Event opens with the claim that ‘mathematics is ontology’. Much of his philosophical work from the 1980’s until today consists of a profound reexamination of the conceptual field of classical philosophical ontology with the aid of contemporary mathematics. This conference is prompted by the perception that the first generation of thinkers reacting to Badiou too often did not adequately come to terms with the mathematical substance of this work. If on the one hand, contemporary mathematicians only rarely intervene in the field of continental philosophy, philosophers, on the other hand, often lack the advanced mathematical education that would enable them to grasp the full scope of Badiou’s thought. This conference, organized together with Alain Badiou himself, intends to fill this gap in the reception of Badiou’s philosophy.

More information can be found at the conference website.

Jan 25.—Jan 27. 2018

Prague Gathering of Logicians and Beauty of Logic 2018

Prague Gathering of Logicians is an annual event held by the community of logicians in Prague, this year, the Gathering is held jointly with Beauty of Logic, organized by the Institute of Computer Science in honour of Petr Hájek, its late member and former director who passed away in December 2016.

The registration for Prague Gathering of Logicians and Beauty of Logic 2018 is now open. The conference website is at and you can find information about the conference and the registration there.

Jan 08.—Feb 09. 2018

SZZK a BZK v únoru
Konání SZZK a BZK je plánováno shodně na týden 5.-9.2. 2018. Nejzazší termín odevzdání bakalářské nebo diplomové práce v SISu je 8.1. Dbejte prosím nových předpisů k náležitostem a k odevzdávání závěrečných prací.

Dec 19.—Dec 20. 2017

Departmental Christmas Party
The traditional festive meeting of the department & friends will take place on Tuesday, Dec 19th.

The traditional festive meeting of the department & friends of logic will take place on Tuesday, Dec 19th. We will start around 6 pm and continue till midnight. Everyone is welcome to drop by, feel free to spread the word!


Farewell Party
Stefan Hoffelner will start a PostDoc position in Munster with R. Schindler. On this occasion we will have an informal farewell party.

There will be an informal farewell party for Stefan Hoffelner. We will go for diner after the departmental seminar which ends around 18:00.

Oct 26.—Oct 28. 2017

Prague Workshop on Group Attitudes

The worshop is co-organized by the department and will focus on logical formalization of group attitudes.

This week we (the SEGA project of our department and Inst. of Phil, CAS) organize a workshop on logical formalization of group attitudes. The workshop takes place on Thu 26 - Sat 28 in Villa Lana. Some big names in epistemic logic and related ateas will speak at the workshop. 

The preliminary schedule can be found here:

You are all warmly invited to participate, should you find (the time and) the topic interesting