hol-info

Messages by Date

2017/08/22 Re: [Hol-info] Sad news regarding Mike Gordon Mario Castelán Castro
2017/08/22 [Hol-info] Fwd: [mike-gordon-update] sad news Konrad Slind
2017/08/22 Re: [Hol-info] Sad news regarding Mike Gordon Chun Tian (binghe)
2017/08/22 [Hol-info] Sad news regarding Mike Gordon Kalvala, Sara
2017/08/22 [Hol-info] GCAI in Miami - Call for Posters geoff
2017/08/21 Re: [Hol-info] Indentation of proof script in Emacs Mario Castelán Castro
2017/08/20 Re: [Hol-info] Indentation of proof script in Emacs Michael.Norrish
2017/08/20 Re: [Hol-info] Indentation of proof script in Emacs Mario Castelán Castro
2017/08/20 Re: [Hol-info] Indentation of proof script in Emacs Chun Tian (binghe)
2017/08/20 [Hol-info] 3rd CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages manna
2017/08/19 [Hol-info] Indentation of proof script in Emacs Mario Castelán Castro
2017/08/15 [Hol-info] FMCAD 2017: CALL FOR PARTICIPATION no-reply
2017/08/13 [Hol-info] KR18 - Preliminary Call for Tutorial and Workshop Proposals Marcello Balduccini
2017/08/13 [Hol-info] CfP: Relational and Algebraic Methods in Computer Science - Special Issue in JLAMP Peter.Hoefner
2017/08/11 [Hol-info] SOAP@SAC 2017, April 9-13, Pau, France - second call for papers sac . soap2018
2017/08/09 [Hol-info] TPTP v7.0.0 and CASC-26 geoff
2017/08/09 [Hol-info] [fm-announcements] RV 2017 - 2nd Call for Participation Havelund, Klaus (348B)
2017/08/07 Re: [Hol-info] How to reduce these lambda equations to F? Chun Tian (binghe)
2017/08/06 Re: [Hol-info] How to reduce these lambda equations to F? Michael.Norrish
2017/08/06 [Hol-info] PADL 2018 - 1 month to abstract deadline manna
2017/08/06 [Hol-info] FOCLASA 2017 - Call for Participation foclasa2017
2017/08/04 Re: [Hol-info] How to reduce these lambda equations to F? Chun Tian (binghe)
2017/08/04 [Hol-info] CPP 2018 2nd call for papers Amy Felty
2017/08/04 Re: [Hol-info] How to reduce these lambda equations to F? Thomas Tuerk
2017/08/04 [Hol-info] How to reduce these lambda equations to F? Chun Tian (binghe)
2017/08/01 [Hol-info] SLSP 2017: call for posters GRLMC
2017/07/29 [Hol-info] TABLEAUX 2017, FroCoS 2017, ITP 2017 - Call for Participation geoff
2017/07/24 Re: [Hol-info] On the use of new_axiom() in formal projects Andrei Popescu
2017/07/24 [Hol-info] Coquand on HOL; similarity to Q – Re: On the use of new_axiom() in formal projects Ken Kubota
2017/07/24 Re: [Hol-info] On the use of new_axiom() in formal projects Andrei Popescu
2017/07/24 Re: [Hol-info] On the use of new_axiom() in formal projects Andrei Popescu
2017/07/24 Re: [Hol-info] [ExternalEmail] Re: On the use of new_axiom() in formal projects Ramana Kumar
2017/07/24 Re: [Hol-info] [ExternalEmail] Re: On the use of new_axiom() in formal projects Chun Tian (binghe)
2017/07/23 Re: [Hol-info] [ExternalEmail] Re: On the use of new_axiom() in formal projects Michael.Norrish
2017/07/23 Re: [Hol-info] How to write a general EQ_CONV ? Chun Tian (binghe)
2017/07/22 Re: [Hol-info] How to write a general EQ_CONV ? Konrad Slind
2017/07/22 [Hol-info] How to write a general EQ_CONV ? Chun Tian (binghe)
2017/07/22 Re: [Hol-info] [ExternalEmail] Re: On the use of new_axiom() in formal projects Chun Tian (binghe)
2017/07/21 Re: [Hol-info] On the use of new_axiom() in formal projects Andrei Popescu
2017/07/21 Re: [Hol-info] On the use of new_axiom() in formal projects Chun Tian (binghe)
2017/07/20 [Hol-info] [fm-announcements] RV 2017 - 1st Call for Participation Havelund, Klaus (348B)
2017/07/20 [Hol-info] SEFM 2017 -- Call for Participation Alberto Griggio
2017/07/19 [Hol-info] Open PostDoc Positions Martin Leucker
2017/07/19 [Hol-info] Open PhD positions Martin Leucker
2017/07/17 [Hol-info] DATE 2018 Formal Methods and Verification Track (D4) Schmaltz, J.
2017/07/17 [Hol-info] KR 2018 Preliminary Call for Papers Marcello Balduccini
2017/07/13 Re: [Hol-info] [ExternalEmail] Re: On the use of new_axiom() in formal projects Chun Tian (binghe)
2017/07/13 Re: [Hol-info] [ExternalEmail] Re: On the use of new_axiom() in formal projects Michael.Norrish
2017/07/13 Re: [Hol-info] On the use of new_axiom() in formal projects Michael.Norrish
2017/07/13 Re: [Hol-info] On the use of new_axiom() in formal projects Chun Tian (binghe)
2017/07/13 Re: [Hol-info] On the use of new_axiom() in formal projects Ramana Kumar
2017/07/13 [Hol-info] On the use of new_axiom() in formal projects Chun Tian (binghe)
2017/07/13 Re: [Hol-info] A question about ordinals Chun Tian (binghe)
2017/07/12 Re: [Hol-info] Vimhol key binding for showtypes Ramana Kumar
2017/07/12 Re: [Hol-info] A question about ordinals Michael.Norrish
2017/07/12 Re: [Hol-info] A question about ordinals Chun Tian (binghe)
2017/07/12 Re: [Hol-info] A question about ordinals Ramana Kumar
2017/07/12 Re: [Hol-info] A question about ordinals Chun Tian (binghe)
2017/07/12 Re: [Hol-info] A question about ordinals Chun Tian (binghe)
2017/07/12 Re: [Hol-info] A question about ordinals Chun Tian (binghe)
2017/07/12 [Hol-info] A question about ordinals Chun Tian (binghe)
2017/07/11 [Hol-info] Proof kernel, Pollack-consistency and faithfulness – Re: [isabelle] Verify the legitimacy of a proof? Ken Kubota
2017/07/11 Re: [Hol-info] Counting Subgoals in a Proof Konrad Slind
2017/07/11 Re: [Hol-info] Counting Subgoals in a Proof Thomas Tuerk
2017/07/11 [Hol-info] Counting Subgoals in a Proof Matthias Stockmayer
2017/07/10 [Hol-info] SOAP@SAC 2017, April 9-13, Pau, France - call for papers sac . soap2018
2017/07/10 Re: [Hol-info] Vimhol key binding for showtypes Robert Künnemann
2017/07/10 Re: [Hol-info] How to define "infinite sums" of custom datatypes? Chun Tian (binghe)
2017/07/10 [Hol-info] CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages manna
2017/07/09 Re: [Hol-info] How to define "infinite sums" of custom datatypes? Michael.Norrish
2017/07/09 [Hol-info] Vimhol key binding for showtypes Ramana Kumar
2017/07/09 [Hol-info] Concept of a small logical kernel, preserving logical dependencies, axiomatic type classes vs. type abstraction, Isabelle documentation – Re: [isabelle] Verify the legitimacy of a proof? Ken Kubota
2017/07/05 Re: [Hol-info] How to define "infinite sums" of custom datatypes? Chun Tian (binghe)
2017/07/05 Re: [Hol-info] Choosing an element from an infinite set according to an equivalence relation and a finite set? Chun Tian (binghe)
2017/07/04 [Hol-info] Funded PhD positions at Edinburgh verifying embedded ARM security Ian Stark
2017/07/04 [Hol-info] FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
2017/07/03 [Hol-info] Choosing an element from an infinite set according to an equivalence relation and a finite set? Chun Tian (binghe)
2017/07/03 [Hol-info] How to define "infinite sums" of custom datatypes? Chun Tian (binghe)
2017/07/03 [Hol-info] [fm-announcements] RV-CuBES Deadline Extension Havelund, Klaus (348B)
2017/07/02 Re: [Hol-info] What's the recommended way to delete elements from list? Chun Tian (binghe)
2017/07/02 Re: [Hol-info] What's the recommended way to delete elements from list? Ramana Kumar
2017/07/02 [Hol-info] What's the recommended way to delete elements from list? Chun Tian (binghe)
2017/07/01 Re: [Hol-info] Difficulties in proving the termination of a recursive function Ramana Kumar
2017/07/01 Re: [Hol-info] Difficulties in proving the termination of a recursive function Chun Tian (binghe)
2017/07/01 Re: [Hol-info] Difficulties in proving the termination of a recursive function Chun Tian (binghe)
2017/07/01 Re: [Hol-info] Difficulties in proving the termination of a recursive function Chun Tian (binghe)
2017/07/01 Re: [Hol-info] Difficulties in proving the termination of a recursive function Chun Tian (binghe)
2017/07/01 Re: [Hol-info] Difficulties in proving the termination of a recursive function Ramana Kumar
2017/07/01 Re: [Hol-info] Difficulties in proving the termination of a recursive function Konrad Slind
2017/07/01 [Hol-info] Difficulties in proving the termination of a recursive function Chun Tian (binghe)
2017/06/28 [Hol-info] PhD position in IoT Gwen Salaün
2017/06/26 [Hol-info] Encyclopedia of Proof Systems: Second Call for Encyclopedia Entries Bruno Woltzenlogel Paleo
2017/06/26 Re: [Hol-info] Different variable orders between GENL and Q.GENL Michael.Norrish
2017/06/26 [Hol-info] Different variable orders between GENL and Q.GENL Chun Tian (binghe)
2017/06/25 [Hol-info] Pollack-consistency and Faithfulness – Re: [Metamath] Articles on Hale[s'] Kepler Conjecture proof Ken Kubota
2017/06/25 Re: [Hol-info] [Metamath] Articles on Hale's Kepler Conjecture proof Mark Adams
2017/06/20 [Hol-info] Final Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (DEADLINES EXTENSION) Nataliia Stulova
2017/06/20 [Hol-info] GCAI 2017 in Miami - Call for Papers Geoff Sutcliffe
2017/06/20 Re: [Hol-info] [Metamath] Articles on Hale's Kepler Conjecture proof Ken Kubota
2017/06/20 [Hol-info] ITP / FLOC 2018 workshop application deadline Jeremy Avigad
2017/06/20 [Hol-info] SAFECOMP17 Call for Participation Stefano Tonetta
2017/06/14 [Hol-info] CICM 2017 - Call for Participation / Posters / Work in Progress Serge Autexier
2017/06/14 [Hol-info] Call for participation: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment Marco Bozzano
2017/06/13 [Hol-info] PxTP: Third Call for Papers (New Deadline: 26th of June) Bruno Woltzenlogel Paleo
2017/06/13 [Hol-info] *DEADLINE EXTENSION*: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis Alberto Griggio
2017/06/13 [Hol-info] Deadline Extension - FAACS 2017 - 1st Workshop on Formal Approaches for Advanced Computing Systems Alberto Griggio
2017/06/10 [Hol-info] 2nd Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems Nataliia Stulova
2017/06/09 [Hol-info] LOPSTR 2017: Final Call for Papers - DEADLINE EXTENSION John Patrick Gallagher
2017/06/06 [Hol-info] CICM 2017, Doctoral Programme, Extended Submission Deadline 9. June 2017 Serge Autexier
2017/06/05 [Hol-info] Fwd: PxTP 2017: 2nd Call for Papers Bruno Woltzenlogel Paleo
2017/06/05 [Hol-info] 2nd CFP, 4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline: June 11) Manuel Hermenegildo
2017/06/05 [Hol-info] FOCLASA 2017 - Final Call for Papers - Extended Deadlines foclasa2017
2017/06/03 [Hol-info] LOPSTR 2017: 2nd Call for Papers John Patrick Gallagher
2017/06/03 [Hol-info] 2nd Call for Papers: Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Florian Rabe
2017/06/03 [Hol-info] TABLEAUX/FroCoS/ITP - Call for Posters Geoff Sutcliffe
2017/06/01 [Hol-info] Deadline Extension - FAACS 2017 - 1st Workshop on Formal Approaches for Advanced Computing Systems Alberto Griggio
2017/05/30 [Hol-info] CADE-26 - Call for Participation Geoff Sutcliffe
2017/05/29 [Hol-info] Call for Submissions to the Doctoral Programme - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: June 5th, 2017 Serge Autexier
2017/05/29 [Hol-info] FOCLASA 2017 - Final Call for Papers foclasa2017
2017/05/29 [Hol-info] Workshop DaLí === New deadline ==== Alexandre Madeira
2017/05/29 [Hol-info] CfP: Reliability, safety and security of railway systems (RSSRail 2017) Alexander Romanovsky
2017/05/27 [Hol-info] ThEdu'17: Call for Extended Abstracts & Demonstrations Walther Neuper
2017/05/26 [Hol-info] Interactive theorem proving: 3 Postdoctoral positions at Cambridge Lawrence Paulson
2017/05/18 Re: [Hol-info] [Metamath] Q0 Library in Metamath Ken Kubota
2017/05/18 [Hol-info] SYNASC 2017 - Final Call for Papers SYNASC 2017
2017/05/18 [Hol-info] SYNASC 2017 - Final Call for Papers SYNASC 2017
2017/05/17 Re: [Hol-info] Changed order of qualified variables after SPEC_ALL and GEN_ALL Chun Tian (binghe)
2017/05/17 Re: [Hol-info] Changed order of qualified variables after SPEC_ALL and GEN_ALL Ramana Kumar
2017/05/15 [Hol-info] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday CIE2017
2017/05/15 [Hol-info] SLSP 2017: 3rd call for papers GRLMC
2017/05/15 [Hol-info] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday CIE2017
2017/05/15 [Hol-info] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday CIE2017
2017/05/12 [Hol-info] Ideas for future LASER schools se-events
2017/05/12 [Hol-info] FAACS 2017 CFP - 1st Workshop on Formal Approaches for Advanced Computing Systems Alberto Griggio
2017/05/11 [Hol-info] MEMOCODE-2017 (Deadline Extension) Klaus . Schneider
2017/05/11 [Hol-info] Software Implementation of the Mathematical Logic R0 Available for Download Ken Kubota
2017/05/09 [Hol-info] AFM 2017 call for registration Sam Owre
2017/05/09 [Hol-info] AlCoB 2017: call for participation GRLMC
2017/05/07 Re: [Hol-info] Documentation for Hol_coreln? Michael.Norrish
2017/05/07 [Hol-info] Changed order of qualified variables after SPEC_ALL and GEN_ALL Chun Tian (binghe)
2017/05/06 Re: [Hol-info] Reverse operations of EQT_INTRO and EQF_INTRO? Chun Tian (binghe)
2017/05/06 [Hol-info] Reverse operations of EQT_INTRO and EQF_INTRO? Chun Tian (binghe)
2017/05/06 Re: [Hol-info] EmitTeX.print_theories_as_tex_doc can't overwrite existing files Chun Tian (binghe)
2017/05/06 [Hol-info] GCAI 2017 in Miami - Call for Papers Geoff Sutcliffe
2017/05/06 [Hol-info] CAV 2017: Call for participation mikael . mayer
2017/05/06 [Hol-info] EmitTeX.print_theories_as_tex_doc can't overwrite existing files Chun Tian (binghe)
2017/05/05 Re: [Hol-info] REWRITE_CONV fails Chun Tian (binghe)
2017/05/05 Re: [Hol-info] REWRITE_CONV fails Thomas Tuerk
2017/05/05 [Hol-info] REWRITE_CONV fails binghe
2017/05/04 Re: [Hol-info] Documentation for Hol_coreln? Chun Tian (binghe)
2017/05/04 Re: [Hol-info] Documentation for Hol_coreln? Chun Tian (binghe)
2017/05/04 Re: [Hol-info] Documentation for Hol_coreln? Michael.Norrish
2017/05/04 [Hol-info] Documentation for Hol_coreln? Chun Tian (binghe)
2017/05/03 [Hol-info] PhD and Postdoc positions in Innsbruck Cezary Kaliszyk
2017/05/03 [Hol-info] FOCLASA 2017 - Second Call for Papers foclasa2017
2017/05/02 Re: [Hol-info] Problem of Installation the latest HOL 4 Ian Zimmerman
2017/05/02 Re: [Hol-info] Problem of Installation the latest HOL 4 Chun Tian (binghe)
2017/05/02 Re: [Hol-info] Problem of Installation the latest HOL 4 Jeremy Dawson
2017/05/02 Re: [Hol-info] Problem of Installation the latest HOL 4 Michael.Norrish
2017/05/02 Re: [Hol-info] Problem of Installation the latest HOL 4 Chun Tian (binghe)
2017/05/02 Re: [Hol-info] Problem of Installation the latest HOL 4 Chun Tian (binghe)
2017/05/02 Re: [Hol-info] [ExternalEmail] Re: Issues in kananaskis-11 release source tarball Michael.Norrish
2017/05/02 Re: [Hol-info] Problem of Installation the latest HOL 4 Michael.Norrish
2017/05/02 Re: [Hol-info] Problem of Installation the latest HOL 4 Ian Zimmerman
2017/05/02 Re: [Hol-info] Problem of Installation the latest HOL 4 Chun Tian (binghe)
2017/05/02 Re: [Hol-info] Issues in kananaskis-11 release source tarball Michael.Norrish
2017/05/02 Re: [Hol-info] Problem of Installation the latest HOL 4 Ian Zimmerman
2017/05/02 [Hol-info] LOPSTR 2017: 1st Call for Papers John Patrick Gallagher
2017/05/02 [Hol-info] Formal Methods in Computer-Aided Design - Final Call for Papers Geoff Sutcliffe
2017/05/02 [Hol-info] CiE 2017: call for participation CIE2017
2017/05/02 Re: [Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files Ramana Kumar
2017/05/02 [Hol-info] EXTENDED DEADLINE - FMCAD 2017 no-reply
2017/05/02 [Hol-info] 4th Vampire Workshop - Call for Papers Geoff Sutcliffe
2017/05/02 Re: [Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files Chun Tian (binghe)
2017/05/02 [Hol-info] Call for Participation: International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Peter Schüller
2017/05/02 [Hol-info] Call for Papers: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis Alberto Griggio
2017/05/02 [Hol-info] Issues in kananaskis-11 release source tarball Chun Tian (binghe)
2017/05/02 Re: [Hol-info] Problem of Installation the latest HOL 4 Chun Tian (binghe)
2017/05/01 Re: [Hol-info] Problem of Installation the latest HOL 4 Chun Tian (binghe)
2017/05/01 Re: [Hol-info] Problem of Installation the latest HOL 4 Liu Gengyang
2017/05/01 Re: [Hol-info] Problem of Installation the latest HOL 4 Chun Tian (binghe)
2017/05/01 Re: [Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files Ramana Kumar
2017/05/01 [Hol-info] FMCAD 2017 Final Call for Papers - Extended Deadline Georg Weissenbacher
2017/05/01 Re: [Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files Chun Tian (binghe)
2017/05/01 Re: [Hol-info] Problem of Installation the latest HOL 4 Waqar Ahmad
2017/05/01 [Hol-info] Problem of Installation the latest HOL 4 Liu Gengyang
2017/04/30 Re: [Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files Ramana Kumar
2017/04/29 [Hol-info] [EXTENDED DEADLINE] VECoS 2017 - LNCS || August 24-25, 2017 - Montreal, Canada Osman Hasan
2017/04/28 Re: [Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files Chun Tian (binghe)
2017/04/26 [Hol-info] [ICLP 2017] Final Call for Papers Tommaso.Urli
2017/04/26 [Hol-info] FroCoS 2017 DEADLINE EXTENSION Cláudia Nalon
2017/04/26 [Hol-info] SMT 2017 workshop : 2nd CFP, Deadline 1st/8th May Martin Nyx Brain
2017/04/26 [Hol-info] CPP 2018 Call for papers Amy Felty
2017/04/25 Re: [Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files Ramana Kumar
2017/04/25 Re: [Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files Chun Tian (binghe)
2017/04/25 Re: [Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files Chun Tian (binghe)
2017/04/25 [Hol-info] ARCADE Second Call for Papers Giles Reger
2017/04/25 [Hol-info] VSTTE 2017 - Deadline Extension Andrei Paskevich
2017/04/25 Re: [Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files Ramana Kumar
2017/04/25 Re: [Hol-info] What tactic I should use? Thomas Tuerk