Conferences attended

Conferences attended

2015

Invited talks at:

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).

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).

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

2014

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 

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 :

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)

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

Moreover, I was an invited speaker at

  • "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
  • Workshop Dag Prawitz on Proofs and Meaning,  Bochum, September the 10th and the 11th, 2012

 

2011

 

2010
In 2010 it was my pleasure to be an invited speaker at the following conferences:

  • 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:

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:

  • 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:

  • 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:

 

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

2007
I took part in:

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:

  • 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: 

2005
I was a keynote lecturer at:

and an invited speaker at:

Moreover, I gave talks at:


2004


2003
I was an invited speaker at the following conferenes:

  • 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.