PD Dr. habil. Tadeusz Litak
Curriculum Vitae with Publication List
Address:
Phone:
E-mail:Martensstr. 3; 91058 Erlangen+49 9131 85-64032
tadeusz.litak@fau.deChair 8 (Theoretical Computer Science)
Department of Computer Science
Friedrich-Alexander-Universität Erlangen-Nürnberg

Includes information about third-party funding, invited talks, community service, publications and teaching.
This version created on May 22, 2020.

1 Academic Degrees and Titles
05/2019
09/2005
09/2001

Habilitation in Computer Science, FAU Erlangen-Nürnberg. Cumulative Thesis: Subverting the Classical Picture: (Co)algebra, Constructivity and Modalities
Ph.D. summa cum laude in Information Science, JAIST. Advisor: Hiroakira Ono. Thesis:
An Algebraic Approach to Incompleteness in Modal Logic
Magister (Master) of Philosophy, summa cum laude, Jagiellonian University (UJ). Advisor: Andrzej Wroński. Thesis (in Polish): Niezupełne Logiki Pośrednie (Incomplete
Intermediate Logics)

2 Academic and Professional Appointments
10/2012–present
01/2010–
09/201202/2008–
12/200905/2007–
01/2008
10/2005–
04/2007

Akademischer Oberrat (from 10/2018 to 01/2020 as Wissenschaftlicher Mitarbeiter, earlier as Akademischer Rat), FAU Erlangen-Nürnberg, Informatik 8 (Chair of TheoreticalComputer Science)
Research Associate, Dept. of Computer Science, University of Leicester, employed on
EPSRC grant EP/G041296/1 held by Alexander Kurz and Achim Jung
Research Assistant, Dept. of Computer Science and Information Systems, Birkbeck,
University of London, employed on EPSRC grant EP/F002262/1 held by Sven Helmer
Researcher (Onderzoeker), Informatics Institute, University of Amsterdam, supported byan own NWO Rubicon grant (details below)
Researcher (Kenkyuin, in IV.2007 special researcher—Tokubetsu Kenkyuin), School of Infomation Science, JAIST (Japan Advanced Institute of Science and Technology) supportedby the Jinzai Yosei fund of Japan Science and Technology Agency (JST)3 Grants, Fellowships and Scholarships
The table only lists funding obtained by myself.
2019–2020

Senior Descartes Fellowship covering two monthly visits and collaboration with researchers at Utrecht University (Albert Visser and Rosalie Iemhoﬀ); each respective
month up to 2500 euros

2013–2014

BaCaTeC (Bavaria California Technology Center) travel grant Algebraische Beweistheorie
der Modallogik (Algebraic Proof Theory of Modal Logic), supporting collaboration with
CECAT, Chapman University

2007–2008

NWO (Netherlands Organization for Scientiﬁc Research) Rubicon grant fellowship Algebraic Optimization of XPath Fragments (680–50–0613) resulting in my employment as
Onderzoeker at the Informatics Institute, University of Amsterdam; EUR 55.000

2005–2007

Postdoctoral support of the Jinzai Yosei (Fostering Talents) fund of the Japan Science andTechnology Agency (JST)

2002–2005

Monbukagakusho Scholarship, Japanese Ministry of Education

2004, 2003

Foundation Travel Grant, JAIST Foundation

2003

JAMS Travel Grant, Japan Association for Mathematical Sciences

2000–2001

MEN (Ministry of Education) Scholarship, Polish Ministry of Education

4 Visiting Positions and Extended Research Visits
This section covers only visits funded by the inviting side.
9/201903/2020

Visiting Albert Visser, Rosalie Iemhoﬀ and her group at the Department of Philosophy,
Utrecht University, funded by my Senior Descartes Fellowship (see above)

08/2019
10/2019

Visiting researcher in the group of Petr Cintula at the Institute of Computer Science of
the Czech Academy of Sciences, including collaboration with Marta Bilkova, Igor Sedlár
and Andrew Tedder, and a presentation at the Seminar on Applied Mathematical Logic(inviting group covering costs of accommodation, travel and subsistence), 7–27 Augustand 3–12 October 201904/2015

