TALKS AT CONFERENCES
if a link does not work using the left button of your mouse, use the right button

*************************************************************
2017

*************************************************************
Mathematics, Logic and Language in Schopenhauer
December 7-8, 2017, Hagen, Germany
The Logic of Schopenhauer

*************************************************************
3rd ISRALOG: Research Workshop of the Israel Science Foundation
October 15-17, 2017, Haifa, Israel
Subtractive Paraconsistent Logic

*************************************************************
2nd World Congress on Logic and Religion
June 18-22, 2017, Warsaw, Poland
Is there any logic in the best of all possible worlds?

*************************************************************
HOMO LOGICUS II L'ENFANCE DE LA LOGIQUE, LOGIQUES « NATIVES »
June 15-16, 2017, Paris, France
Jean Piaget, le développement de l'intelligence et de la logique

*************************************************************
Logic In Question 7
June 13-14, 2017, Paris, France
MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics

*************************************************************
XVIII Brazilian Logic Conference
May 8-12, 2017, Pirenópolis, Brazil
Logical structures from a model-theoretical point viewpoint

*************************************************************
FORMAL METHODS AND SCIENCE IN PHILOSOPHY II
May 4-6, 2017, Dubrovnik, Croatia
Cats that are not cats

*************************************************************
Consequence and Paradox Between Truth and Proof
March 2-3, 2017, Tübingen, Germany
Beyond Truth and Proof

*************************************************************
2016

*************************************************************
42nd Association for Moral Education Annual Conference
December 8-11, 2016, Harvard, Cambridge, MA, USA
The Challenge of Political Correctness

************************************************************

Workshop on modal logic
Novembre 17, 2016, Santiago, Chile
Possibility, Contingency and the Hexagon of Modalities

************************************************************

5th World Congress on the Square of Opposition
Novembre 11-15, 2016, Easter Island, Chile
Applications of the Square of Opposition

*************************************************************

First International Conference on Intelligence Science - ICIS2016
October 30, Novembre 2, 2016, Chengdu, China
Logic and Intelligence

*************************************************************
17th Congress of the ANPOF
Associação Nacional de Pós-Graduação em Filosofia
October 17-21, 2016, Aracaju, Brazil
What is a propositional variable?

*************************************************************
Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE
September 12-15, 2016, Campinas, Brazil
Paraconsistent Logic and Contradiction

*************************************************************
8th INTERNATIONAL CONFERENCE- NON-CLASSICAL LOGICS THEORY AND APPLICATIONS
September 5-7, 2016, Lodz, Poland
Paraconsistent Logic - From A to Z

*************************************************************
ISSC 2016 - INTERNATIONAL CONFERENCE- THE LOGICS OF IMAGE: VISUALIZATION, ICONICITY, IMAGINATION AND HUMAN CREATIVITY
July 25-30, 2016, Santorini, Greece
Possibility, Imagination and Conceptualization

*************************************************************
IJCAR 2016 - 8TH JOINT INTERNATIONAL CONFERENCE ON AUTOMATED REASONING - COMPOSITIONAL MEANING IN LOGIC [GeTFun 4.0]
July 1-2, 2016, Coimbra, Portugal
The structure of modal completeness

*************************************************************
SUMMER SCHOOL IN COGNITIVE SCIENCES
June 20 - July 1st, 2016, Montreal, Canada Portugal
Can logic make us more rational?

*************************************************************
THE 12TH INTERNATIONAL CONFERENCE “LOGIC TODAY: DEVELOPMENTS AND PERSPECTIVES”
June 22-24, 2016, St. Petersburg, Russia
Is the principle of contradiction a consequence of xx = x ?

*************************************************************
Logic in Question VI
June 13-14, Sorbonne, Paris, France
L'analyse conceptuelle prototypique

*************************************************************
The 29th International FLAIRS Conference
May 16-18, 2016, Key Largo, Florida, USA
Application of Paraconsistent Logic to Technology (Poster)

*************************************************************
2015

*************************************************************
The 1st World Congress on Analogy
November 4-6, 2015, Puebla, Mexico
The Logical Hexagon of Analogy: Structuring the Relations between Difference, Identity and Similarity

*************************************************************
Logicity - Philosophy of Logic Workshop
September 8-9, 2015, Mexico City, Mexico
Logic is not logic

