hol-info  

Messages by Thread

• • Re: [Hol-info] Type Theory vs. Set Theory (HOL, Isabelle/HOL, Q0, and R0 vs. ZFC) – Re: [Metamath] [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument) Ken Kubota
• [Hol-info] POPL 2019 - Call for Workshops and Co-located Events Michael Greenberg
• [Hol-info] POPL 2019 Call for Papers Michael Greenberg
• [Hol-info] On equivalence of two definitions of PERMUTES Chun Tian
  • Re: [Hol-info] On equivalence of two definitions of PERMUTES Michael.Norrish
  • Re: [Hol-info] On equivalence of two definitions of PERMUTES Chun Tian
• [Hol-info] [2nd Call for Papers] Formal Verification of Physical Systems (FVPS 2018) Umair Siddique
• [Hol-info] INVERSE of function? Chun Tian
  • Re: [Hol-info] INVERSE of function? Jeremy Dawson
  • Re: [Hol-info] INVERSE of function? Chun Tian (binghe)
• [Hol-info] First Call for Papers: FSEN 2019 Maurice ter Beek
• [Hol-info] CASC-J9 - the ATP System Competition geoff
• [Hol-info] LOPSTR 2018: Second Round Call for Papers Fred Mesnard
• [Hol-info] Reverse Function on LazyLists Waqar Ahmad via hol-info
  • Re: [Hol-info] Reverse Function on LazyLists Michael.Norrish
  • Re: [Hol-info] Reverse Function on LazyLists Waqar Ahmad via hol-info
