Logic Seminars in Poland | Grigor Sargsyan

If your seminar does not appear here, please email me at gsargsyan@impan.pl with a link to its webpage.

Research seminars in mathematical logic, set theory, model theory, proof theory, logic in computer science, and philosophical logic. Related seminars with broader programmes are identified in their notes.

Checked 4 November 2026. All times are local to Poland, Europe/Warsaw. Meetings follow academic calendars; use each seminar's programme for dates, exceptions and cancellations.

Source list and instructions for checking the schedules (PDF)

Monday

Monday research seminars
Time	Seminar	City and venue
12:15–14:00 Weekly	Real Analysis Seminar Seminarium z Analizy Rzeczywistej Łódź University of Technology, Institute of Mathematics Descriptive set theory, set-theoretic topology, real analysis Current programme Details for Real Analysis Seminar Autumn 2026 talks include the Wadge hierarchy and idealistic equivalence relations. Latest listed meeting on 2 November 2026. Additional schedule source.	ŁódźRoom 52, building B9, Lodex

Tuesday

Tuesday research seminars
Time	Seminar	City and venue
10:15 Usually Tuesdays	Weekly Math Seminar University of Gdańsk, Faculty of Mathematics, Physics and Informatics Set theory, logic, real functions, topology Current programme Details for Weekly Math Seminar Announcements include 3 and 10 November 2026. Occasional meetings use a different weekday.	GdańskRoom A113 or online, as announced
12:15 Weekly	High Noon Seminar Jagiellonian University, Department of Logic Algebraic logic, model theory, philosophical logic Published slot Details for High Noon Seminar The seminar page specifies 12:15. Contact Tomasz Kowalski through that page for the online link and current meeting details. Additional schedule source.	KrakówRoom 30, Collegium Broscianum; Zoom by request
14:00–16:00 Weekly student research seminar	IMPAN Set Theory Student Seminar Institute of Mathematics, Polish Academy of Sciences Inner model theory, set theory, stationary tower forcing Current programme Details for IMPAN Set Theory Student Seminar The 2026/27 page gives this slot and an autumn reading programme. Check announcements for exceptions and online meetings.	WarsawRoom 1, Śniadeckich 8
17:15 Weekly	Wrocław Set Theory & Topology Seminar University of Wrocław and Wrocław University of Science and Technology Set theory, topology, cardinal invariants Current programme Details for Wrocław Set Theory & Topology Seminar Latest announced meeting on 3 November 2026. The venue changes by semester; use the individual announcement for the room. Additional schedule source.	WrocławUWr Mathematical Institute; latest announcement gives room 601

Wednesday

Wednesday research seminars
Time	Seminar	City and venue
10:00–13:00 Selected Wednesdays	Cognitive Science Seminar Seminarium kognitywistyczne Adam Mickiewicz University, Department of Logic and Cognitive Science Logic and cognition, argumentation, cognitive science Published slot Details for Cognitive Science Seminar Related-area series with a broader cognitive science programme. Individual autumn 2026 dates were not confirmed; consult the calendar or mailing list.	PoznańRoom 70, Szamarzewskiego 89AB
10:00–12:00 Weekly	IMPAN Set Theory Seminar Institute of Mathematics, Polish Academy of Sciences Set theory, inner model theory, determinacy, forcing Published slot Details for IMPAN Set Theory Seminar The current Polish institute timetable gives Wednesday 10:00–12:00. The linked group programme still describes an earlier Tuesday slot, so check the latest announcement. Additional schedule source.	WarsawRoom 405, Śniadeckich 8
12:00–14:00 Roughly every two weeks during term	ExtenDD Seminar University of Łódź, Department of Logic Proof theory, definite descriptions, automated deduction Current programme Details for ExtenDD Seminar A meeting is announced for 4 November 2026. The project page supplies the programme and joining information.	ŁódźOnline, Microsoft Teams
12:10 Weekly	Mathematical Logic Seminar Logika matematyczna University of Warsaw, Faculty of Mathematics, Informatics and Mechanics Mathematical logic, models of arithmetic, proof theory, reverse mathematics Current programme Details for Mathematical Logic Seminar Autumn 2026 talks are listed, including meetings on 21 and 28 October.	WarsawRoom 5450, MIM UW
12:15–14:00 Published weekly slot	Foundations of Computer Science Seminar Podstawy informatyki Jagiellonian University, Institute of Theoretical Computer Science Computational logic, computability, typed lambda calculus, logics of programs Autumn dates unconfirmed Details for Foundations of Computer Science Seminar The official research seminar page gives this slot, but its latest dated talk is 28 January 2026. Confirm the 2026/27 meetings before travelling.	KrakówRoom 0174
14:15 Weekly	Automata Theory Seminar Teoria automatów University of Warsaw, Institute of Informatics Automata, logic in computer science, games, finite model theory Current programme Details for Automata Theory Seminar The programme includes a meeting on 4 November 2026.	WarsawRoom 5440, MIM UW
16:15 Weekly	Topology and Set Theory Seminar Topologia i teoria mnogości University of Warsaw, Faculty of Mathematics, Informatics and Mechanics Set theory, set-theoretic topology, descriptive set theory Current programme Details for Topology and Set Theory Seminar Autumn 2026 activity is confirmed by the 14 October entry.	WarsawRoom 4050, MIM UW

