Conferences attended
2015
Invited talks at:
- Proof theory of modal and non-classical logics, CLMPS, Helsink, August 7, 2015, see https://clmps2015.sched.org/event/31St/proof-theory-of-modal-and-non-classical-logics-i
The invited speakers: Arnon Avron (Tel-Aviv University), Rosalie Iemhoff (Utrecht University), Heinrich Wansing (RUB), Francesco Genco (Vienna University of Technology), Alessandra Palmigiano (Delft University of Technology), Paolo Maffezioli (University of Bologna), Eugenio Orlandelli (University of Bologna), Sara Negri (University of Helsinki), Nicola Olivetti (Aix-Marseille University), Hidenori Kurokawa (University of Helsinki).
- 7th Conference Non-Classical Logic. Theory and Applications, September 24–26, 2015; Toruń, Poland, see http://www.logika.umk.pl/lnk15/lnk15_en.html
The invited speakers: Srećko Kovač (Public Research Institute of the Republic of Croatia, Zagreb), Kordula Świętorzecka (Cardinal Stefan Wyszyński University, Warsaw), Max Urchs (EBS Wiesbaden), Heinrich Wansing (Ruhr-Universität Bochum).
- General Proof Theory Celebrating 50 Years of Dag Prawitz's "Natural Deduction", 27–29 November 2015 in Tübingen, Germany, see http://ls.informatik.uni-tuebingen.de/GPT/organisation.html
The invited speaker were: Kosta Došen (University of Belgrade and SANU): Adjunction and Normalization in Categories of Logic, Per Martin-Löf (Stockholm University): The two interpretations of natural deduction: how do they fit together?, Luiz Carlos Pereira (PUC Rio de Janeiro): The Russell-Prawitz translation and schematic rules: a view from proof-theory, Dag Prawitz (Stockholm University): Gentzen's justification of inferences, Helmut Schwichtenberg (Universität München): Decorating natural deduction, Heinrich Wansing (Ruhr-Universität Bochum): A more general general proof theory
I was an invited speaker at:
- The 6th International Conference Teaching Logic and Prospects of its Development at the Taras Shevchenko National University of Kyiv, May 15-17, 2014, see http://logic2014.univ.kiev.ua/
The invited speakers: Revantha Ramnayake (Vienna University of Technology, Austria), Hans Rott (Regensburg University, Germany), Allard Tamminga (University of Groningen, The Netherlands), Heinrich Wansing (Ruhr University Bochum, Germany).
- Paraconsistent Reasoning in Science and Mathematics, LMU, Munich, June 11-13, 2014, see http://www.paraconsistency2014.philosophie.uni-muenchen.de/index.html
The invited speakers: Graham Priest (City University of New York, USA and University of St Andrews, UK), Diderik Batens (Ghent University, Belgium), Otavio Bueno (University of Miami, USA), Itala M. Loffredo D'Ottaviano (University of Campinas, Brazil), Heinrich Wansing (Ruhr University Bochum, Germany), Joke Meheus (Ghent University, Belgium), Francesco Berto (University of Amsterdam, The Netherlands), Andreas Kapsner (Ludwig-Maximilians-Universität Munich, Germany), Maarten McKubre-Jordens (University of Canterbury, Christchurch, New Zealand), Bryson Brown (University of Lethbridge, Canada).
- The 13th Trends in Logic international conference, University of Łódź, July 2-5, 2014, see http://filozof.uni.lodz.pl/trends/
The invited speakers: Janusz Czelakowski (University of Opole, Poland), Jan van Plato (University of Helsinki, Finland), Peter-Schroeder-Heister (University of Tübingen, Germany), Max Urchs (EBS Universität für Wirtschaft und Recht, Wiesbaden, Germany), Heinrich Wansing (Ruhr University Bochum, Germany), Jan Wolenski (Jagiellonian University, Cracow, Poland)
Moreover, I gave a talk at
- Doxastic Agency & Epistemic Responsibility, Ruhr University Bochum, 2-3 June 2014, see http://www.ruhr-uni-bochum.de/philosophy/logic/doxastic_agency/home-DAER.html
The invited speakers: Amy Flowerree (Northwestern University, Evanston), Sanford Goldberg (Northwestern University, Evanston), Christopher Hookway (University of Sheffield), Miriam McCormick (University of Richmond), Anne Meylan (University of Geneva), Nikolaj Nottelmann (University of Southern Denmark, Odense), Rick Peels (VU University Amsterdam), Hans Rott (Universität Regensburg), Matthias Steup (Purdue University, West Lafayette), Verena Wagner (Universität Konstanz), Jan Willem Wieland (VU University Amsterdam)
2013
I was an invited speaker at the :
- 14th Szklarska Poreba Workshop, where I receive the Lotze Prize, see http://www.hlotze.com/#The_Medallist
- 2nd Conference on Proof-Theoretic Semantics, Tübingen, March 8-10, 2013, see http://ls.informatik.uni-tuebingen.de/PTS/
The invited speakers: Sergei Artemov (City University of New York), Kosta Došen (Mathematical Institute, SANU, Belgrade), Roy Dyckhoff (University of St Andrews), Lars Hallnäs (University of Borås), Wilfrid Hodges (Dartmoor), Reinhard Kahle (Universidade Nova de Lisboa), Dag Prawitz (Stockholm University), Giovanni Sambin (Università di Padova), Göran Sundholm (Universiteit Leiden), William W. Tait (University of Chicago), Gabriele Usberti (Università degli Studi di Siena), Jan von Plato (University of Helsinki), Heinrich Wansing (Ruhr University Bochum)
- Workshop Meaning: Models and Proofs, Munich, October the 11th and the 12th, 2013 , see http://www.mcmp.philosophie.uni-muenchen.de/events/workshops/arche/index.html
- Mal'tsev Meeting, Novosibirsk, November 11-15, 2013, http://www.math.nsc.ru/conference/malmeet/13/
Moreover, I was a keynote speaker at the
- 4th World Congress and School on Universal Logic (UNILOG), Rio de Janeiro, April 4-7, 2013, see http://www.uni-log.org/start4.html. and gave a tutorial on Truth Values at the same conference together with Prof. Yaroslav Shramko (Kryvyi Rih).
2012
I was an invited lecturer and presented two talks on generalized thruth values at the conference
- PhDs in Logic, University of Ghent, April 12 and 13, 2012, see http://www.phdsinlogic2012.ugent.be/node/4
Moreover, I was an invited speaker at
- GAP.8, Workshop "Belief Revision, Conditionals and Possible Worlds Semantics" at the University of Konstanz, see https://www.phil-fak.uni-duesseldorf.de/belief-revision and
- "Avron Fest" in Tel Aviv, Logic: Between Semantics and Proof Theory, see http://www.cs.tau.ac.il/events/AvronFest/
The invited speakers: Matthias Baaz (Vienna University of Technology), Diderik Batens (University of Gent), Libor Behounek (Academy of Sciences of the Czech Republic) Jean-Yves Béziau (Federal University of Rio de Janeiro), Maria Paolo Bonacina (Università degli Studi di Verona), WalterCarnielli (State University of Campinas), Agata Ciabattoni (Vienna University of Technology), Petr Cintula (Academy of Sciences of the Czech Republic), Nachum Dershowitz (Tel Aviv University, Israel), Gilles Dowek (INRIA, France), Michael Dunn (Indiana University Bloomington), Christian Fermüller (Vienna University of Technology), NissimFrancez (Technion, Israel), Dov Gabbay (Bar Ilan University, King's College, London, University of Luxembourg), Furio Honsell (University of Udine), Beata Konikowska (Polish Academy of Sciences), Ori Lahav (Tel Aviv University), Johan A. Makowsky (Technion, Israel), Joke Meheus (University of Gent), George Metcalfe (University of Bern), Switzerland), Sara Negri (University of Helsinki, Finland), Nicola Olivetti (Paul Cézanne University, France), Itala M.L. D'Ottaviano (State University of Campinas), Anatol Slissenko (University Paris-East-Créteil, France), Heinrich Wansing (Ruhr University Bochum)
Also, I presented talks at:
- First Bochum-Cagliari Workshop on Non-classical Logicirst Bochum-Cagliari Workshop on Non-classical Logic, Bochum, April the 19th and 20th, 2013
- The Studia Logica international conference Trends in Logic XI. Advances in Philosophical Logic, see http://www.ruhr-uni-bochum.de/philosophy/trendsxi/
- Workshop Dag Prawitz on Proofs and Meaning, Bochum, September the 10th and the 11th, 2012
2011
- Semantics and Philosophy in Europe 4 (SPE4), Bochum, September 26-October 1, 2012, see http://www.ruhr-uni-bochum.de/phil-lang/spe4/
2010
In 2010 it was my pleasure to be an invited speaker at the following conferences:
- Anti-realistic Notions of Truth, Certosa di Pontignano, September 10-12, 2010; see https://sites.google.com/site/antirealisttruth/.
- Advances in Modal Logic (AiML) 2010, 24-27 August 2010; Moscow; see http://aiml10.mi.ras.ru/
- Applications of Logic in Philosophy and Foundations of Mathematics, Szklarska Poreba, May 4 to May 7, 2010; see http://www.math.us.edu.pl/polacik/karpacz/#englishversion
- World Congress and School on Universal Logic III, Estoril (Portugal), see http://www.uni-log.org/start3.html
School: April 18-21 2010, Tutorial on Truth Values (with F. Schang)
Congress: April 22-25 2010, Special session on Negation (with S. Odintsov)
2009
I was very grateful to be an invited speaker at the conference:
- Logics of Consequence: A Celebration of Nuel Belnap's Work in Philosophical Logic, April 3-4, 2009, University of Pittburgh, see http://www.pitt.edu/~philosop/BelnapCelebration/
Invited speakers:
J. Michael Dunn, Dorothy Grover, Phil Kremer, Thomas Müller, Alasdair Urquhart, Heinrich Wansing
Session chairs:
Aldo Antonelli, Mitchell S. Green, Jeff Horty, Michael Kremer, Mark Lance, Tomasz Placek
Opening remarks:
Michael McRobbie, Robert Brandom
Invited discussants:
Lennart Åqvist, Mark Brown, Brian F. Chellas, Kit Fine, Jay L. Garfield, Lou Goble, Glen Helman, Gerald J. Massey, José Martínez-Fernández, Storrs McCall, Richmond Thomason, Matthew Weiner
Moreover, I was an invited speaker at the following conferences:
- Sixth International Conference "Smirnov's Readings", Moscow State University, June 17 until June 20, 2009, see http://vfc.org.ru/eng/events/conferences/smirnov2009
- Workshop "The Logic of Denial" in the Foundations of Logical Consequence project at the Universit of St Andrews, 24-25 October 2009, see http://www.st-andrews.ac.uk/~arche/events/event?id=212
Invited speakers:
Colin Caret (St Andrews), Michael De (St Andrews), Greg Restall (Melbourne), Dave Ripley (Paris), Ian Rumfitt (Birkbeck, London), Peter Schroeder-Heister (Tübingen), Luca Tranchini (Tübingen), Heinrich Wansing (Dresden).
In addition, I took part in:
- LOGICA 2009, Hejnice Monastery, June 22 - 26, 2009,see http://logika.flu.cas.cz/redaction.php?action=showRedaction&id_categoryNode=1297
- GAP.7, Refelctions and Projections - Challaneges to Philosophy, Bremen, September 14-17, 2009, see http://www.gap7.de/
2008
I was an invited keynote speaker at:
- CLE 30 YEARS - XV EBL - XIV SLALM, Paraty, Brazil, 11-17 May 2008, see http://www.cle.unicamp.br/cle30-ebl-slalm/index.php?pag=abertura.php
Keynote speakers:
Raymond Smullyan, Jaakko Hintikka, Diderik Batens, David Miller, Aldo V. Figallo, Newton C. A. da Costa, John Corcoran, Heinrich Wansing, Oswaldo Chateaubriand, Johan van Benthem, Patrick Blackburn, Arnon Avron, Jean-Yves Béziau, Xavier Caicedo, Claudio Pizzi, Roberto L. Cignoli, José M. Turull-Torres, Edgar G. K. Lopez-Escobar, Atocha Aliseda, Graham Priest, Raymundo Morado, Francisco Miraglia, Paulo Veloso, Marta Sagastume, Charles Steinhorn, Jose Iovino, Otávio Bueno, Joan Bagaria, Jairo José da Silva
In addition, I was an invited speaker at:
- LOGICA 2008, Hejnice Monastery, June 16 - 20, 2008, see http://logika.flu.cas.cz/redaction.php?action=showRedaction&id_categoryNode=1297
The invited speakers of LOGICA 2008 were:
Robert Brandom, Dag Prawitz, Stewart Shapiro, Heinrich Wansing
Moreover, I gave a talk at:
- Lebenswelt und Wissenschaft. XXI. Deutscher Kongress für Philosophie, Essen, September 15-19, 2008, see http://www.dgphil2008.de/
and was a lecturer at the
- ICCL Summer School 2008 in Computational Logic and Cognitive Science, TU Dresden, August 24-September 6, 2008, see http://www.computational-logic.org/content/events/iccl-ss-2008/index.php?id=24
2007
I took part in:
- LOGICA 2007, Hejnice Monastery, June 18 - 22, 2007, see http://logika.flu.cas.cz/redaction.php?action=showRedaction&id_categoryNode=852
- ASL Logic Colloquium 2007, Wroclaw, July 14 - 19, 2007, http://www.math.uni.wroc.pl/~pkowa/lc2007.html
I was an invited speaker at:
- 2nd World Congress and School on Universal Logic, Xi'an, China, August 16 - 22, 2007, see http://http://www.uni-log.org
Invited speakers:
Jean-Yves Béziau, Walter Carnielli, Petr Cintula, Razvan Diaconescu, Valentin Goranko, Petr Hajek, Wilfrid Hodges, Huacan He, Zuoquan Lin, Istvan Nemeti, Francesco Paoli, Zhongzhi Shi, Stan Surma, Heinrich Wansing, Jan Wolenski, Zongkuan Zhao
- Understanding Cognitive Abilities - Logical and Representational Aspects, Bonn, August 30 - 31, 2007, see http://www.wuk.uni-bonn.de/Englisch/aktuell_eindex.htm
Invited speakers:
Colin Allen, Mark Brown, Adrian Cussins, Hans-Johann Glock, Jon Opie, Heinrich Wansing, Rudolf Wille
2006
In 2006 I was an invited speaker at the following conferences:
- Realisms, Logic and Metaphysics, Nancy, 28 June - 1 July 2006, see http://www.univ-nancy2.fr/poincare/colloques/AR06/eindex.htm
- Towards Mathematical Philosophy, Studia Logica International Conference Trends in Logic IV, Torun, 1 - 4 September, 2006, see http://www.logika.uni.torun.pl/TrendsIV.html
Invited speakers:
Arnon Avron, Janusz Czelakowski, Branden Fitelson, Melvin Fitting, Robert Goldblatt, Wiebe van der Hoek, Hannes Leitgeb, David Makinson, Daniele Mundici, Roman Murawski, Hans Rott, Peter Schroeder-Heister, Gerhard Schurz, Heinrich Wansing
In addition, I presented papers at:
- GAP 6 "Grundlagen und Anwendungen / foundations and applications", Freie Universität Berlin, 11-14 September 2006, see http://www.gap-im-netz.de/organisation/konferenzen.html
- Advances in Modal Logic 2006, Noosa (Queensland, Australia), 25-28 September 2006, see http://www.itee.uq.edu.au/~aiml06/
2005
I was a keynote lecturer at:
- The 49th Annual Meeting of the Australian Mathematical Society, University of Western Australia, Perth, 27th-30th September 2005, see http://www.maths.uwa.edu.au/~austms05/
and an invited speaker at:
- Logik und Wissen, Darmstadt, 24th-26th June, 2005, see http://fzbw.de/law05
Moreover, I gave talks at:
- 1st World Congress on Universal Logic, Montreux, Switzerland, March 31- April 3, 2005, see http://www.uni-log.org/one2.html
- 5th European Congress for Analytic Philosophy, ECAP 5, University of Lisbon, 27-31 August 2005, see http://www.centrofilosofia.org/ecap5/cfp.html
- The annual conference of the Australasian Association for Logic, University of Western Australia, Perth, 24th-25th September 2005, see http://www.philosophy.uwa.edu.au/aal_conference_2005
- Workshop on Paraconsistent Logic, Berlin, Humboldt University, December 5, 2005, see http://www2.hu-berlin.de/philo/logik/Texte/wsParakon.pdf
2004
- Negation in Constructive Logic, July 2004, TU Dresden, see http://www.tu-dresden.de/phfiph/prof/lowiphil/NegCon/NegMain.htm
Speakers at the workshop were:
Arnon Avron, J. Michael Dunn, Rajeev Goré, Norihiro Kamide, Joao Marcos, Sergei Odintsov, Ewa Orlowska, David Pearce, Yaroslav Shramko, Neil Tennant, Dimiter Vakarelov, Gerd Wagner, Heinrich Wansing, Frank Wolter
- AiML 2004, 9 - 11 September 2004, University of Manchester, UK, see http://ww.cs.man.ac.uk/aiml04/
2003
I was an invited speaker at the following conferenes:
- 12th International Congress of Logic, Methodology, and Philosophy of Science, Oviedo (Spain), August 7-13, 2003, see http://www.uniovi.es/Congresos/2003/DLMPS/
- The Logic of Time and Modality, Roskilde University, October 31 - November 1, 2003, see http://www.philog.ruc.dk/phiconf3.html
Invited Speakers:
Patrick Blackburn, Jack Copeland, Kit Fine, Antony Galton, Peter Simons, Heinrich Wansing, Alberto Zanardo
- 50 Years of Studia Logica, Conference II, Roskilde University, November 20-22, 2003, see http://www.philog.ruc.dk/50yrs/conference2.html
Invited speakers:
Johan van Benthem, Wojciech Buszkowski, Melvin Fitting, Josep M. Font, Robert Goldblatt, V. Hendricks, Daniele Mundici, Hiroakira Ono, Heinrich Wansing
Moreover, I gave a talk at:
- FOL75, First-Order Logic 75, Berlin, September 18-21, 2003, see http://akira.ruc.dk/~vincent/fol75/fol75welcome.html
In 1928 Hilbert and Ackermann published their famous Grundzüge der Theoretischen Logik. In the impressively short book they were able to cover the propositional calculus, the calculus of classes, the higher order calculus of relations and most importantly present an axiomatic system of the first order logic, which altogether may be viewed as the very starting point of modern mathematical logic. Today, 75 years later, FOL is a powerful tool and an indispensable companion in a variety of fields ranging from philosophy over mathematics to computer science, linguistics and psychology.