Kosta Dosen
Mathematical Institute, SANU
Knez Mihailova 36, P.O. Box 367
11001 Belgrade, Serbia

tel. (381 11) 2630 170
fax (381 11) 2186 105

email: kosta AT mi DOT sanu DOT ac DOT rs

Publications     Obituary (by Prof. Peter Schroeder-Heister)

1954 - 2017

Education: University of Belgrade, University of Oxford (St John's College)

Doctoral thesis: Logical Constants: An Essay in Proof Theory, Oxford, 1980 (supervisor: Michael Dummett)

Tenured posts: 

• Mathematical Institute, Belgrade (since 1981, full professor since 1995) 
• Institut de Recherche en Informatique de Toulouse, Department of Mathematics and Computer Science, University of Toulouse III (professor 1994-1998)
• Faculty of Philosophy, University of Belgrade (full professor since 2003)

Visiting posts: 

• Faculty of Mathematics, University of Belgrade (1985/86, 1990-92, 2001)
• University of Notre Dame, Indiana (1986/87)
• Institute of Mathematics, University of Montenegro (1988/89)
• Department of Mathematics and Computer Science, University of Montpellier III (1992-94)
• Wilhelm Schickard Institute, University of Tuebingen (1997)

Courses given:

• elementary: mathematical logic (Belgrade, Montpellier, Toulouse), discrete mathematics (Toulouse)
• intermediate: mathematical logic (Montenegro), formal grammars and automata (Belgrade)
• advanced: formal arithmetic (Belgrade), intuitionistic logic (Belgrade, Notre Dame), modal logic (Belgrade), proof theory (Belgrade), categorial proof theory (Belgrade, Montpellier, Tuebingen), lambda calculus (Toulouse), type theory and categorial logic (Belgrade), philosophy of mathematics (Belgrade)

Thesis advisor to:

• Branislav Boricic (Professor, University of Belgrade),
  Ph.D.: "Some problems in the theory of intermediate logics (in Serbian)", University of Belgrade, 1984 [parts of this thesis published in articles by B. Boricic in J. Symbolic Logic, Z. math. Logik Grundlag. Math., J. Philos. Logic, Studia Logica]
• Silvia Ghilezan (Professor, University of Novi Sad),
  M.Sc.: "The lambda calculus and weak propositional logics (in Serbian)", University of Belgrade, 1988
  Ph.D.: "Types with intersection in the lambda calculus and in logic (in English and Serbian)", University of Novi Sad, 1993 [parts of this thesis published in articles by S. Ghilezan in J. Logic Comput., Notre Dame J. Formal Logic]
• Zoran Petric (Professor, Mathematical Institute, Belgrade, and University of Belgrade),
  M.Sc.: "Isomorphic propositional formulae in categorial proof theory (in Serbian)", University of Belgrade, 1993
  Ph.D.: "Equality of deductions in categorial proof theory (in Serbian)", University of Belgrade, 1997 [parts of this thesis published in articles by Z. Petric in Studia Logica, Annals Pure Appl. Logic]
• Mirjana Borisavljevic (Professor, University of Belgrade),
  M.Sc.: "Internal languages of linear multicategories (in Serbian)", University of Belgrade, 1994
  Ph.D.: "Sequents, natural deduction and multicategories (in Serbian)", University of Belgrade, 1997 [parts of this thesis published in an article by M. Borisavljevic in Annals Pure Appl. Logic]
• Milos Adzic (Assistant Professor, University of Belgrade),
  Ph.D.: "Godel on the axiomatization of set theory (in Serbian)", University of Belgrade, 2014

Guest speaker: University of Zagreb (1984), University of Konstanz (1984, 1990), University of Notre Dame (1987), Purdue University (1987), University of Maine (1988), University of Montenegro (1989, 2016), University of Amsterdam (1991), University of Toulouse III (1992), University of Tuebingen (1992, 1997, 2015, 2016), Universities of Montpellier II and III (1992, 1993, 1994, 1995, 1996), University of Barcelona (1993), University of Provence, Aix-en-Provence (1993, 1994, 1995), University of Utrecht (1995), University Claude Bernard, Lyon (1996), University of Athens (2001), Ecole Polytechnique, Paris (2008), Montenegrin Academy of Sciences and Arts, Podgorica (2016), University of Nis (2016)

Fellowship: Alexander von Humboldt Foundation (1989/90)

Member of editorial boards: Notre Dame Journal of Formal Logic (since 1991), Studia Logica (1993-1997)

Member of programme committees: Third Logical Biennial, Kleene '90, Chaika 1990; Conference on Logics with Restricted Structural Rules, Tuebingen 1990; The Third Barcelona Logic Meeting, Barcelona 1997; Fifth Panhellenic Logic Symposium, Athens 2005; The Relevance of Logic, Belgrade 2005; Sixth Panhellenic Logic Symposium, Volos 2007; Fourteenth Congress of Logic, Methodology and Philosophy of Science, Nancy 2011; Twenty Third World Congress of Philosophy, Athens 2013; Logica 2013, Hejnice 2013; Symposium on Proof Theory, Belgrade 2015

Other professional activities: chairman of the Logic Seminar, Mathematical Institute, Belgrade (1985-1989, 2001-2011), chairman of the Seminar for General Proof Theory, Mathematical Institute, Belgrade (since 2011), president of the Society for Pure and Applied Logic, Belgrade (2015-2016)