TeX Live 2008.
Talk at the CSTUG Meeting 2008, December 2008.
Brno, Czech Republic.
PDF
[2008-12-13 | /Work/Talks] permanent link
Herbrand Disjunctions for the disentangled fragment of Gödel logics.
Talk at the Workshop on Structural Proof Theory, University Paris VII.
November 2008, Paris, France.
[2008-11-20 | /Work/Talks] permanent link
TeX Live 2008 and the TeX Live Manager.
Talk at the GuIT Meeting 2008, October 2008.
Pisa, Italy.
PDF
[2008-10-20 | /Work/Talks] permanent link
Introduction to Gödel Logics
Course at the Fourth Tbilisi
Summer School in Logic and Language, September 2008. Tbilisi, Georgia.
PDF
[2008-09-29 | /Work/Talks] permanent link
Continuous Fraissé Conjecture
Talk at the Dipartimento di Filosofia e Scienze Sociali, Universitŕ di Siena.
May 2008, Siena, Italy.
PDF
[2008-05-28 | /Work/Talks] permanent link
Quantified Propositional Gödel Logics.
Talk at Logical Models of Reasoning and Computation LMRC08,
May 2008, Steklov Institute, Moscow, Russia.
PDF
[2008-05-08 | /Work/Talks] permanent link
The new TeX Live installer.
Talk together with Siep Kroonenberg and Reinhard Kotucha at the BachoTeX 2008, April 2008.
Bachotek, Poland.
PDF
[2008-04-30 | /Work/Talks] permanent link
TeX Live’s new infrastructure.
Talk at the BachoTeX 2008, April 2008.
Bachotek, Poland.
PDF
[2008-04-30 | /Work/Talks] permanent link
Fragments of Gödel Logics
Talk at Two and beyond - Barcelona-Vienna Workshop on Truth-Functional Logics, November 2007.
Barcelona, Spain.
[2007-11-21 | /Work/Talks] permanent link
TeX Live’s new infrastructure.
Talk at the GuIT Meeting 2007, October 2007.
Pisa, Italy.
PDF
[2007-10-20 | /Work/Talks] permanent link
Gödel logics, Kripke frames, and beyond
Invited talk at Analytic: Workshop on Analytic Proof Systems III, October 2007.
LPAR 2007, Erevan, Armenia.
[2007-10-15 | /Work/Talks] permanent link
Completeness of a Hypersequent Calculus for some first-order Gödel Logics with delta
Talk at the Moscow-Vienna Workshop on Logic and Computation 2007, July 2007.
Vienna, Austria.
PDF
[2007-07-02 | /Work/Talks] permanent link
A Guide to Quantified Propositional Gödel Logics.
Talk at Order, Algebra, Logics, June 2007.
Vanderbilt University, Nashville, USA.
[2007-06-14 | /Work/Talks] permanent link
TeX Live on Debian
Talk at the EuroBachoTeX 2007, April 2007.
Bachotek, Poland.
PDF
[2007-04-30 | /Work/Talks] permanent link
Many-valued logics and Gödel logics — a short introduction.
Talk at the lecture series `Aspetti Costruttivi della Logica’ (in Italian), January 2007.
Dipartimento di Filosofia e Scienze Sociali, Universitŕ di Siena, Italy.
[2007-01-30 | /Work/Talks] permanent link
Quantifier Elimination for Quantified Propositional Gödel Logics.
Talk at the 2. International Workshop on Analytic Proof Systems, November 2006.
LPAR 2006, Phnom Penh, Cambodia.
[2006-12-11 | /Work/Talks] permanent link
Gödel logics and Cantor-Bendixon analysis.
Talk at Ordered Structures in Many-Valued Logic, May 2006.
Villa Angelina, Massa Lubrense, Italy.
[2006-06-01 | /Work/Talks] permanent link
Order theory and Gödel logics.
Talk at the Kusatsu Logic Seminar, March 2006.
Kusatsu, Japan.
[2006-03-10 | /Work/Talks] permanent link
Some open questions about different semantics for Gödel logics.
Talk at the Research Seminar at the JAIST, Kanazawa, Japan,
March 2006.
[2006-03-05 | /Work/Talks] permanent link
Fragments of Gödel logics.
Talk at the Research Seminar at the JAIST, Kanazawa, Japan,
March 2006.
[2006-03-03 | /Work/Talks] permanent link
Many-valued logics - a short introduction and case study.
Talk at the Research Seminar of the Computer Science Department,
Prifysgol Cymru Abertawe (University of Wales Swansea),
December 2005,
Swansea, Wales, UK.
[2005-12-01 | /Work/Talks] permanent link
Many-valued logics - a short introduction and case study.
Talk at the Logic and Probability Seminar in Milano,
November 2005.
Milano, Italy.
PDF
[2005-11-23 | /Work/Talks] permanent link
Counting finished: The number of Gödel Logics.
Talk at the Second Florence-Viena Workshop on Logic and Computation,
November 2005.
Florence, Italy.
PDF
[2005-11-01 | /Work/Talks] permanent link
Fragments of First Order Gödel Logics.
Talk at LOGSOFCOM’05, October 2005.
Ostrava, Czech Republic.
PDF
[2005-10-01 | /Work/Talks] permanent link
Mathematical Methods in First-Order Gödel logics.
Talk at Methods’05: Algebraic and Topological Methods in Non-Classical
Logics II, June 2005.
Barcelona, Spain.
PDF
[2005-06-15 | /Work/Talks] permanent link
Herbrand disjunctions and informal reasoning in projective geometry.
Invited talk at Analytic: Workshop on Analytic Proof Systems, March 2005.
LPAR 2004, Montevideo, Uruguay.
PDF
[2005-03-15 | /Work/Talks] permanent link
Characterization of axiomatizability in Gödel logics.
Talk at the Kusatsu Logic Seminar, March 2005.
Kusatsu, Japan.
PDF
[2005-03-01 | /Work/Talks] permanent link
Continuous Fraďssé conjecture.
Talk at the JAIST Seminar, February 2005.
JAIST, Ishikawa, Japan.
PDF
[2005-03-01 | /Work/Talks] permanent link
Gödel logics and Kripke frames.
Talk at the AILA Meeting, February 2005.
Pisa, Italy.
[2005-02-01 | /Work/Talks] permanent link
Mehrwertige Logiken.
Talk at the Seminar “Wissenswertes in der Mathematik”, December 2004.
Vienna University of Technology, Austria.
PDF
[2004-12-22 | /Work/Talks] permanent link
Semantics of Gödel Logics.
Talk at the ESF Workshop: Challenge of Semantics, July 2004.
Vienna, Austria.
PDF
[2004-07-01 | /Work/Talks] permanent link
What logicians do with sketches in Projective Geometry, and Gödel logics.
Talk at the Logic Seminar, TU Darmstadt, July 2004.
Darmstadt, Germany.
PDF
[2004-07-01 | /Work/Talks] permanent link
Countable orderings and continuous embeddability.
Talk at the Third Moscow-Vienna Logic Meeting, May 2004.
Steklov Institute, Moscow, Russia.
[2004-05-01 | /Work/Talks] permanent link
An overview on countable Gödel logics.
Talk at the First Florence-Vienna Workshop on Logic and Computation,
January 2004.
University of Florence, Italy.
PDF
[2004-01-01 | /Work/Talks] permanent link
Overview of Gödel logics.
Talk at the ITC-IRST, November 2003.
Trento, Italy.
PDF
[2003-11-01 | /Work/Talks] permanent link
Characterization of Gödel logics with countable truth value sets.
Talk at LOGSOFCOM’03, November 2003.
Siena, Italy.
PDF
[2003-11-01 | /Work/Talks] permanent link
Gödel logics and Cantor-Bendixon analysis.
Talk at the LPAR’2002, October 2002.
Tbilisi, Georgia.
[2002-10-01 | /Work/Talks] permanent link
Complete axiomatizations of Gödel logics.
Talk at LOGSOFCOM’02, October 2002.
Anacapri, Italy.
[2002-10-01 | /Work/Talks] permanent link
Proof theory and proof systems for projective and affine geometry.
Talk at the TABLEAUX’2002. August 2002.
Kopenhagen, Denmark.
[2002-08-01 | /Work/Talks] permanent link
Characterization of decidability of Gödel logics.
Talk at the Second Moscow-Vienna Logic Meeting, April 2002.
Steklov Institute, Moscow, Russia.
PDF
[2002-04-01 | /Work/Talks] permanent link
What to do with Herbrand disjunctions in geometry.
Talk at LOGSOFCOM’01, November 2001.
Gargnano, Italy.
[2001-11-01 | /Work/Talks] permanent link
A guide to quantified propositional Gödel logic.
Talk at the IJCAR workshop QBF 2001, June 2001.
Siena, Italy.
[2001-06-01 | /Work/Talks] permanent link
Sketches in affine geometry.
Talk at the CALCULEMUS’01, IJCAR’2001, June 2001.
Siena, Italy.
[2001-06-01 | /Work/Talks] permanent link
Herbrand disjunctions and sketches.
Talk at the First Moskow-Vienna Logic Meeting, December 2000.
Steklov Institute, Moskow, Russia.
[2000-12-01 | /Work/Talks] permanent link
Using tibetan language with TeX/Ω.
Invited talk at the 4th International Symposium on Multilingual
Information Processing, March 2000.
Tsukuba, Japan.
[2000-03-01 | /Work/Talks] permanent link
An application of cut elimination in projective geometry.
Talk at the RISC, March 1999.
Hagenberg, Austria.
[1999-03-01 | /Work/Talks] permanent link
How fast are sketches as proofs.
Talk at the LC’98, August 1998.
[1998-08-01 | /Work/Talks] permanent link
Sketch-as-proof.
Talk at the KGC’97, 1997.
Vienna, Austria.
[1997-08-01 | /Work/Talks] permanent link