Conferences attended

Conferences attended

 

2011

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

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:

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

 

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 took part in:

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

  • 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 took part in: 

2005
I was a keynote lecturer at:

and an invited speaker at:

Moreover, I gave talks at:


2004

  • Negation in Constructive Logic, July 2004, TU Dresden, see http://www.tu-dresden.de/phfiph/prof/lowiphil/NegCon/NegMain.htm

    The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subject to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming. This development shows that bringing into play various types of negation may produce highly fruitful and promising results in many areas, such as paraconsistent logic, non-monotonic reasoning, the theory of data bases and logic programming.

    The properties of negation - in combination with those of other logical operations and structural features of the deductibility relation - serve as gateways among logical systems. Moreover, a difference between various logical systems can often be reconstructed as a difference of certain features of negation operators used in these systems. E.g., the principle of double negation elimination designates the boundary between classical and intuitionistic logic.

    Many conceptions of negation claim to be of a constructive character. It appears that constructivity of a logical system is closely connected to the type of negation employed in it. This workshop will bring together some of the leading scholars who actively work in the field of negation and/or constructive logic, to give them a possibility to present and to discuss the newest results and research projects concerning these important topics and interrelations between them.

    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

    Arthur Norman Prior (1914-69) was the founding father of the modern logic of time and modality. In the 1950s and 1960s he laid out the foundation of temporal logic and showed that this discipline was intimately connected with modal logic. Since then, temporal and modal logic has grown into a mature discipline with many important applications in philosophy, computer science, and also linguistics.

    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 took part in:

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