*************************************************************
IX Principia International Symposium
Possible worlds and their applications in philosophy and the sciences

August 17-20, 2015, Florianópolis, Brazil
What is a possible world?
Award Ceremony First Newton da Costa prize of Logic

*************************************************************

Logic Colloquium 2015
August, 3-8, 2015, Helsinki, Finland
Round squares are no contradiction

*************************************************************
Workshop History and Philosophy of Logic Notations
August, 1-2, 2015, Tallinn, Estonia
Semiotics of Modern Logic

*************************************************************
5th Wolrd Congress and School on Universal Logic
June 20-30, 2015, Istanbul, Turkey
Opening and Closing Sessions

*************************************************************
10th Panhellenic Logic Symposium
June 11-15, 2015, Karlovasi, Samos, Greece
Introduction to Universal Logic

*************************************************************
Logic in Question V
June 8-9, 2015, Paris, France
Un cercle carré n'est pas une contradiction

************************************************************
44th Annual Meeting of the Society for Exact Philosophy - SEP
May 22-24, 2015, Hamilton, Canada
Paraconsistent Logic and Contradictory Viewpoints

*************************************************************
1st Wolrd Congress on Logic and Religion
April 1-5, 2015, João Pessoa, Brazil
Is God Paraconsistent?

*************************************************************

3rd Workshop LOGIA – Logic and Artiificial Intelligence
March 27, 2015, Fortaleza, Brazil
The Future of Logic

*************************************************************
2nd International Colloquium on Colours and Numbers
March 23-26, 2015, Fortaleza, Brazil
Interaction between oppositions and colours

*************************************************************
2014

*************************************************************

16th Congress of the ANPOF
Associação Nacional de Pós-Graduação em Filosofia
October 27-31, 2014, Campos do Jordão, Brazil
Names of Logics

*************************************************************

35th Congress of the ASPLF
Association des Sociétés de Philosophie de Langue Française
August 26-30, 2014, Rabat, Morocco
Le Possible et l'Impossible - Au-delà de la Dichotomie

*************************************************************

Logic and Utopia
July, 26, 2014, Andros Island, Greece
Logic, Imagination and Possibility

*************************************************************

GeTFun 2.0. Compositional Meaning in Logic
Part of the Vienna Summer of Logic
July, 22-23, 2014, Vienna, Austria
Non truth-functional bivalent logics extending classical bivalent logics

*************************************************************

III Latin American Analytic Philosophy Conference and III Conference of the Brazilian Society for Analytic Philosophy
May 27-30, 2014, Fortaleza, Brazil
Round Squares are no Contradictions

and
Dices: a Hazardous Symbol for Chance?

*************************************************************

Logic in Question IV
May 13-14, 2014, Paris, France
Le Symbolisme en Logique

************************************************************

4th World Congress on the Square of Opposition
May 5-9, 2014, Vatican
Square of Opposition: Past, Present and Future

*************************************************************

International Congress on History and Philosophy of Mathematics
Tribute to Sir Ashutosh Mookherjee
February 20-22, 2014, Kolkata, Inida
Bourbaki and Modern Mathematics

*************************************************************

How far can we Believe in our World of Everyday Experience
February 18, 2014, Kolkata, India
Identity and Reality

*************************************************************

5th World Congress on Paraconsistent Logic
February 13-17, 2014, Kolkata, India
Paraconsistent Logic and Contradictory Viewpoint

*************************************************************
2013

*************************************************************

Philosophy, Science and Paraconsistency
December 12-13, 2013, Campinas, Brazil
What can and should be a Paraconsistent Negation?

*************************************************************

Philosophy, Science and Paraconsistency
December 12-13, 2013, Campinas, Brazil
Towards an Encyclopaedia of Logic

*************************************************************

27th Congress of the Interamerican Society of Philosophy
October 07-11, 2013, Salvador, Brazil
Defining Human Beings

*************************************************************

23rd World Congress of Philosophy
August 04-10, 2013, Athens, Greece
Possible worlds : a Fashionable Nonsense?

*************************************************************

23rd World Congress of Philosophy
August 04-10, 2013, Athens, Greece
Round table on imagination

*************************************************************

Logic in Question III
May 2-3, 2013, Paris, France
Should we teach logic in highschool?