A visit to the Group in Logic and the Methodology of Science at the UC Berkeley(by invitation of the Chair of the Group, John R. Steel, and host researcher Wesley H.
Holliday), involving research cooperation, a 5 hr. tutorial Socialize with Coalgebraic
Logic: An Invitation, and assistance with student supervision (USD 2000 for travel andaccommodation costs), 13–18 April 201508/2014

A visit to the Logic and Semantics Group (by invitation of the Head of Department, Lars
Birkedal), Aarhus University, involving research with and presentations for the groups ofLars Birkedal and Olivier Danvy (inviting university covering travel and accommodation
costs), 25–29 August 201412/2001

A visit to ILLC, University of Amsterdam (by invitation of Johan van Benthem), involving
a talk at the Computing with LLI Seminar, participation in the Amsterdam Colloquium,in the Farewell to the Spinoza project “Logic in Action”, research discussions with J. van
Benthem, P. van Emde Boas and D. de Jongh (funded by van Benthem’s Spinoza project“Logic in Action”)

See also §§ 6, 9.3, 10, 11 below.

5 Program Committees of International Conferences2

04/2020

18th International Conference on Relational and Algebraic Methods in Computer Science(RAMICS 2020), Paris, 8–11 Apr, PC Member

10–11/2018

17th International Conference on Relational and Algebraic Methods in Computer Science(RAMICS 2018), Groningen, 29 Oct–2 Nov, PC Member

03–04/2014

14th International Conference on Relational and Algebraic Methods in Computer Science(RAMiCS 2014), Marienstatt im Westerwald, 28 Apr–1 May, PC member

08/2012

9th International Conference on Advances in Modal Logic (AiML 2012), Copenhagen,22–25 August, PC member

07/2011

5th International Conference on Topologies, Algebra and Categories in Logic (TACL
2011), Marseilles, 26–30 July, PC member

Program Committees of International Workshops

09/2018

3rd International Workshop on AI aspects of Reasoning, Information, and Memory(AIRIM’18), held as a part of AAIA, FedCSIS, Poznań, 9–12 September, PC Member

04/2015

Workshop on Continuations, WoC’15, Satellite event of ETAPS 2015, London, April
12th, PC Member

6 Invited Talks and Tutorials
09/2020

Invited speaker at the 7th International Workshop on Topological Methods in Logic (ToLo
VII), 21–25 September, Tbilisi (forthcoming)

07/2019

Invited speaker at the Proof Theory in Logic workshop, 1–2 July, Utrecht University: Are
Strict Conditionals Bunched?

09/2018

Invited speaker at the 4th SYSMICS Workshop: Duality in Algebra and Logic, 14–17
September, Chapman University, Orange CA: Intuitionistic, Strict and Bunched Implications

07/2018

Invited speaker at the 6th International Workshop on Topological Methods in Logic (ToLo
VI), 2–6 July, Tbilisi: One Modal Logic to Rule Them All?

06/2018

Invited speaker at the Workshop on Algebra and Duality in Non-classical Logic, 14 June,
ILLC, University of Amsterdam: Negative Translations, Enveloped Implications andNormal Modality

06/2016

Invited speaker at the 5th International Workshop on Topological Methods in Logic (ToLoV), 13–17 June, Tbilisi. Tutorial on on Dialogues, Proofs and Programs and a presentation
Complete Additivity and Modal Incompleteness

05/2015

Keynote speaker at the 6th International Workshop “Algebra and Coalgebra meet Proof
Theory” (ALCOP), 6–8 May, TU Delft: Completeness, Completions, Canonicity and Cut

07/2012

Invited speaker at the 3rd International Workshop on Topological Methods in Logic(ToLo III), 23–27 July, Tbilisi: Guarded (co-)recursion, Intuitionistic Modal Logics andScattered Toposes

04/2012

Tutorial at the Midlands Graduate School 2012 (MGS 2012), Birmingham, University ofBirmingham, 23–27 April: Provability, Fixed Points and Clock Ticks

306/2011

Invited speaker at the 2nd International Conference on Order, Algebra, and Logics (OAL),
06–10 June, UJ Kraków: Coalgebraic Logic: Modalities and Beyond

