hol-info

Messages by Date

2018/06/26 Re: [Hol-info] Formalizing logical puzzles Jeremy Dawson
2018/06/26 Re: [Hol-info] Formalizing logical puzzles Dylan Melville
2018/06/26 [Hol-info] Formalizing logical puzzles Dylan Melville
2018/06/23 [Hol-info] FLoC 2018 - Last Joint Call for Workshop Participation Andrzej Murawski
2018/06/22 [Hol-info] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial Serge Autexier
2018/06/20 [Hol-info] FLoC 2018 - Last Call for Participation Andrzej Murawski
2018/06/19 [Hol-info] Kananaskis-12 release of HOL4 Michael.Norrish
2018/06/14 [Hol-info] CFP: One Month Until Left For Submitting to The Workshop in OCL and Textual Modeling (OCL 2018) Achim D. Brucker
2018/06/11 [Hol-info] [DEADLINE EXTENSION] Formal Verification of Physical Systems (FVPS 2018) Umair Siddique
2018/06/11 [Hol-info] WST 2018 - Call for Participation (July 18-19, 2018) Salvador Lucas
2018/06/11 [Hol-info] LPAR-22 in Ethiopia - Call for Papers and Workshops geoff
2018/06/11 [Hol-info] LOPSTR 2018: Second Round Final Call for Papers Fred Mesnard
2018/06/11 [Hol-info] ACL2 2018: Second Call for Papers Matt Kaufmann
2018/06/11 [Hol-info] 23rd International Conference on Engineering Complex Systems - Call for Papers geoff
2018/06/11 [Hol-info] Final CfP: FACS'18 (15th Int'l Conference on Formal Aspects of Component Software) Peter Csaba Ölveczky
2018/06/11 [Hol-info] VTSA 2018: call for applications Stephan Merz
2018/06/06 [Hol-info] The two characteristics of an antinomy: self-reference and negation Ken Kubota
2018/06/06 Re: [Hol-info] big records Michael.Norrish
2018/06/06 [Hol-info] big records Ramana Kumar
2018/06/05 Re: [Hol-info] Loops in HOL4 尚亚龙
2018/06/05 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
2018/06/05 Re: [Hol-info] Loops in HOL4 Chun Tian
2018/06/04 Re: [Hol-info] Loops in HOL4 尚亚龙
2018/06/04 Re: [Hol-info] Loops in HOL4 Thomas Tuerk
2018/06/04 Re: [Hol-info] Loops in HOL4 尚亚龙
2018/06/04 Re: [Hol-info] Loops in HOL4 Waqar Ahmad via hol-info
2018/06/04 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) Mario Xerxes Castelán Castro
2018/06/04 [Hol-info] Loops in HOL4 尚亚龙
2018/06/02 [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
2018/05/31 [Hol-info] POPL 2019 - Call for Workshops and Co-located Events Michael Greenberg
2018/05/29 [Hol-info] POPL 2019 Call for Papers Michael Greenberg
2018/05/28 Re: [Hol-info] On equivalence of two definitions of PERMUTES Chun Tian
2018/05/28 Re: [Hol-info] On equivalence of two definitions of PERMUTES Michael.Norrish
2018/05/28 [Hol-info] On equivalence of two definitions of PERMUTES Chun Tian
2018/05/27 Re: [Hol-info] INVERSE of function? Chun Tian (binghe)
2018/05/27 Re: [Hol-info] INVERSE of function? Jeremy Dawson
2018/05/27 [Hol-info] [2nd Call for Papers] Formal Verification of Physical Systems (FVPS 2018) Umair Siddique
2018/05/27 [Hol-info] INVERSE of function? Chun Tian
2018/05/25 [Hol-info] Memorial scientific session for Mike Gordon at FLoC. Thomas Melham
2018/05/24 [Hol-info] First Call for Papers: FSEN 2019 Maurice ter Beek
2018/05/24 [Hol-info] CASC-J9 - the ATP System Competition geoff
2018/05/24 [Hol-info] LOPSTR 2018: Second Round Call for Papers Fred Mesnard
2018/05/24 Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Michael.Norrish
2018/05/24 Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
2018/05/24 Re: [Hol-info] Reverse Function on LazyLists Waqar Ahmad via hol-info
2018/05/23 Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Chun Tian
2018/05/23 Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
2018/05/22 Re: [Hol-info] Reverse Function on LazyLists Michael.Norrish
2018/05/22 [Hol-info] Reverse Function on LazyLists Waqar Ahmad via hol-info
2018/05/22 Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Michael.Norrish
2018/05/22 Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Chun Tian
2018/05/22 Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
2018/05/22 Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Chun Tian (binghe)
2018/05/22 [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
2018/05/22 [Hol-info] FLoC 2018: Programme now live and accommodation booking fast Andrzej Murawski
2018/05/21 Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Chun Tian
2018/05/21 Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Thomas Tuerk
2018/05/21 Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Chun Tian
2018/05/20 Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Michael.Norrish
2018/05/19 Re: [Hol-info] Generated machine code of Poly/ML Chun Tian
2018/05/19 Re: [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
2018/05/19 [Hol-info] Memorial scientific session for Mike Gordon at FLoC. Thomas Melham
2018/05/19 Re: [Hol-info] Memorial scientific session for Mike Gordon at FLoC. Thomas Melham
2018/05/18 Re: [Hol-info] Generated machine code of Poly/ML Chun Tian
2018/05/18 [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Chun Tian
2018/05/18 Re: [Hol-info] Generated machine code of Poly/ML Makarius
2018/05/17 Re: [Hol-info] Generated machine code of Poly/ML Ramana Kumar
2018/05/17 Re: [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
2018/05/17 [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
2018/05/17 [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
2018/05/17 [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
2018/05/15 Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
2018/05/15 Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
2018/05/15 [Hol-info] [Call for Papers] Formal Verification of Physical Systems (FVPS 2018) Umair Siddique
2018/05/14 Re: [Hol-info] Failure "new_definition: Type variables not reflected in constant". Umair Siddique
2018/05/13 [Hol-info] WADT 2018 & Leverhulme School - New extension to abstract submission deadline! WADT 2018
2018/05/13 Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
2018/05/11 Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
2018/05/10 [Hol-info] Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018) Achim D. Brucker
2018/05/10 [Hol-info] Failure "new_definition: Type variables not reflected in constant". Ayesha Gauhar via hol-info
2018/05/08 [Hol-info] Final CfP CME-EI at CICM Walther Neuper
2018/05/07 Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
2018/05/06 Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
2018/05/06 Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
2018/05/05 [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
2018/05/05 [Hol-info] CfP: Formal Aspects of Component Software (FACS'18) Peter Csaba Ölveczky
2018/05/05 [Hol-info] [Vardi-list] FLoC 2018 - Call for Participation Moshe Vardi
2018/05/05 [Hol-info] Second round call for papers: LOPSTR 2018 Peter James Stuckey
2018/05/05 [Hol-info] FMICS Call for Papers HaoWu
2018/05/03 [Hol-info] CFP: 9th International Summer School on Information Security and Protection Michael.Norrish
2018/05/03 [Hol-info] Logical Frameworks and the Foundations of Mathematics - Re: [isabelle] Mathematical Logics and Logical Frameworks Ken Kubota
2018/04/30 [Hol-info] PhD studentship on the CakeML project (University of Kent) Scott Owens
2018/04/30 [Hol-info] WADT 2018 - Extension to abstract submission deadline! WADT 2018
2018/04/30 [Hol-info] 2nd CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam Summers Alexander John
2018/04/30 [Hol-info] PPDP 2018: Deadline Extension! David Sabel
2018/04/30 [Hol-info] WST 2018 - Last Call for Papers (deadline: April 30, 2018) Salvador Lucas
2018/04/29 Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Michael.Norrish
2018/04/29 Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Chun Tian
2018/04/29 Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Michael.Norrish
2018/04/28 Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Chun Tian
2018/04/25 Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Michael.Norrish
2018/04/24 Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Mario Xerxes Castelán Castro
2018/04/24 Re: [Hol-info] modelling sequential devices in higher-order logic Lawrence Paulson
2018/04/24 Re: [Hol-info] modelling sequential devices in higher-order logic Michael.Norrish
2018/04/23 Re: [Hol-info] modelling sequential devices in higher-order logic Konrad Slind
2018/04/23 [Hol-info] ATVA 2018 Call for Paper Meng Wu
2018/04/23 [Hol-info] modelling sequential devices in higher-order logic Lawrence Paulson
2018/04/23 [Hol-info] CASC-J9 - the ATP System Competition - Call for Systems geoff
2018/04/23 [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
2018/04/23 [Hol-info] IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications geoff
2018/04/23 [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
2018/04/23 [Hol-info] FLoC 2018 - Call for Participation Andrzej Murawski
2018/04/23 [Hol-info] 2 MONTHS LEFT: KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini
2018/04/23 [Hol-info] WADT 2018 - 3rd Call for Papers & Leverhulme School WADT 2018
2018/04/23 [Hol-info] KR 2018 Call for Papers ** WORKSHOPS AND TUTORIALS ANNOUNCED ** Marcello Balduccini
2018/04/23 [Hol-info] Fwd: FOCLASA 2018 - last CFP, deadlines extended Jacopo
2018/04/20 Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Chun Tian
2018/04/19 Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Thomas Tuerk
2018/04/19 Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Michael.Norrish
2018/04/19 Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Mario Xerxes Castelán Castro
2018/04/19 Re: [Hol-info] Poly/ML debugging facility does not work in HOL4 Chun Tian (binghe)
2018/04/19 [Hol-info] Poly/ML debugging facility does not work in HOL4 Mario Xerxes Castelán Castro
2018/04/17 [Hol-info] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers) Serge Autexier
2018/04/17 [Hol-info] Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis German Vidal
2018/04/17 [Hol-info] iFM 2018 Call For Papers Hao Wu
2018/04/17 [Hol-info] Extended deadlines, last CFP - FOCLASA 2018 Jacopo Soldani
2018/04/17 [Hol-info] WST 2018 - Call for Papers (extended deadline: April 30, 2018) Salvador Lucas
2018/04/16 [Hol-info] WiL 2018: Call for talks and papers, *deadline extension to 30 April* Amy Felty
2018/04/16 [Hol-info] 2nd CfP: AISC 2018 - 13th Intl. Conference on Artificial Intelligence and Symbolic Computation Petros Papapanagiotou
2018/04/13 [Hol-info] FLoC 2018 Volunteer Programme Announcement Andrzej Murawski
2018/04/13 [Hol-info] FLoC 2018 - Last Joint Call for Workshop Papers Andrzej Murawski
2018/04/13 [Hol-info] QBFEVAL'18 - Deadline extension Luca Pulina
2018/04/13 [Hol-info] ACL2 2018 Call for Papers Matt Kaufmann
2018/04/11 Re: [Hol-info] About the experimental kernel Mario Xerxes Castelán Castro
2018/04/11 Re: [Hol-info] About the experimental kernel Michael.Norrish
2018/04/11 Re: [Hol-info] About the experimental kernel Jeremy Dawson
2018/04/11 Re: [Hol-info] About the experimental kernel Michael.Norrish
2018/04/11 Re: [Hol-info] About the experimental kernel Mario Xerxes Castelán Castro
2018/04/11 Re: [Hol-info] About the experimental kernel Konrad Slind
2018/04/11 [Hol-info] About the experimental kernel Mario Xerxes Castelán Castro
2018/04/10 [Hol-info] CFP ICLP-DC 2018 epontell
2018/04/10 [Hol-info] CfP CME-EI at CICM Walther Neuper
2018/04/09 [Hol-info] iFM 2081 Call For Papers Hao Wu
2018/04/09 [Hol-info] Final Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018) Christoph Lüth
2018/04/09 [Hol-info] CICM 2018, final CfP, Abstract submission deadline April 15, 2018 Serge Autexier
2018/04/08 Re: [Hol-info] Higher order matching in HOL4 Mario Xerxes Castelán Castro
2018/04/07 Re: [Hol-info] "Gordon Computer" Thomas Tuerk
2018/04/07 Re: [Hol-info] "Gordon Computer" Thomas Tuerk
2018/04/07 Re: [Hol-info] Higher order matching in HOL4 Thomas Tuerk
2018/04/06 Re: [Hol-info] "Gordon Computer" Michael.Norrish
2018/04/06 [Hol-info] WiL 2018: Women in Logic Workshop Final Call for Papers Amy Felty
2018/04/06 [Hol-info] Higher order matching in HOL4 Mario Xerxes Castelán Castro
2018/04/06 Re: [Hol-info] "Gordon Computer" Lawrence Paulson
2018/04/05 [Hol-info] [fm-announcements] RV 2018 Call for Papers Havelund, Klaus (348B)
2018/04/05 Re: [Hol-info] "Gordon Computer" Ramana Kumar
2018/04/05 [Hol-info] "Gordon Computer" Lawrence Paulson
2018/04/05 Re: [Hol-info] verifying the Gordon computer Lawrence Paulson
2018/04/05 [Hol-info] WST 2018 - 2nd Call for Papers (submission: April 15, 2018) Salvador Lucas
2018/04/05 [Hol-info] Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018) German Vidal
2018/04/05 [Hol-info] PPDP 2018: Second Call for Papers David Sabel
2018/04/04 Re: [Hol-info] verifying the Gordon computer Chun Tian
2018/04/04 [Hol-info] 2nd CfP: ThEdu'18 at IJCAR / FLoC Walther Neuper
2018/04/03 Re: [Hol-info] verifying the Gordon computer Lawrence Paulson
2018/04/02 [Hol-info] CICM 2018 - Call for Papers geoff
2018/04/02 [Hol-info] Upcoming Deadline for SAS 2018: April 13th Urban Caterina
2018/04/02 Re: [Hol-info] verifying the Gordon computer Michael.Norrish
2018/04/01 Re: [Hol-info] verifying the Gordon computer Konrad Slind
2018/04/01 [Hol-info] verifying the Gordon computer Lawrence Paulson
2018/03/30 [Hol-info] WADT 2018 - 2nd Call for Papers WADT 2018
2018/03/30 [Hol-info] QBFEVAL'18 -- Registration closes in 1 week Luca Pulina
2018/03/30 [Hol-info] Bridging the Gap between Human and Automated Reasoning geoff
2018/03/30 [Hol-info] LOPSTR 2018: Second Final Call for Papers Fred Mesnard
2018/03/28 [Hol-info] PhD Scholarships at the Australian National University Michael.Norrish
2018/03/28 Re: [Hol-info] Unexpected failure to considerate equality of lambda terms in Metis and MESON Mario Xerxes Castelán Castro
2018/03/28 [Hol-info] PhD position Gwen Salaün
2018/03/28 [Hol-info] CALL FOR ABSTRACTS: ICMS Session on Composable Mathematical Software Florian Rabe
2018/03/28 Re: [Hol-info] Unexpected failure to considerate equality of lambda terms in Metis and MESON Michael.Norrish
2018/03/26 [Hol-info] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018 Marco Roveri
2018/03/26 [Hol-info] Unexpected failure to considerate equality of lambda terms in Metis and MESON Mario Xerxes Castelán Castro
2018/03/26 [Hol-info] ABZ 2018, registration is open now Salehi Fathabadi A .
2018/03/25 [Hol-info] CfP - RV 2018 - Cyprus - Call for Papers Martin Leucker
2018/03/24 [Hol-info] Call for papers - FOCLASA 2018 Jacopo Soldani
2018/03/24 [Hol-info] Multiple Positions at FAU Erlangen/Nürnberg Michael Kohlhase
2018/03/24 [Hol-info] Postdoctoral research position in cybersecurity at Inria Rennes, Brittany, France Olivier Zendra
2018/03/21 [Hol-info] CfP: 6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE Josef Urban
2018/03/20 [Hol-info] Verification and Deduction Mentoring Workshop 2018 geoff
2018/03/20 [Hol-info] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA Michael Kohlhase
2018/03/20 [Hol-info] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA Michael Kohlhase
2018/03/19 [Hol-info] LOPSTR 2018 Final CFP Fred Mesnard
2018/03/17 [Hol-info] Data61 seeking proof engineers Michael.Norrish
2018/03/17 [Hol-info] FoPPS Logic and Learning School (Oxford, July 1-6) Andrzej Murawski
2018/03/16 Re: [Hol-info] Question about Type (:M+N) in HOL Light Marco Maggesi
2018/03/16 [Hol-info] CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP Serge Autexier
2018/03/15 [Hol-info] Question about Type (:M+N) in HOL Light liliminga
2018/03/15 [Hol-info] SAT/SMT/AR Summer School 2018 Giles Reger
2018/03/15 [Hol-info] Federated Logic Conference student travel support Jeremy Avigad
2018/03/14 [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
2018/03/13 Re: [Hol-info] HOL Help for Axiom. Mario Xerxes Castelán Castro
2018/03/13 [Hol-info] Call for Papers F-IDE 2018 Rosemary Monahan
2018/03/12 Re: [Hol-info] [isabelle] Axiom of Choice – Re: Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Rob Arthan