Thursday

Thursday research seminars
Time	Seminar	City and venue
10:15 Weekly	Working Group in Applications of Set Theory Institute of Mathematics, Polish Academy of Sciences Set theory, topology, Boolean algebras, Banach spaces Current programme Details for Working Group in Applications of Set Theory The organiser's programme announces 5 November 2026 at 10:15 and several October meetings in the same slot.	WarsawRoom 106, Śniadeckich 8
16:00 Thursdays on announced dates	Set Theory and Topology Seminar Seminarium z teorii mnogości i topologii Jan Kochanowski University, Department of Mathematics Set theory, topology, related areas of mathematics Current programme Details for Set Theory and Topology Seminar The official 2026 programme lists October meetings. The series also includes broader mathematical topics.	KielceRoom 553 and online via Zoom
17:00 Selected Thursdays	Sign–Language–Reality Znak–Język–Rzeczywistość Polish Semiotic Society and University of Warsaw Philosophical logic, formal semantics, philosophy of language Current programme Details for Sign–Language–Reality The 2026/27 calendar lists 29 October, 19 November and 3 December, followed by further meetings in 2027. This is not a weekly meeting.	WarsawOnline via Zoom in 2026/27

Friday

Friday research seminars
Time	Seminar	City and venue
12:15 Weekly	Semantics, Logic and Verification Semantyka, Logika i Weryfikacja oraz Wiele Ich Ciekawych Aplikacji University of Warsaw, Institute of Informatics Logic, type theory, semantics, formal verification Current programme Details for Semantics, Logic and Verification A meeting is announced for 6 November 2026. The older listing “Logika i teoria typów” points to the same Friday seminar homepage and is not counted twice here.	WarsawRoom 5450, MIM UW

Other seminars and schedules to confirm

These series have no fixed published weekday, conflicting information, or only an older timetable. An archived slot is not a current weekly appointment.