*************************************************************
4th World Congress and School on Universal Logic
March 29 Abril 7, Rio de Janeiro, Brazil
Why Study Logic?

*************************************************************

The Place of Philosophy of Science at Lisbon University
February 12.15, 2013, Lisbon, Portugal
Philosophy, Logic and Mathematics

 

*************************************************************


2012

*************************************************************

Logic: Between Semantics and Proof Theory
A Workshop in Honor of Prof. Arnon Avron's 60th Birthday

November 01-02, 2012, Tel Aviv, Israel
Linking Proof and Truth through Abstract Logic

*************************************************************

Nikolai Vasiliev's Logical Legacy and Modern Logic
October 24-25, 2012, Moscow, Russia
The Square of Oppostion and Imaginary Logic

*************************************************************

First International Conference on Logic and Relativity
Honoring István Németi's 70th birthday

September 08-12, 2012, Budapest, Hungary
The Relativity and Universality of Logic

*************************************************************

Philosophy and Mathematics of Uncertainity and Vagueness
August 06-15, 2012, Campinas, Brazil
Natural Paraconsistent Negations

*************************************************************

3rd World Congress on the Square of Opposition
June 26-30, 2012, Beirut, Lebanon
Under Sign of the Hexagon

*************************************************************

Logic in Question II
May 2-3, 2011, Paris, France
Logic and Imagination

*************************************************************

2011

*************************************************************

LNAT2 : Logic Diagrams
Their History and Reality in Language and Cognition

December 21-22, 2011, Brussels, Belgium
Going beyond Dichotomy with the Square and the Hexagon of Opposition

*************************************************************

Workshop on logic and truth
November 29-30, 2011, Brasilia, Brazil
Logic is not logic
The Power of the hexagon

*************************************************************

VII Principia International Symposium
August 15-18, 2011, Florianópolis, Brazil
Arbitrary Signs vs. Powerful Symbols

*************************************************************

XVI EBL - Brazilian Logic Conference
May 9-13, 2011, Petrópolis, Brazil
Deconstruction of Negation

*************************************************************

Logic in Question I
May 2-3, 2012, Paris, France
Logic is not logic

*************************************************************

2010

*************************************************************
Jornadas Rolando Chuaqui
November 10-12, 2010, Valparaiso, Chile
Is Logic Universal?

*************************************************************
Journées Alain Badiou
October 12-14, 2010, Paris, France
Badiou et les Modèles

*************************************************************
LRR10 - Logic, Reasoning and Rationality
September 20-22, 2010, Ghent, Belgium
Rules of the Game

*************************************************************
Cutting the "Not": Workshop on Negativity and Reflexivity
September 10-12, 2010, Maastricht, The Netherlands
From Classical Negation to Paranormal Negation

*************************************************************
1st World Conference on Metaphysical Logic
August 16-19, 2010, Sao Paulo, Brazil
Logic, Reasoning, Reality

*************************************************************
2nd World Congress on the Square of Opposition
June 17-20, 2010, Corte, Corsica
The Power of the Hexagon

*************************************************************
3rd World Congress and School on Universal Logic
Abril 18-25, 2010, Lisbon, Portugal
Perspectives on Universal Logic

*************************************************************

2009

*************************************************************

4th World Conference on Metaphysics
November 5-7, 2009, Rome, Italy
Louis Rougier 's conception of logic and metaphysics

*************************************************************

Epistemology of Economical Sciences
October 1-2, 2009, Buenos Aires, Argentina
The Logical Geometry of Economy

*************************************************************

Science, Truth and Consistency
August 23-28, 2009, Campinas Brazil
From Paraconsistency to Universality – a Logical Odissey

*************************************************************

6th Smirnov's Readings
June 17-19, 2009, Moscow, Russia
What is a logic ?

*************************************************************

1st LogComb Workshop
May 20-22, 2009, Fortaleza, Brazil
Universal Logic and Anti-Classical Logic

*************************************************************

Logical Aspects of Negation
April 20-21, 2009, Natal, Brazil
Cats that are not Cats

*************************************************************

International Workshop on Metaphysics with Kit Fine
April 13-14, 2009, Fortaleza, Brazil
Is Reality Contradictory ?

*************************************************************

2008

*************************************************************

Logic Now and Then
November 5-7, 2008, Brussels, Belgium
Some - Geometrical Representations of the Quantifiers