07/2010Invited course (15h) at the Summer School Leicester-JXNU 2010, Jangxi Normal University, Nanchang: Queries, Modalities, Relations, Trees, XPath

06/2010Invited speaker at the 2nd International Workshop on Topological Methods in Logic (ToLoII), 08–10 June, Tbilisi: Non-canonicity: Two Stories

10/2006

Invited speaker at the 17th ALGI Research Meeting, 12–13 October, Nara Women’s
University: Algebraization of Hybrid logic with Binders and The Bounded Fragment of
Predicate Logic

05–06/
2006

Invited speaker at the Workshop on Mathematical logic and Its Applications, 31 May–2
June, Research Institute for Mathematical Sciences (RIMS), Kyoto University: Completions of GBL-algebras and Acyclic Modal Algebras: Negative Results

10/2005

Invited speaker at the Workshop on Modern Plural Aspects of Modal Logics: From a
Semantical Point of View, 29th PaSTA Research Meeting, 15 October, Graduate Schoolof Letters, Kyoto University: Discrete Frames as Semantics for Modal and Hybrid Logic

See also §§ 9.3, 10, 11 below.

47 Teaching Experience: Lecturing and Supervision
7.1 Lecturer experience at FAU Erlangen-Nürnberg

FAU
ErlangenNuremberg
2012–
present

Teaching SemProg: Practical Semantics of Programming Languages, each summer
term since 2013. 4 hrs/wk independent, self-designed course. In 2013, jointly with D.
Gorín. 2017 edition assisted by C. Rauch.
Teaching FormSoft: Formal Methods for Software Development, each winter termsince 2015/16 as the main lecturer and examiner. 2 hrs/wk of own lectures + 2 hrs/wk oftutorials by C. Rauch. In 2014/15 in charge of tutorials for the same lecture
Teaching LGruDat: Logical Foundations of Database Theory, winter terms 2013/14
and 2016/17. 4 hrs/wk independent, self-designed course. The 2016/17 edition assisted
by C. Rauch.
Teaching NoCL: Non-classical Logics in Computer Science, winter term 2015/16,
jointly with prof. L. Schröder, jointly designed by both of us. 4 hrs/wk independent
course.
Seminar HoTT: Homotopy Type Theory, summer term 2017 (together with dr S. Goncharov), 2 hrs/wk.
Seminar CaP: Categories in Programming, summer term 2015 (together with dr S.
Goncharov), 2 hrs/wk.
Seminar SemCurry: Curry-Howard Correspondence, winter term 2013/14 (together
with dr D. Gorín), 2 hrs/wk
Supervision of MSc Dissertation of Merlin Göttlinger (2018), Michael Sammler,
Matthias Zinner (2019) and Frederik Hasselmeier (scheduled 2020), BSc Dissertationsof Miriam Polzer (2015), Michael Banken, Alexander Dietsch (2016), Michael Gebhard (2018) and Frederik Voelkel (2019), master-level projects (Projektarbeit) of Paul
Wild, Ulrich Rabenstein/Miriam Polzer (2016), Michael Sammler (2018), Matthias
Zinner and Johannes Kern (2019)

7.2 Lecturer experience at previous universities

U. of
Leicester
2010–
2012

Teaching CO7207 Generative Development at the MSc level, winter term 2011/2012. 3
hrs of lectures and 1 hr of surgeries a week (plus 1 hr of lab given by a teaching assistant).
First supervisor of MSc Dissertation of Andrew J. Heighway (awarded 2011). Second
supervisor for Constantinos Constantinou (awarded 2010). First supervisor of BSc Dissertations of Siti Nadiah Azahari and Stelios Adamou. Second supervisor of Si Wan Lam,
Zara Emma Penrice and Ruksana Ahmad (all awarded 2012)
Moderator of several MSc student discussion groups (as a part of module CO7210, Personaland Group Skills) (2010-2012). An obligatory course, moderated subjects designed andgraded independently by myself

57.3 Summer Schools and Graduate Schools
UtrechtU.,
2020(postponed to 2021)

First lecturer (co-lecturing with Albert Visser) for Lewis meets Brouwer: Constructive
strict implication (advanced course) at 32nd European Summer School in Logic, Language
and Information (ESSLLI)U. of Birmingham, Apr 2012

