Year: 2017

2017 | |

[19] | (Invited Tutorial) Automated Reasoning in Higher-order and Non-classical Logics , Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS), Porto Alegre, Brasil, 2017. (zip-file) |

[18] | (Invited) What has the Mechanisation of Category Theory in Common with Proving God’s Existence? , Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS), 40 Years of Computer Science, 2017. |

[17] | (Invited Keynote) Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning , XX Brazilian Symposium on Formal Methods (SMBF), Recife, Brazil, 2017. (slides) |

[16] | (Invited Keynote) What has the Mechanisation of Category Theory in Common with Proving God’s Existence? , 3. BMG Tag, Berliner Mathematische Gesellschaft e.V., Berlin, 2017. (November) |

[15] | Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic , KI 2017 - 40th German Conference on Artificial Intelligence, 25-29 September 2017 in Dortmund, Germany, 2017. |

[14] | (Invited) Automating Free Logic in HOL, with an Experimental Application in Category Theory , Dagstuhl Seminar 17371: Deduction Beyond First-Order Logic, Dagstuhl, 2017. |

[13] | (Invited Tutorial) Universal Logical Reasoning via Semantical Embeddings in HOL , 2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brasil, 2017. (zip-file) |

[12] | (Invited Keynote) Computational Metaphysics: The Virtues of Formal Proofs Beyond Math , 2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brasil, 2017. |

[11] | Universal Logic Theorem Proving via Semantical Embeddings in HOL , International Workshop on Logic-Based Formalisms for Legal Reasoning (LBFLR 2017), 2017. (May) |

[10] | (Invited Tutorial) Tutorial on Universal Logic Theorem Proving in HOL , ILIAS group, University of Luxembourg, 2017. (May) |

[9] | (Invited) Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths and Computer Science , S-2: The Ubiquity of Computing: historical and philosophical issues---Commission for Computing HaPoC--- 25th International Congress of History of Science and Technology, Rio de Janeiro, Brasil, 2017. (poster) |

[8] | Innovative Teaching of Computational Metaphysics , Session on Innovative & Effective Teaching in History of Science and Technology, 25th International Congress of History of Science and Technology, Rio de Janeiro, Brasil, 2017. (July) |

[7] | (Invited Public Talk) Calculemus!: Analyse von Kurt Gödel's Gottesbeweis mit dem Computer , Urania, Berlin, 2017. (June) |

[6] | Davis-Putnam-Logemann-Loveland Algrithmus , Alpen-Adria Universität Klagenfurt, 2017. (April) |

[5] | (Invited) Calculemus! --- Progress in Universal Logic Reasoning and Computational Metaphysics , Alpen-Adria Universität Klagenfurt, 2017. (April) |

[4] | (Invited) Universal Logic Reasoning via Shallow Semantical Embeddings , Workshop on Rational Enterprise Architecture Logic and Reasoning (REAL), University of Luxembourg, 2017. (April) |

[3] | (Invited) Computational Metaphysics: The Virtues of Formal Proofs Beyond Math , ILIAS Distinguished Lectures, University of Luxembourg, 2017. (March) |

[2] | (Invited) Künstliche Intelligenz --- Bemerkungen zur Historie und zu aktuellen Entwicklungen , Innovationsregion Lausitz GmbH, Cottbus, 2017. (February) |

[1] | (Invited) System Demonstration: Interactive and Automated Reasoning in Isabelle/HOL , Workshop \textitBettermarks und Mathematische Beweise, bettermarks GmbH, Berlin, 2017. (January) |

Powered by bibtexbrowser