*************************************************************

WCP4 - The Fourth World Congress on Paraconsistency
July 13-18, 2008, Melbourne, Australia
The World of Paraconsistency

*************************************************************

AAP 2008 - Annual Congress of the Australasian Association of Philosophy
July 6-11, 2008, Melbourne, Australia
The Logic of of Imagination

*************************************************************

Workshop with Saul Kripke on Possible Worlds
June 5, 2008, Neuchâtel, Switzerland
What is a possible world?

*************************************************************

ECAP08 - 6th European Conference on Computing and Philosophy
June 16-18, 2008, Montpellier, France
Extensions of the square of opposition and their applications

*************************************************************

International Workshop on Truth Values
May 29 - June 2008, Dresden, Germany
The Structure of Truth-Values

*************************************************************

XV EBL - 15th Brazilan Meeting on Logic
XIV - 14th Latin-American Symposium on Mathematical Logic
May 11-17, 2008, Paraty, Brazil
From Formal Logic to Universal Logic

*************************************************************

2007

*************************************************************

Imagination - Interdisciplinary Congress
December 17-18, 2007, Neuchâtel, Switzerland
Logic and Imagination

*************************************************************

Identity and Structure
December 7-8, 2007, Brussels, Belgium
Identity, Logic and Structure

*************************************************************

Identification Problems in Unusual Contexts
(Non-classical logics and/or set theories)
December 6, 2007, Brussels, Belgium
Identity in Propositional Logic

*************************************************************

2nd World Congress on Universal Logic
August 20-22, 2007, Xi'an, China
Universal Logic and Modern Logic

*************************************************************

13th International Congress of Logic,
Methodology and Philosophy of Science

August 8-15, 2007, Beijing, China
Imagination and Possibility

*************************************************************

15th Annual Meeting of the European
Society for Philosophy and Psychology

July 9-12, 2007, Geneva, Switzerland
Imagination in Perspective

*************************************************************

CombLog'07 - International Workshop on
Combination of Logics

July 4, 2007, Neuchâtel, Switzerland
Combination of Logics and Universal Logic

*************************************************************

1st World Congress on the Square of Opposition
June 1-3, 2007, Montreux, Switzerland
The O-corner, Paraconsistent Logic and the Polyhedron of Opposition

*************************************************************

2nd Congress of the SPS (Society for Philosophy of Science)
March 29-31, 2007, Geneva, Switzerland
Universal Logic and the Unity of Science

*************************************************************

2006

*************************************************************

31st Congress of the French Speaking Associations of Philosophy
August 29 - September 2, Budapest, 2006, Hungary
Mysterious Identity

*************************************************************

International Conference of Mathematicians ICM-2006
August 22-30, 2006, Madrid, Spain
Universal Logic: Towards a general theory of logics

Winner of the Prize in the section Logic and Foundations

*************************************************************

XIII Latin American Symposium on Mathematical Logic
August 7-12, 2006, Oaxaca, Mexico
Absolute maximality

*************************************************************

Annual Meeting of the Swiss Society of Philosophy
What is philosophy?
May, 19-20, 2006, Neuchâtel, Switzerland
Philosophy and Logic

*************************************************************

Applications of Algebra to Logic and Informatics X
March, 6-12, 2006, Zakopane, Poland
Universal Algebra and Universal Logic

*************************************************************

2005

*************************************************************

3rd Indian International Conference on Artificial Intelligence
December, 17-19, 2005, Pune, India
Combining Conjunction with Disjunction

*************************************************************

In between Logic, Informatics and Biology:
Godel, Turing and Von Neumann
December, 9-10, 2005, Nice, France
Brain, Association and Truth

*************************************************************

The Impact of Categories - 60 Years of Category Theory
in Historical and Philosohical Retrospect
October 10-14, 2005, Paris, France
Set Theory and Category Theory: Rivalry or Complementarity?

************************************************************

Paradox: Logical, Cognitive and Communicative Aspects
November, 4-6, 2005, Riga, Latvia
Pardoxes and Transitivity

*************************************************************

Krisis: II Forum of Contemporary Philosophy
August 29 - September 3, 2005, Rio de Janeiro, Brazil
Science in Crisis

*************************************************************

Fourth Principia International Symposium - The Philosophy of Donald Davidson
August 8-11, 2005, Florianopolis, Brazil
The Formal Character of Logic