Self-designed advanced course on Provability, ﬁxed points and clock ticks (4 hrs). Midlands Graduate School (MGS 2012), Birmingham

JXNU, Jul 2010

Self-designed course on Queries, Modalities, Relations, Trees, XPath (15 hrs). Invitedlecturer at Summer School Leicester-JXNU, Jangxi Normal University, Nanchang, China

7.4 Tutoring, Managing Tutors and Assistant Teaching

FAU 2012–present

Managing tutors for the basic course ThInfWI-A: Theoretische Informatik fürWirtschaftsinformatik und Lehramt (summer terms 2014, 2015, each year
since 2017)
Tutoring for KompAlg: Komplexität von Algorithmen (summer term 2013)
Tutoring for GLoLoP: Grundlagen der Logik und Logikprogrammierung(WS 12/13)

DCSIS, Birkbeck, U. of London, autumn 2008 and spring
2009

Assistance as demonstrator and amanuensis to a visually impaired student formodules Programming in C++, Object-oriented Design and Programmingand the Fundamentals of Computing exam

Institute of Philosophy UJ,
spring sem. 2002

Assistant teacher for the Model Theory course

Faculty of Polish Studies UJ,
spring sem. 2002

Assistant teacher for the Ancient Philosophy course

8 Refereeing Services
Apart from PC memberships listed above, I have refereed for the Dutch Research Council (NWO) KLEIN
grants in Domain Science (ENW). I have also been refereeing for Springer’s Trends in Logic and journals
such as Journal of Artiﬁcial Intelligence Research, Journal of Symbolic Logic, Review of Symbolic Logic,
ACM Transactions on Computational Logic, Studia Logica, Indagationes Mathematicae, Theoretical Computer
Science, Logical Methods in Computer Science, Journal of Logic and Computation, Journal of Logic andAlgebraic Programming, Journal of Philosophical Logic, Mathematical Logic Quarterly, Annals of Pure andApplied Logic, Journal of Logic, Language and Information, Notre Dame Journal of Formal Logic, or Bulletinof the Section of Logic.
Conferences and workshops I have been refereeing for include, e.g., LiCS, IJCAR, AiML, ACM SIGMOD/PODS, STACS, FoSSaCS, CSL, MFCS, OAL, TACL, RAMiCS, LPar, DBPL, DataX, DL, WoLLiC,
WoC or TbiLLC.

9 Publication List
My publication list is also available as hypertext at https://www8.cs.fau.de/litak:pubs.

6

The publication list below is divided as follows: book chapters (§ 9.1), papers in journals (§ 9.2), papers inrefereed conference and workshop proceedings (§ 9.3—a common mode of publication in theoretical computerscience, with venues such as POPL being more prestigious than most journals; marked wherever superseded bya later journal version), others (§ 9.4).

9.1 Book Chapters
[B1]

[B2]

Jipsen, Peter and Litak, Tadeusz. 2020b. „An algebraic glimpse at bunched implications and separation
logic“. In: Hiroakira Ono on Residuated Lattices and Substructural Logics. Outstanding Contributions
to Logic. Accepted, to appear. Springer. url: https://arxiv.org/abs/1709.07063.
Litak, Tadeusz. 2014b. „Constructive modalities with provability smack“. In: Leo Esakia on Duality
in Modal and Intuitionistic Logics. Outstanding Contributions to Logic. Author’s Cut (full electronic
version): https://arxiv.org/abs/1708.05607. Springer, pp. 179–208.

9.2 Papers in Journals
[J1]

[J2]
[J3]
[J4]

[J5]

[J6]

[J7]

[J8]

[J9]

[J10]

[J11]