• [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Chun Tian (binghe)
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Chun Tian
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Michael.Norrish
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Chun Tian
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Michael.Norrish
• [Hol-info] FLoC 2018: Programme now live and accommodation booking fast Andrzej Murawski
• [Hol-info] Memorial scientific session for Mike Gordon at FLoC. Thomas Melham
  • Re: [Hol-info] Memorial scientific session for Mike Gordon at FLoC. Thomas Melham
  • [Hol-info] Memorial scientific session for Mike Gordon at FLoC. Thomas Melham
• [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Chun Tian
  • Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Michael.Norrish
  • Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Chun Tian
  • Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Thomas Tuerk
  • Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Chun Tian
• [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
  • Re: [Hol-info] Generated machine code of Poly/ML Makarius
  • [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
  • [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
  • Re: [Hol-info] Generated machine code of Poly/ML Ramana Kumar
  • Re: [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
  • Re: [Hol-info] Generated machine code of Poly/ML Chun Tian
  • Re: [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
  • Re: [Hol-info] Generated machine code of Poly/ML Chun Tian
• [Hol-info] [Call for Papers] Formal Verification of Physical Systems (FVPS 2018) Umair Siddique
• [Hol-info] WADT 2018 & Leverhulme School - New extension to abstract submission deadline! WADT 2018
• [Hol-info] Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018) Achim D. Brucker
• [Hol-info] Failure "new_definition: Type variables not reflected in constant". Ayesha Gauhar via hol-info
  • Re: [Hol-info] Failure "new_definition: Type variables not reflected in constant". Umair Siddique
• [Hol-info] Final CfP CME-EI at CICM Walther Neuper
• [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
  • Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
  • Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
  • Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
  • Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
  • Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
  • Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
  • Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
  • Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
  • Re: [Hol-info] Extension of Co-algebraic Datatype Chun Tian (binghe)
• [Hol-info] CfP: Formal Aspects of Component Software (FACS'18) Peter Csaba Ölveczky
• [Hol-info] [Vardi-list] FLoC 2018 - Call for Participation Moshe Vardi
• [Hol-info] Second round call for papers: LOPSTR 2018 Peter James Stuckey
• [Hol-info] FMICS Call for Papers HaoWu
• [Hol-info] CFP: 9th International Summer School on Information Security and Protection Michael.Norrish
• [Hol-info] PhD studentship on the CakeML project (University of Kent) Scott Owens
• [Hol-info] WADT 2018 - Extension to abstract submission deadline! WADT 2018
• [Hol-info] 2nd CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam Summers Alexander John
• [Hol-info] PPDP 2018: Deadline Extension! David Sabel
• [Hol-info] WST 2018 - Last Call for Papers (deadline: April 30, 2018) Salvador Lucas
• [Hol-info] ATVA 2018 Call for Paper Meng Wu
• [Hol-info] modelling sequential devices in higher-order logic Lawrence Paulson
  • Re: [Hol-info] modelling sequential devices in higher-order logic Konrad Slind
  • Re: [Hol-info] modelling sequential devices in higher-order logic Michael.Norrish
  • Re: [Hol-info] modelling sequential devices in higher-order logic Lawrence Paulson
• [Hol-info] CASC-J9 - the ATP System Competition - Call for Systems geoff
• [Hol-info] IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications geoff
• [Hol-info] CfP: 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 Call for Papers - Paper submission deadline: April 30, 2018 Giuseppe Nicosia
  • [Hol-info] CfP: 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 Call for Papers - Paper submission deadline: April 30, 2018 Giuseppe Nicosia
• [Hol-info] FLoC 2018 - Call for Participation Andrzej Murawski
• [Hol-info] 2 MONTHS LEFT: KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini
• [Hol-info] WADT 2018 - 3rd Call for Papers & Leverhulme School WADT 2018
• [Hol-info] KR 2018 Call for Papers ** WORKSHOPS AND TUTORIALS ANNOUNCED ** Marcello Balduccini
• [Hol-info] Fwd: FOCLASA 2018 - last CFP, deadlines extended Jacopo
• [Hol-info] Poly/ML debugging facility does not work in HOL4 Mario Xerxes Castelán Castro
  • Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Chun Tian (binghe)
  • Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Mario Xerxes Castelán Castro
  • Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Michael.Norrish
  • Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Thomas Tuerk
  • Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Chun Tian
  • Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Mario Xerxes Castelán Castro
  • Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Michael.Norrish
  • Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Chun Tian
  • Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Michael.Norrish
  • Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Chun Tian
  • Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Michael.Norrish
• [Hol-info] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers) Serge Autexier
• [Hol-info] Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis German Vidal
• [Hol-info] Extended deadlines, last CFP - FOCLASA 2018 Jacopo Soldani
• [Hol-info] WST 2018 - Call for Papers (extended deadline: April 30, 2018) Salvador Lucas
• [Hol-info] WiL 2018: Call for talks and papers, *deadline extension to 30 April* Amy Felty
• [Hol-info] 2nd CfP: AISC 2018 - 13th Intl. Conference on Artificial Intelligence and Symbolic Computation Petros Papapanagiotou
• [Hol-info] FLoC 2018 Volunteer Programme Announcement Andrzej Murawski
• [Hol-info] FLoC 2018 - Last Joint Call for Workshop Papers Andrzej Murawski
• [Hol-info] QBFEVAL'18 - Deadline extension Luca Pulina
• [Hol-info] ACL2 2018 Call for Papers Matt Kaufmann
• [Hol-info] About the experimental kernel Mario Xerxes Castelán Castro
  • Re: [Hol-info] About the experimental kernel Konrad Slind
  • Re: [Hol-info] About the experimental kernel Mario Xerxes Castelán Castro
  • Re: [Hol-info] About the experimental kernel Michael.Norrish
  • Re: [Hol-info] About the experimental kernel Mario Xerxes Castelán Castro
  • Re: [Hol-info] About the experimental kernel Jeremy Dawson
  • Re: [Hol-info] About the experimental kernel Michael.Norrish
• [Hol-info] CFP ICLP-DC 2018 epontell
• [Hol-info] CfP CME-EI at CICM Walther Neuper
• [Hol-info] iFM 2081 Call For Papers Hao Wu
• [Hol-info] Final Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018) Christoph Lüth
• [Hol-info] CICM 2018, final CfP, Abstract submission deadline April 15, 2018 Serge Autexier
• [Hol-info] WiL 2018: Women in Logic Workshop Final Call for Papers Amy Felty
• [Hol-info] Higher order matching in HOL4 Mario Xerxes Castelán Castro
  • Re: [Hol-info] Higher order matching in HOL4 Thomas Tuerk
  • Re: [Hol-info] Higher order matching in HOL4 Mario Xerxes Castelán Castro
• [Hol-info] [fm-announcements] RV 2018 Call for Papers Havelund, Klaus (348B)
• [Hol-info] "Gordon Computer" Lawrence Paulson
  • Re: [Hol-info] "Gordon Computer" Ramana Kumar
  • Re: [Hol-info] "Gordon Computer" Lawrence Paulson
  • Re: [Hol-info] "Gordon Computer" Michael.Norrish
  • Re: [Hol-info] "Gordon Computer" Thomas Tuerk
  • Re: [Hol-info] "Gordon Computer" Thomas Tuerk
• [Hol-info] WST 2018 - 2nd Call for Papers (submission: April 15, 2018) Salvador Lucas
• [Hol-info] Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018) German Vidal
• [Hol-info] PPDP 2018: Second Call for Papers David Sabel
• [Hol-info] 2nd CfP: ThEdu'18 at IJCAR / FLoC Walther Neuper
• [Hol-info] CICM 2018 - Call for Papers geoff
• [Hol-info] Upcoming Deadline for SAS 2018: April 13th Urban Caterina
• [Hol-info] verifying the Gordon computer Lawrence Paulson
  • Re: [Hol-info] verifying the Gordon computer Konrad Slind
  • Re: [Hol-info] verifying the Gordon computer Michael.Norrish
  • Re: [Hol-info] verifying the Gordon computer Lawrence Paulson
  • Re: [Hol-info] verifying the Gordon computer Chun Tian
  • Re: [Hol-info] verifying the Gordon computer Lawrence Paulson
• [Hol-info] WADT 2018 - 2nd Call for Papers WADT 2018
• [Hol-info] QBFEVAL'18 -- Registration closes in 1 week Luca Pulina
• [Hol-info] Bridging the Gap between Human and Automated Reasoning geoff
• [Hol-info] LOPSTR 2018: Second Final Call for Papers Fred Mesnard
• [Hol-info] PhD Scholarships at the Australian National University Michael.Norrish
• [Hol-info] PhD position Gwen Salaün
• [Hol-info] CALL FOR ABSTRACTS: ICMS Session on Composable Mathematical Software Florian Rabe
• [Hol-info] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018 Marco Roveri
• [Hol-info] Unexpected failure to considerate equality of lambda terms in Metis and MESON Mario Xerxes Castelán Castro
  • Re: [Hol-info] Unexpected failure to considerate equality of lambda terms in Metis and MESON Michael.Norrish
  • Re: [Hol-info] Unexpected failure to considerate equality of lambda terms in Metis and MESON Mario Xerxes Castelán Castro
• [Hol-info] ABZ 2018, registration is open now Salehi Fathabadi A .
• [Hol-info] CfP - RV 2018 - Cyprus - Call for Papers Martin Leucker
• [Hol-info] Call for papers - FOCLASA 2018 Jacopo Soldani
• [Hol-info] Multiple Positions at FAU Erlangen/Nürnberg Michael Kohlhase
• [Hol-info] Postdoctoral research position in cybersecurity at Inria Rennes, Brittany, France Olivier Zendra
• [Hol-info] CfP: 6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE Josef Urban
• [Hol-info] Verification and Deduction Mentoring Workshop 2018 geoff
• [Hol-info] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA Michael Kohlhase
• [Hol-info] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA Michael Kohlhase
• [Hol-info] LOPSTR 2018 Final CFP Fred Mesnard
• [Hol-info] FoPPS Logic and Learning School (Oxford, July 1-6) Andrzej Murawski
• [Hol-info] CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP Serge Autexier
• [Hol-info] Question about Type (:M+N) in HOL Light liliminga
  • Re: [Hol-info] Question about Type (:M+N) in HOL Light Marco Maggesi
• [Hol-info] Federated Logic Conference student travel support Jeremy Avigad
• [Hol-info] Call for Papers F-IDE 2018 Rosemary Monahan
• [Hol-info] Mathematical Logics and Logical Frameworks Ken Kubota
  • Re: [Hol-info] [isabelle] Mathematical Logics and Logical Frameworks R. Pollack
  • [Hol-info] Logical Frameworks and the Foundations of Mathematics - Re: [isabelle] Mathematical Logics and Logical Frameworks Ken Kubota
• [Hol-info] [Vardi-list] FLoC’18 Travel Support Moshe Vardi
• [Hol-info] HOL Help for Axiom. Sana Imtiaz via hol-info
  • Re: [Hol-info] HOL Help for Axiom. Thomas Tuerk
  • Re: [Hol-info] HOL Help for Axiom. Mario Xerxes Castelán Castro
  • Re: [Hol-info] HOL Help for Axiom. Thomas Tuerk
  • Re: [Hol-info] HOL Help for Axiom. Michael.Norrish
  • Re: [Hol-info] HOL Help for Axiom. Mario Xerxes Castelán Castro
• [Hol-info] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis German Vidal
• [Hol-info] SAS 2018: Call for Papers Urban Caterina
• [Hol-info] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Ken Kubota
  • Re: [Hol-info] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Mario Xerxes Castelán Castro
  • Re: [Hol-info] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Mario Xerxes Castelán Castro
  • Re: [Hol-info] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Mario Xerxes Castelán Castro
  • Re: [Hol-info] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Lawrence Paulson
  • [Hol-info] Axiom of Choice – Re: [isabelle] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Ken Kubota
  • Re: [Hol-info] [isabelle] Axiom of Choice – Re: Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Rob Arthan
  • [Hol-info] Binding the type variable in the Axiom of Choice – Re: [isabelle] Axiom of Choice – Re: Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Ken Kubota
• [Hol-info] LFMTP'18: Logical Frameworks and Meta Languages: Theory and Practice - Call for Papers Frédéric Blanqui
• [Hol-info] PAAR 2018 - Call for Papers geoff
• [Hol-info] Reminder: From the Fundamental Lemma to Discrete Geometry, to Formal Verification Jeremy Avigad
• [Hol-info] Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018) Christoph Lüth
• [Hol-info] QBFEVAL'18 - Call for Contributions Luca Pulina
• [Hol-info] VerifyThis 2018: Call for Participation and Travel Grants Andrei Paskevich
• [Hol-info] 25th AUTOMATED REASONING WORKSHOP 2018 geoff
• [Hol-info] Special Issue on Commonsense Reasoning - Call for Papers geoff
• [Hol-info] RuleML+RR 2018 SECOND CALL FOR PAPERS geoff
• [Hol-info] SYNASC 2018 - First Call for Papers SYNASC 2018
  • [Hol-info] SYNASC 2018 - First Call for Papers SYNASC 2018
• [Hol-info] KR 2018 Call for Papers ** INVITED SPEAKERS ANNOUNCED ** Marcello Balduccini
• [Hol-info] iFM 2018 Call for Papers Hao Wu

• Earlier messages
• Later messages