*************************************************************

Semantics and Meaning - Workshop with Saul Kripke
July 25-28, 2005, Campinas, Brazil
Kripke structures without possible worlds

*************************************************************

Proof in Mathematics: Logic, History and Philosophy
May 24-28, 2005, Lille, France
From Metamathematics to Universal Logic

*************************************************************

Identity: Ontological Perspectives
May 25-27, 2005, Amsterdam, The Netherlands
Identity, between Triviality and Absurdity

*************************************************************

From Philosophy of Logic to Philosophical logic: the Case of Bivalence
April 28-29, 2005, Nancy, France
La bivalence à tort et à raison

*************************************************************

Contemporary Perspectives on Logicism
April 21-23, 2005, Neuchâtel, Switzerland
Morpho-logicism and beyond

*************************************************************

1st World Congress and School on Universal Logic
March 26 - April 3, 2005, Montreux, Switzerland
Turorial: Introduction to Universal Logic
Round table: Present and Future of Universal Logic

**************************************************************

1st Meeting of the Society of Philosophy of Science - SPS
January 21-22, 2005, Paris, France
The Notion of Sublogic

**************************************************************

2004

*************************************************************

Third Philosophy Day - UNESCO
November 18, 2004, Paris, France
Universities and Globalization

**************************************************************

11th Brazilian National Meeting of Philosophy - ANPOF
October 18-22, 2004, Salvador, Brazil
The Game of Truth

**************************************************************

Louis Rougier (1889-1982): Life and Work of a Committed Philosopher
October 6-9, 2004, Geneva, Switzerland
Rougier, critic of Aristotle

**************************************************************

Logic, Ontology, Aesthetics - The Golden Age of Polish Philosophy
September 23-26, 2004, Montreal, Canada
Tarski on Consequence and Consequence

**************************************************************

Workshop on Combination of Logics: Theory and Applications
August 28-30, 2004, Lisbon, Portugal
A Paradox in the Combination of Logics

**************************************************************

Australasian Association for Philosophy’s Annual Conference 2004
July 4-9, 2004, South Molle Isalnd, Australia
Three Definitions of Human Being

**************************************************************

Russian Logical Meeting
June 20-22, 2004, Saint Petersburg, Russia
Politomy

**************************************************************

The 9th Annual Conference
Applications of Logic in Philosophy and the Foundations of Mathematics

April 26-30, 2004, Karpacz, Poland
Does logic need axioms?

**************************************************************

Philosophy between logical unity/plurality
and mathematical unity/plurality
February 20-21, 2004, Nice, France
From universal algebra to universal logic

**************************************************************

XII SLALM – Latin-American Symposium on Mathematical Logic
January 7-16, 2004, San Jose, Costa Rica
De Morgan Logic

**************************************************************

2003

*************************************************************

Sopha Colloquium - Language, Thought and Action
September 26-28, 2003, Montreal, Canada
Possible Worlds: a Fashionable Nonsense?

**************************************************************

CMSRA III - Computational Models for Scientific
Reasoning and Applications

September 14-15, 2003, Buenos Aires, Argentina
Semantic Computation of Truth based on Associations already Learned

**************************************************************

21st World Congress of Philosophy
August 10-17, 2003, Istambul, Turkey

Round table on paraconsistent logic


**************************************************************

12th International Congress of Logic,
Methodology and Philosophy of Science
August 7-13, 2003, Oviedo, Spain
The Stellar Dodecahedron of Oppositions


**************************************************************

III World Congress on Paraconsistency
July 28-31, 2003, Toulouse, France
Classification of Paraconsistent Logics

**************************************************************

LOGICA 2003 International Symposium
June 17-20, 2003, Kravsko , Czech Republic
On the Relations and Confusions between the Principles of Bivalence, Contradiction and Excluded Middle

**************************************************************

4th Smirnov’s Reading
May 28-31, 2003, Moscow, Russia
New Light at the Square of Opposition and its Nameless Corner

**************************************************************

The 31th Annual Meeting of the Society for Exact Philosophy
Language – Truth - Logic
May15-18, 2003, Vancouver, Canada
New Light at the Square of Opposition and its Nameless Corner

**************************************************************

The 8th Annual Conference
Applications of Logic in Philosophy and the Foundations of Mathematics