Holliday, Wesley Halcrow and Litak, Tadeusz. 2019a. „Complete additivity and modal incompleteness“. Review of Symbolic Logic 12.3. Available on arXiv: https://arxiv.org/abs/1809.07542
and eScholarship: https://escholarship.org/uc/item/01p9x1hv, pp. 487–535. url: https://doi.org/10.1017/S1755020317000259.
Litak, Tadeusz and Visser, Albert. 2019b. „Lewisian ﬁxed points I: two incomparable constructions“.
CoRR abs/1905.09450. url: http://arxiv.org/abs/1905.09450.
Litak, Tadeusz. 2018b. „Inﬁnite populations, choice and determinacy“. Studia Logica 106 (5), pp. 969–
999. url: https://doi.org/10.1007/s11225-017-9730-3.
Litak, Tadeusz, Pattinson, Dirk, Sano, Katsuhiko, and Schröder, Lutz. 2018c. „Model theory andproof theory of coalgebraic predicate logic“. Logical Methods in Computer Science 14. url: https://lmcs.episciences.org/4390.
Litak, Tadeusz and Visser, Albert. 2018d. „Lewis meets Brouwer: Constructive strict implication“.
Indagationes Mathematicae 29. A special issue “L.E.J. Brouwer, ﬁfty years later”, pp. 36–90. url:
https://arxiv.org/abs/1708.02143.
Milius, Stefan and Litak, Tadeusz. 2017b. „Guard your daggers and traces: Properties of guarded(co-)recursion“. Fundamenta Informaticae 150, pp. 407–449. url: http://arxiv.org/abs/1603.
05214.
Schröder, Lutz, Pattinson, Dirk, and Litak, Tadeusz. 2017c. „A van Benthem/Rosen theorem forcoalgebraic predicate logic“. Journal of Logic and Computation 27 (3), pp. 749–773. url: https://doi.org/10.1093/logcom/exv043.
Litak, Tadeusz, Mikulás, Szabolcs, and Hidders, Jan. 2016. „Relational lattices: From databases touniversal algebra“. Journal of Logical and Algebraic Methods in Programming 85 (4). Special issue
with selected papers of RAMiCS 2014, pp. 540–573. url: https://doi.org/10.1016/j.jlamp.
2015.11.008.
ten Cate, Balder, Fontaine, Gaëlle, and Litak, Tadeusz. 2010a. „Some modal aspects of XPath“.
Journal of Applied Non-Classical Logics 20 (3). Accessible copy: http : / / www8 . cs . fau . de /~litak/papers/jancl20birthday.pdf, pp. 139–171. url: http://dx.doi.org/10.3166/
jancl.20.139-171.
ten Cate, Balder, Litak, Tadeusz, and Marx, Maarten. 2010b. „Complete axiomatizations for XPathfragments“. Journal of Applied Logic 8 (2), pp. 153–172. url: http://dx.doi.org/10.1016/j.
jal.2009.09.002.
Kowalski, Tomasz and Litak, Tadeusz. 2008a. „Completions of GBL-algebras: negative results“.
Algebra Universalis 58 (4), pp. 373–384. url: http://dx.doi.org/10.1007/s00012-008-20562.

7

[J12]
[J13]
[J14]

[J15]
[J16]
[J17]

Litak, Tadeusz. 2008b. „Stability of the Blok theorem“. Algebra Universalis 58 (4), pp. 385–411. url:
https://doi.org/10.1007/s00012-008-2062-4.
Litak, Tadeusz. 2007c. „The non-reﬂexive counterpart of Grz“. Bulletin of the Section of Logic 36(3–4), pp. 195–208. url: http://www.filozof.uni.lodz.pl/bulletin/pdf/36_34_10.pdf.
Litak, Tadeusz and Wolter, Frank. 2005d. „All ﬁnitely axiomatizable tense logics of linear time ﬂows
are coNP-complete“. Studia Logica 81 (2), pp. 153–165. url: http://dx.doi.org/10.1007/
s11225-005-3702-8.
Litak, Tadeusz. 2004a. „Modal incompleteness revisited“. Studia Logica 76 (3), pp. 329–342. url:
https://doi.org/10.1023/B:STUD.0000032102.67838.f2.
Litak, Tadeusz. 2004b. „Some notes on the superintuitionistic logic of chequered subsets of R∞ “.
Bulletin of the Section of Logic 33 (2), pp. 81–86. url: https://arxiv.org/abs/1808.06393.
Litak, Tadeusz. 2002. „A continuum of incomplete intermediate logics“. Reports on Mathematical
Logic 36. Corrected in 2018, https://arxiv.org/abs/1808.06284, pp. 131–141.