Seminars with irregular or unconfirmed schedules
Schedule	Seminar	City and venue
Dates announced separately Irregular international research seminar	Logica Copernicana Nicolaus Copernicus University, Department of Logic Logic, nonclassical logics, semantics, proof theory Irregular series Details for Logica Copernicana The official site explicitly describes an irregular series. Its forthcoming talks page currently says TBA; no fixed weekday is advertised.	ToruńSee individual announcements
Current slot unconfirmed Research seminar	Model Theory Seminar Teoria modeli University of Wrocław, Mathematical Institute Model theory Schedule to confirm Details for Model Theory Seminar The official page gives Wednesday 14:15–16:00 in HS, but the latest listed talk is 5 June 2024 at 16:15. A 2026/27 slot could not be verified.	WrocławConfirm with the organiser
No public timetable found Departmental research seminar	Density Topologies Seminar Topologie gęstości University of Łódź, Department of Real Functions Density topologies, applications of set theory to analysis Schedule to confirm Details for Density Topologies Seminar The department names this scientific seminar but does not publish a weekday, time or current programme on the retrieved page.	ŁódźContact the department
Current slot unconfirmed Listed research series	Mathematical Logic Seminar Seminarium z logiki matematycznej University of Silesia, Institute of Mathematics Mathematical logic Archive linked Details for Mathematical Logic Seminar The institute directory lists the series, but its linked timetable is from 2017/18. That historical slot is not used as a current appointment here.	KatowiceConfirm with the institute
Current slot unconfirmed Listed research series	Topology and Set Theory Seminar Seminarium z topologii i teorii mnogości University of Silesia, Institute of Mathematics Set theory, topology Archive linked Details for Topology and Set Theory Seminar The institute directory links to a 2017/18 archive. Current meetings and their time need confirmation.	KatowiceConfirm with the institute
Published slot Friday 16:15 Listed research seminar	Intelligent Systems Seminar Systemy Inteligentne University of Warsaw, Institute of Informatics Approximate reasoning, logic in AI, intelligent systems Autumn dates unconfirmed Details for Intelligent Systems Seminar Successor to the Logic Group seminar on approximate reasoning. The active directory gives this slot, but the latest dated talk on the retrieved programme is in November 2025. Topics are broader than logic.	WarsawRoom 4060, MIM UW
No public timetable found Departmental research seminar	Department of Analytic Philosophy Seminar University of Warsaw, Faculty of Philosophy Philosophy of language, logic-related semantics, analytic philosophy Schedule to confirm Details for Department of Analytic Philosophy Seminar The department confirms a regular seminar but gives no current weekly slot on its public overview. The programme is broader than logic.	WarsawSee departmental announcements

Teaching and reading seminars

Course seminars can also be useful to visitors. Attendance may require an arrangement with the instructor.

Teaching and reading seminars
Time	Seminar	City and venue
Monday 12:00–14:00 Winter 2026/27 teaching and reading seminar	Constructive Mathematics University of Wrocław, Institute of Computer Science Constructive mathematics, intuitionistic logic, metatheory Teaching seminar Details for Constructive Mathematics Led by Filip Sieczkowski, in English. This is a course seminar rather than a visiting-speaker research series; check attendance arrangements with the instructor.	WrocławRoom 105

Coverage and sources

This directory records the public seminar information found in the institutions below. It is not a guarantee that every local or privately announced reading group has been found. “Published slot” means that an official page gives a meeting time; it does not confirm a meeting every week.

Institutions checked and gaps in the public schedules

Warsaw. University of Warsaw mathematics, computer science and philosophy; IMPAN; Warsaw University of Technology; UKSW; IPI PAN. The verified series are listed above. No separate current public logic seminar timetable was located for the other institutions checked.

Wrocław. University of Wrocław mathematics, computer science and philosophy; Wrocław University of Science and Technology. The joint set theory seminar is current. The model theory timetable needs confirmation. An additional formal-proving course was indexed, but its direct page could not be verified.

Kraków. Jagiellonian University mathematics, computer science and philosophy; AGH; University of the National Education Commission. High Noon and Foundations of Computer Science are listed above. No further current public logic research timetable was located. Degree-course seminars are not treated as open research meetings.

Łódź. University of Łódź mathematics, computer science and philosophy; Łódź University of Technology. ExtenDD and the Real Analysis Seminar have current programmes. Density Topologies has no public slot on the departmental page.

Gdańsk. University of Gdańsk mathematics, computer science and philosophy; Gdańsk University of Technology. The Weekly Math Seminar is current. Gdańsk Logic Colloquium Talks has a 2023 archive, not a confirmed current timetable.

Other centres. Poznań UAM; Toruń UMK; Kielce UJK; Katowice UŚ; Lublin KUL and UMCS; Opole; Rzeszów; Białystok. Verified series and uncertain schedules are listed above. No current dedicated public logic research timetable was located for the remaining centres in this search.

Every seminar name links to its official or organiser-maintained page.