May 6-10, 2003, Karpacz, Poland
A New Four-Valued Approach to Modal Logic

**************************************************************

FOTFS IV - Foundations of the Formal Sciences IV
The History of the Concept of the Formal Sciences
February 14-17, 2003, Bonn, Germany
The Formal Character of logic

**************************************************************

2002

*************************************************************

Quantification – Annual Meeting of the Swiss Society for Logic and Philosophy of Sciences
October 7-10, 2002, Neuchâtel, Switzerland
Quantification, Constant and Variable

**************************************************************

PILM 2002 - Philosophical Insights into Logic and Mathematics:
The History and Outcome of Alternative Semantics and Syntax

September 30 - October 4, 2002, Nancy, France
Many-valued and Kripke Semantics

**************************************************************

14th European Summer School in Logic, Language and Information – ESSLI
August 5-16, 2002, Trento, Italy
Paraconsistent Logic from a Modal Viewpoint

**************************************************************

8th Wollic (Workshop on Logic, Language, Information and Computation)
July 30 - August 2, 2002, Rio de Janeiro, Brazil
Non Truth-Functional Bivalent Semantics

**************************************************************

3rd South-American Meeting of Philosophy and History of Sciences
May 27-30, 2002, Aguas de Lindoia, Brazil
Theories and Models

**************************************************************

Foundation of Sciences – Meeting dedicated to the 80th Birthday of Patrick Suppes
April 22-23, 2002, Florianopolis, Brazil
Congruence and Identity

**************************************************************

2001

*************************************************************

Australasian Association of Philosophy Conference’2001 (New Zealand Division)
December 3-8, 2001, Auckland, New Zealand
Nominal and Ontological Identity

**************************************************************

Annual Meeting of the Australasian Logic Society’2001
November 28-30, 2001, Wellington, New Zealand
A Four-Valued Modal Logic

**************************************************************

Second Principia International Symposium
August 6-10, 2001, Florianópolis, Brazil
Identity, Cardinality and Entity

**************************************************************

Annual Meeting of the Australasian Association of Philosophy’2001
July 1-6, 2001, Hobart, Australia
Universal Logic: How to gather the multiplicity of logics and compare different logics?

**************************************************************

International Conference on Artificial Intelligence – IC-AI’2001-08-28
June 25-28, 2001, Las Vegas, USA
The Logic of Confusion

**************************************************************

Smirnov’s Readings – 3th International Conference
May 24-27, 2001, Moscow, Russia
What is Classical Propostional Logic?

**************************************************************

Annual Meeting of the Society for Exact Philosophy
May 11-14, 2001, Montreal, Canada
Sentence, Proposition and Identity

**************************************************************

2000

*************************************************************

12th European Summer School in Logic, Language and Information – ESSLI
August 6-18, 2000, Birmingham, England
Introduction to Paraconsistent Logic (Introductory Course)

**************************************************************

Logic Colloquium 2000 – ASL European Summer Meeting
July 23-31, 2000, Paris, France
Universal Logic : Towards a General Theory of Logics

**************************************************************

6th Barcelona Logic Meeting
July 5-8, 2000, Barcelona, Spain
Universal Logic : Towards a General Theory of Logics

**************************************************************

Association for Symbolic Logic – 2000 Annual Meeting
June 3-7, 2000, Champaign, USA
Universal Logic : Towards a General Theory of Logics

**************************************************************

2nd World Congress on Paraconsistency
Juquehy, Brazil, May 8-10, 2000
Are Paraconsistent Negations Negations ?

**************************************************************

1999

*************************************************************

1st Southern African Summer School and Workshop on Logic, Universal Algebra and Theoretical Computer Science
December 1-10, 1999, Johannesburg, South Africa
From Paraconsistent Logic to Universal Logic

**************************************************************

11th International Congress of Logic, Methodology and Philosophy of Science
August 20-26,1999, Cracow, Poland
The Philosophical Import of Polish Logic


**************************************************************

1st Principia International Symposium
August 9-12, 1999 Florianopolis, Brazil
Are there any Logical Principles?

**************************************************************

5th Wollic (Workshop on Logic, Language, Information and Computation)
May, 24-28, 1999, Itatiaia, Brazil
A Sequent Calculus for Lukasiewicz’s Three Valued Logic