9.3 Papers in Refereed Conference and Workshop Proceedings
Some of the papers in the list below have been superseded by journal versions in § 9.2; this is annotated whereverapplies.
[C1]

[C2]

[C3]

[C4]

[C5]

[C6]

[C7]

[C8]

[C9]

Hausmann, Daniel, Litak, Tadeusz, Rauch, Christoph, and Zinner, Matthias. 2020a. „Cheap ctl compassion in nusmv“. In: 21st International Conference on Veriﬁcation, Model Checking, and Abstract Interpretation (VMCAI 2020). Vol. 11990. LNCS. Artifact evaluation: Available and Functional. Springer,
pp. 248–269. url: https://doi.org/10.1007/978-3-030-39322-9_12.
Sammler, Michael, Garg, Deepak, Dreyer, Derek, and Litak, Tadeusz. 2020c. „The high-level beneﬁts of low-level sandboxing“. In: 47th ACM SIGPLAN Symposium on Principles of Programming
Languages. Artifact evaluation: Reusable. url: https://doi.org/10.1145/3371100.
Holliday, Wesley Halcrow and Litak, Tadeusz. 2018a. „One modal logic to rule them all?“ In:
Advances in Modal Logic. Ed. by G. Bezhanishvili, G. D’Agostino, G. Metcalfe, and T. Studer. Vol. 12.
Extended technical report available at https://escholarship.org/uc/item/07v9360j. College
Publications, pp. 367–386.
Litak, Tadeusz, Polzer, Miriam, and Rabenstein, Ulrich. 2017a. „Negative translations and normal
modality“. In: 2nd International Conference on Formal Structures for Computation and Deduction(FSCD 2017). Vol. 84. Leibniz International Proc. in Informatics (LIPIcs), 27:1–27:18. url: http://drops.dagstuhl.de/opus/volltexte/2017/7741.
Litak, Tadeusz, Mikulás, Szabolcs, and Hidders, Jan. 2014c. „Relational lattices“. In: Relational andAlgebraic Methods in Computer Science 2014 (RAMiCS). Vol. 8428. LNCS. Superseded by [J8]. url:
http://dx.doi.org/10.1007/978-3-319-06251-8_20.
Litak, Tadeusz, Pattinson, Dirk, and Sano, Katsuhiko. 2013a. „Coalgebraic predicate logic: Equipollence results and proof theory“. In: Logic, Language, and Computation. Revised Selected Papers of
TbiLLC 2011. Vol. 7758. LNCS. Superseded by [J4]. url: http://dx.doi.org/10.1007/978-3642-36976-6_16.
Milius, Stefan and Litak, Tadeusz. 2013b. „Guard your daggers and traces: On the equational propertiesof guarded (co-)recursion“. In: Proc. 9th Workshop on Fixed Points in Computer Science (FiCS).
Vol. 126. EPTCS. Superseded by [J6]. url: http://dx.doi.org/10.4204/EPTCS.126.
Litak, Tadeusz, Pattinson, Dirk, Sano, Katsuhiko, and Schröder, Lutz. 2012. „Coalgebraic predicate
logic“. In: Proc. 39th International Colloquium on Automata, Languages and Programming (ICALP)
2012, Part II. Vol. 7392. LNCS. Superseded by [J4].
Gabbay, Murdoch, Litak, Tadeusz, and Petrisan, Daniela. 2011. „Stone duality for nominal boolean
algebras with ’new’“. In: Algebra and Coalgebra in Computer Science. Vol. 6859. LNCS, pp. 192–207.

8

[C10]

[C11]

[C12]

[C13]
[C14]

