Norbert Preining

Intermediate Predicate Logics restricted to One Monadic Predicate Symbol. PCV Seminar, Swansea University, November 2013, Swansea, Wales, UK.
Gödel Logics - a short survey. Seminar of the Logic Group, Bath University, November 2013, Bath, UK.
Verification of a simplified cloud-sync protocol and a new reference manual for CafeOBJ. Research Meeting on CafeOBJ and Specification Verification, November 2013, Kaga, Japan.
Verification with CafeOBJ II. Ninth International Tbilisi Summer School in Logic and Language, October 2013, Tbilisi, Georgia.
Verification with CafeOBJ I. Ninth International Tbilisi Summer School in Logic and Language, October 2013, Tbilisi, Georgia.
Separating intermediate predicate logics of some linear orders. Talk at the TbiLLC 2013, Workshop on Algebraic Proof Theory, September 2013. Gudauri, Georgia.
Gödel logics - a short survey. Talk at the Logic@JAIST Workshop, July 2013. Kaga, Japan.
What can one monadic predicate symbol express on linear orders. Talk at the 3rd Workshop on Proof Theory and Rewriting, March 2013. Kanazawa, Japan.
Gödel Logics, Order Theory, (Continuous) Fraïssé Conjecture. Talk at the PCV Seminar, Swansea University, February 2013. Swansea, Wales, UK.
Walking the line - operators on various linear Kripke frame based logics. Talk at the Taiwan Philosophical Logic Colloquium, December 2012. Taipei, Taiwan.
A decidable subclass of monadic Gödel Logics for medical reasoning. Talk at MLG'12, November 2012. Echigo-yuzawa, Japan.
Non-recursive enumerability of logics of some linear Kripke frames over constant and increasing domains. Talk at Workshop on First-Order Intermediate Logics, October 2012. Shiramine, Japan.
Gödel logics, continuous embeddability and continuous Fraïssé conjecture. Talk at the workshop Combinatorics in Learning Theory, September 2012. Fukuoka, Japan.
Axiomatizability for some first-order logics of linear Kripke frames over constant domains. Talk at IIA-CSIC Seminar, March 2012. Bellaterra, Catalonia, Spain.
Quantied propositional Gödel logics logics of countable linearly ordered Kripke (frames with constant domains). Talk at Lambda Calculus Seminar, March 2012. Kusatsu Onsen, Japan.
Axiomatizability for some first-order logics of linear Kripke frames over constant domains. Talk at ncmpl 2011 Non-classical Modal and Predicate Logics, December 2011. Guangzhou, China.
Axiomatizability for some first-order logics of linear Kripke frames over constant domains. Talk at MLG'11, October 2011. Echigo-yuzawa, Japan.
Kripke frames - Part 2, Seventh International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia, 2011-09-23
Kripke frames - Part 1, Seventh International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia, 2011-09-22
The semantic hierarchies of Gödel logics: Algebra verus Kripke frames, ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics, RIMS, Kyoto, Japan, 2011-05-18
Satisfiability in Monadic Gödel Logics, Workshop on Logic and Computation, Kanazawa, Japan, 2011-02-08
Gödel logics, 清华逻辑活动版 Tsinghua Logic Events, Tsinghua University, Beijing, China, 2010-10-29
Introduction to Proof Theory, 清华逻辑活动版 Tsinghua Logic Events, Tsinghua University, Beijing, China, 2010-10-25
Axiomatizability of some first-order logics of linear Kripke frames over constant domains, NCMPL Non-classical Modal and Predicate Logics 2011, Sun Yat-sen University, Guangzhou, China, 2011-12-06
The semantic hierarchies of First order Gödel logics, Algebra versus Kripke frames, UniLog 2010, Universal Logic, Lisbon, Portugal, April 2010
SAT in monadic Gödel Logics, WoLLIC 2009, Tokyo, Japan, June 2009
SAT for Gödel logics, PR 2010 - Proofs and Rewriting, Obergurgl, Austria, March 2010
Herbrand disjunctions for the disentangled fragment of Gödel logics, Workshop on Structural Proof Theory, University Paris VII, Paris, France, November 2008
Quantified propositional Gödel logics, Logical Models of Reasoning and Computation, LMR08, Steklov Institute, Moskow, Russia, May 2008
Completeness of a Hypersequent Calculus for some First-order Gödel logics with Delta, Moscow-Vienna Workshop on Logic and Computation 2007, Vienna, Austria, July 2007
A guide to quantified propositional Gödel logics, Order, Algebra, Logic, Vanderbilt University, Nashville, USA, June 2007
Gödel logics, Kripke frames, and beyond, 3. International Workshop on Analytic Proof Systems, LPAR 2007, Erevan, Armenia, October 2007
Fragments of Gödel Logics, Two and beyond - Barcelona-Vienna Workshop on Truth-Functional logics, Barcelona, Spain, November 2007
Gödel logics and Cantor-Bendixon analysis, Ordered Structures in Many-Valued Logics, Massa Lubrense, Italy, May 2006
Linear Kripke frames and Gödel Logics, AsubL 3 - Algebra and Substructural Logics - take 3, Krakow, Poland, November 2006
Quantifier elimination for quantified propositional Gödel logics, 2. International Workshop on Analytic Proof Systems, LPAR 2006, Phnom Penh, Cambodia, November 2006
Mathematical methods in first-order Gödel logics, Methods'05: Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain, June 2005
Fragments of First Order Gödel Logics, Logics of Soft Computing 2005, Ostrava, Czech Republic, October 2005
Counting finished: the number of Gödel Logics, Second Florence-Vienna Workshop on Logic and Computation, Florence, Italy, November 2005
Order theory and Gödel logics, Kusatsu Logic Seminar, Kusatsu Onsen, Japan, March 2006
Herbrand disjunctions and informal reasoning in projective geometry, Workshop on Analytic Proof Systems, LPAR 2004, Montevideo, Uruguay, March 2005
Characterization of axiomatizability in Gödel logics, Kusatsu Logic Seminar, Kusatsu Onsen, Japan, March 2005
Countable orderings and continuous embeddability, Third Moskow-Vienna Logic Meeting, Steklov Institute, Moskow, Russia, May 2004
Semantics for Gödel Logics, ESF Workshop: Challenge of Semantics, Vienna, Austria, July 2004
Characterization of Gödel logics with countable truth value sets, Logic of Soft Computing 2003, Siena, Italy, November 2003
An overview on countable Gödel logics, First Florence-Vienna Workshop on Logic and Computation, Florence, Italy, January 2004
Proof theory and proof systems for projective and affine geometry, TABLEAUX 2002, Kopenhagen, Danmark, August 2002
Characterization of decidability of Gödel logics, Second Moscow-Vienna Logic Meeting, Steklov Institute, Moskow, Russia, April 2002
Gödel logics and Cantor-Bendixon analysis, LPAR 2002, Tbilisi, Georgia, October 2002
Complete axiomatizations of Gödel logics, Logic of Soft Computing 2002, Anacapri, Italy, October 2002
Sketches in affine geometry, Calculemus 2001, IJCAR 2001, Siena, Italy, June 2001
A guide to quantified propositional Gödel logic, IJCAR Workshop QBF 2001, Siena, Italy, June 2001
What to do with Herbrand disjunctions in geometry, Logic of Soft Computing 2001, Gargnano, Italy, November 2001
Herbrand disjunctions and sketches, First Moskow-Vienna Logic Meeting, Steklov Institute, Moskow, Russia, December 2000
How fast are sketches as proofs, Logic Colloquium 1998, Vienna, Austria, August 1998
Sketch-as-proof, Kurt Gödel Colloquium 1997, Vienna, Austria, August 1997