**************************************************************

11th Brazilian Meeting of Logic
May, 24-28, 1999, Itatiaia, Brazil
Singular Terms in Mathematical Logic

**************************************************************

1998

*************************************************************

8th National Brazilian Meeting of Philosophy - ANPOF
September 26-29, 1998, Caxambu, Brazil
Round table on Translations between Logics


**************************************************************

20th World Congress of Philosophy
August 10-16, 1998, Boston USA
Do Sentences Have Identity ?

**************************************************************

Stanislaw Jaskowski Memorial Symposium
July 15-18, 1998, Torun, Poland
The Paraconsistent Logic Z

**************************************************************

4th Bariloche Meeting of Philosophy
June 24-27, 1998, San Carlos de Bariloche, Argentina
Philosophy and Logic : Asset and Perspectives

**************************************************************

Pratica’98 (Proof, Type and Categories)
June 18-19, 1998, Rio de Janeiro, Brazil
Logical Rules and Logical Laws

**************************************************************

Visions of Science - Meeting with Sokal and Bricmont
April 27-28, 1998, São Paulo, Brazil
Round table on Logic and Language

**************************************************************

Logic, Proofs and Algorithms
April 15-18, 1998, Campinas, Brazil
Sequents and Bivaluations

**************************************************************

1997

*************************************************************

4th Brazilian Meeting of Analytic Philosophy
October 6-9, 1997, Florianopolis, Brazil
Philosophical Aspects of Non Classical Logic

**************************************************************

20th Brazilian Congress of Applied and Computational Mathematics
September 8-12, 1997, Gramado, Brazil
Neojunction : between Conjunction and Disjunction

**************************************************************

4th Wollic (Workshop on Logic, Language, Information and Computation)
August 20-22, 1997, Fortaleza, Brazil
Classical Negation can be Expressed by One of its Halves

**************************************************************

1st World Congress on Paraconsistency
July 30 - August 2, 1997, Ghent, Belgium
What is Paraconsistent Logic ?

**************************************************************

27th International Symposium on Multiple-Valued Logic
May 28-30, 1997, Antigonish, Canada
What is Many-Valued logic ?

**************************************************************

2nd Annual Conference on Applications of Logic in Philosophy and Foundations ofMathematics
April 24-27, 1997, Karpacz, Poland
Universal Logic in Perspective

**************************************************************

1996

*************************************************************

3rd Bariloche Meeting of Philosophy
August 29-31, 1996, San Carlos de Bariloche, Argentina,
Present Philosophical Tendencies

**************************************************************

3rd Wollic (Workshop on Logic, Language, Information and Computation)
May 8-10, 1996, Salvador, Brazil
Paraconsistent Model Theory

**************************************************************

11th Brazilian Meeting of Logic
May 6-10, 1996, Salvador, Brazil
The Mathematical Structure of Logical Syntax

**************************************************************

Pratica’96 (Proof, Type and Category)
April 24-25, 1996, Rio de Janeiro, Brazil,
Rules, Derived Rules, Permissible Rules and the Various Types of Systems of Deduction

**************************************************************

1995

*************************************************************

9th Brazilian Meeting of Philosophy,
September 3-7, 1995, São Paulo, Brazil
Applications of Paraconsistent Logic to Justice and Law

**************************************************************

1994

*************************************************************

Logica’94- 8th International Symposium
June 6-10, 1994, Liblice, Czech Republic
Universal Logic

**************************************************************

1993

*************************************************************

Logica’93- 7th International Symposium
June 1-4, 1993, Liblice, Czech Republic
Du Pont’s paradox and the Problem of Intensional Logic

**************************************************************

1992

*************************************************************

38th Conference of History of Logic,
November 17-18, 1992, Cracow, Poland
On the Formalization of the Principium Rationis Sufficientis

**************************************************************

9th Latin American Symposium on Mathematical Logic,
August 10-14, 1992, Bahía Blanca, Argentina
Valuation Theory

**************************************************************

1991

*************************************************************

7th Brazilian Congress on History of Sciences
November 26-30, 1991, Agua de Lindoia, Brazil
The Principium Rationis Sufficientis and logic according to Schopenhauer

**************************************************************

1st International Symposium on History of Science and Epistemology
October 8-10, 1991, Piracicaba
The evolution of logic