Litak, Tadeusz and Helmer, Sven. 2009. „On the termination problem for declarative XML message
processing“. In: Database and Expert Systems Applications. Vol. 5690. LNCS, pp. 83–97. url: http://dx.doi.org/10.1007/978-3-642-03573-9_7.
ten Cate, Balder and Litak, Tadeusz. 2007b. „Topological perspective on the hybrid proof rules“.
In: Proc. International Workshop on Hybrid Logic HyLo 2006. Vol. 174. ENTCS, pp. 79–94. url:
http://dx.doi.org/10.1016/j.entcs.2006.11.027.
Litak, Tadeusz. 2006a. „Algebraization of hybrid logic with binders“. In: Relations and Kleene
Algebra in Computer Science. Vol. 4136. LNCS, pp. 281–295. url: http://dx.doi.org/10.1007/
11828563_19.
Litak, Tadeusz. 2006b. „Isomorphism via translation“. In: Advances in Modal Logic 6, pp. 333–351.
url: http://www.aiml.net/volumes/volume6/Litak.ps.
Litak, Tadeusz. 2005c. „On notions of completeness weaker than Kripke completeness“. In: Advancesin Modal Logic 5 (2004), pp. 149–169. url: http://www.aiml.net/volumes/volume5/Litak.ps.

9.4 Technical Reports
[R1]

[R2]

[R3]

ten Cate, Balder and Litak, Tadeusz. 2007. The importance of being discrete. Tech. rep. PP–2007–
39. Institute for Logic, Language and Computation (ILLC), University of Amsterdam. url: http://www.illc.uva.nl/Research/Reports/PP-2007-39.text.pdf.
Litak, Tadeusz and Kowalski, Tomasz. 2006. Completions of GBL-algebras and acyclic modal algebras: negative results. Tech. rep. Research Institute for Mathematical Sciences (RIMS), Kyoto University, pp. 51–61. url: http://www.kurims.kyoto- u.ac.jp/~kyodo/kokyuroku/contents/
pdf/1525-5.pdf.
Litak, Tadeusz. 2005. Mathematical foundations for self-referential sentences. Tech. rep. IS–RR–
2005–005–001. JAIST. url: https://www8.cs.fau.de/staff/litak/papers/minor.pdf.

10 Other Talks and Tutorials at International Conferences andWorkshops
The list includes only events with some form of quality control (pre-selection of submissions by the committee
or a closed, invitation-only event) which have not been mentioned previously, e.g., in the list of invited talks(§ 6) or in the list of conference/workshop publications in § 9.3 (in the latter case, due to not having refereed
proceedings in book form).
• Workshop on Nonclassical Logics and Judgement Aggregation, November 2019, Prague (Inﬁnite Populations, Choice and Determinacy)• Logic Colloquium, ASL European Summer Meeting, August 2019, Prague (Algebras for Preservativity
in a special session on Reﬂection Principles and Modal Logic)• Invited contribution to a symposium Proof and translation: Glivenko’s theorem 90 years after (organized
by Sara Negri and Peter Schuster) held as a part of XVIth Congress on Logic, Methodology, andPhilosophy of Science and Technology (CLMPST), August 2019, Prague (Modal Negative Translations
as a Case Study in The Big Programme)• Two presentations at Topology, Algebra, and Categories in Logic 2017 (TACL 2017), June 2017, Prague(Algebraic generalizations of completeness and canonicity and The periodic sequence property)9• Algebra and Coalgebra meet Proof Theory (ALCOP VII), April 2016, Vienna (Double negation andmodality)• Peripatetic Seminar on Sheaves and Logic (PSSL 99), March 2016, TU Braunschweig (Guarding Conway
theories and traces, a short presentation on joint results with S. Milius)• Trends in Logic XV: Logics for Social Behaviour, June 2015, TU Delft (Whence Cometh Incompleteness?,a short presentation on joint results with W. H. Holliday). Full version of this talk delivered at at the
Logic Colloquium of the Group in Logic and the Methodology of Science, UC Berkeley in April 2015,see §§ 4, 11• Logics for Social Behaviour, Lorentz Center workshop, Leiden, November 2014, a tutorial on algebraic
logic• Advances in Modal Logic (AiML’14), Groningen, August 2014 (Constructive ﬁxpoints and the Loebaxiom, a short presentation on joint results with A. Visser)• Workshop on Control Operators and their Semantics (COS2013) Eindhoven, June 2013 (The modalized
Heyting calculus: modality-guarded continuations)• Algebra and Coalgebra meet Proof Theory (ALCOP), Utrecht, April 2013 (Tomorrow belongs to deviant
intuitionistic modalities)• Dagstuhl Seminar 12411 Coalgebraic Logics, October 2012 (presentation and moderation of a special
discussion session on Coalgebraic predicate formalisms)• Advances in Modal Logic (AiML’12), Copenhagen, August 2012 (Löb-like modalities in type theory andcategory theory, a short presentation)• Syntax and Semantics of Low-Level Languages (LOLA’12), LiCS aﬃliated workshop, June 2012 (Extending Nakano-style type systems and logics)• Pisa Summer Workshop in Proof Theory, June 2012 (Extended Curry-Howard correspondence forconstructive Löb logics)• TYPES 2011: 8th Workshop “Types for Proofs and Programs”, Bergen, September 2011 (Extended
Curry-Howard Correspondence)• Domains X workshop, Swansea, September 2011 (Constructive Löb logic: natural deduction, ﬁxed
points and proof terms)• ALCOP 2011: The Swiss Mathematical Society Spring Meeting on Algebra & Coalgebra meet Proof
Theory (Coalgebraic Logic: a 40-year-old Invention, joint work with Dirk Pattinson and Katsuhiko
Sano), Bern, April 2011
• 4th International Conference on Topology, Algebra and Categories in Logic (TACL), Amsterdam, July2009 (Relational lattices: an introduction, joint work with S. Mikulás and J. Hidders). Another versionof this talk delivered at ALCOP 2010: The Dutch-British workshop on Algebra & Coalgebra meet Proof
Theory, IC London• MLG (Mathematical Logic Group) meetings in Japan: 36th (Kinosaki, 2002), 37th (Shizuoka, 2003),
38th (Gamagori, 2004), 39th (Gamagori, 2005), 40th (Yufuin, 2006)• Trends in Logic IV, Toruń, September 2006 (Minimal extensions and modal consequence)10

• Algebraic and Topological Methods in Non-Classical Logics II (TANCL II), Barcelona, June 2005 (Onstrong completeness)• UNILOG 2005, Switzerland, Montreux, April 2005 (The Blok incompleteness theorem: how to generalize
it and why)
• International Conference on Algebraic and Topological Methods in Non-classical Logics (TANCL),
Tbilisi, July 2003 (Subdirect irreducibility, complete baos and incompleteness)• XIIth International Congress of Logic, Methodology and Philosophy of Science, Oviedo 2003 (Tense
logics which are maximal consistent, decidable and as incomplete as you may imagine)• Logic Colloquium, ASL European Summer Meeting, Münster 2002 (Modal incompleteness revisited).
Abstract published in Bulletin of Symbolic Logic vol. 9, No. 1, 2003
• 4th International Tbilisi Symposium on Logic, Language and Computation, Borjomi 2001 (A continuumof incomplete intermediate logics)
Also an invited participant of Lorentz Center workshop Uniﬁed Correspondence, February 2016 and Dagstuhl
Seminar 09502 Coalgebraic Logics, December 2009, both without giving a talk.

11 Invited Seminar Speaker
Does not include universities I was aﬃliated with at the time of presentation, longer visits listed above in § 4
and larger events listed above in §§ 6, 9.3,and in 10.
• Utrecht University (TULIPS—The Utrecht Logic in Progress Series, September 2019). Also an online
talk joint with A|C Seminar (ILLC, UvA) and FAU Informatik 8 Oberseminar in May 2020
• University of Freiburg (Oberseminar Mathematische Logik, December 2017)• UC Berkeley (Logic Colloquium of the Group in Logic and the Methodology of Science, April 2015)• TU Delft (Applied Logic Seminar, September 2014)• Chapman University (MathCS Seminar, September 2013)• FAU Erlangen-Nürnberg (Oberseminar Theoretische Informatik, August 2012; later numerous presentations as an employee)• Imperial College (LogIC Seminar, November 2008 and June 2012)• University of Birmingham (Theoretical Computer Science Seminar, May 2010)• University of Sheﬃeld (Seminar of the Veriﬁcation and Testing Group, June 2009)• University of Leicester (Computer Science Internal Seminar, March 2008)• CVS-AIST, Osaka (Computer Language Colloquium, January 2007)• National Institute of Informatics, Tokyo (NII Logic Seminar, December 2006)• University of Amsterdam (Logic Tea, September 2006)11