hol-info

Messages by Date

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
2017/04/25 [Hol-info] What tactic I should use? Dwi Teguh Priyantini
2017/04/24 [Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files Chun Tian (binghe)
2017/04/24 Re: [Hol-info] Pretty printing of strings without double-quotes? Chun Tian (binghe)
2017/04/23 Re: [Hol-info] Pretty printing of strings without double-quotes? Michael.Norrish
2017/04/23 [Hol-info] Pretty printing of strings without double-quotes? Chun Tian (binghe)
2017/04/22 [Hol-info] DL 2017 - Last Call for Papers Geoff Sutcliffe
2017/04/21 [Hol-info] [fm-announcements] RV 2017 - Deadline Extension: full submissions May 8 Havelund, Klaus (348B)
2017/04/21 [Hol-info] FTfJP CfP (deadline extended) Radu Grigore
2017/04/20 [Hol-info] VSTTE 2017 - Second Call for Papers Andrei Paskevich
2017/04/20 [Hol-info] DaLi 17 - second call for papers Alexandre Madeira
2017/04/20 [Hol-info] CfP: Reliability, safety and security of railway systems (RSSRail 2017) Alexander Romanovsky
2017/04/20 [Hol-info] CiE 2017: call for informal presentations CIE2017
2017/04/20 [Hol-info] TABLEAUX 2017 DEADLINE EXTENSION Cláudia Nalon
2017/04/20 [Hol-info] CiE 2017: call for informal presentations CIE2017
2017/04/20 [Hol-info] CiE 2017: call for informal presentations CIE2017
2017/04/18 [Hol-info] MEMOCODE-2017 (Call for Papers) Klaus . Schneider
2017/04/17 [Hol-info] [fm-announcements] RV and RV-CuBES 2017 - Call for papers and tutorials Havelund, Klaus (348B)
2017/04/17 Re: [Hol-info] How to instantiate record datatype? Thomas Tuerk
2017/04/16 [Hol-info] How to instantiate record datatype? Liu Gengyang
2017/04/16 Re: [Hol-info] [Metamath] Comparison of Metamath and Q0 – Fwd: Publication of the Mathematical Logic R0: Mathematical Formulae Ken Kubota
2017/04/14 [Hol-info] Update: LASER summer school 2017: Software for Robotics, Elba Island, September 9-17 se-events
2017/04/14 [Hol-info] SMT 2017 CFP Liana Hadarean
2017/04/14 [Hol-info] SYNASC 2017 - Second Call for Papers SYNASC 2017
2017/04/14 [Hol-info] NFM 2017 - 2nd Call For Participation Rody Kersten
2017/04/14 [Hol-info] SYNASC 2017 - Second Call for Papers SYNASC 2017
2017/04/14 [Hol-info] [fm-announcements] ISSTA 2017 Demonstrations - Call for Papers Havelund, Klaus (348B)
2017/04/14 [Hol-info] CfP FMCAD 2017 - Formal Methods in Computer Aided Design no-reply
2017/04/14 [Hol-info] [LPNMR 2017 Workshops] Extended Deadline Peter Schüller
2017/04/14 [Hol-info] Formal Methods in Computer-Aided Design - Call for Papers Geoff Sutcliffe
2017/04/14 [Hol-info] CfP (-10days) FTfJP2017 Radu Grigore
2017/04/14 [Hol-info] (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming Renato Neves
2017/04/14 [Hol-info] TABLEAUX 2017 DEADLINE REMINDER Cláudia Nalon
2017/04/14 [Hol-info] Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton Sam Owre
2017/04/14 [Hol-info] Summer School on Verification Technology Geoff Sutcliffe
2017/04/14 [Hol-info] LFMTP 2017 - Call for papers Marino Miculan
2017/04/14 [Hol-info] MFCS 2017: Second Call for Papers Giorgio Bacci
2017/04/14 [Hol-info] [CFP] VECoS 2017 - LNCS || August 24-25, 2017 - Montreal, Canada Osman Hasan
2017/04/12 Re: [Hol-info] How to eliminate existential quantifier in a goal about list? Ramana Kumar
2017/04/12 Re: [Hol-info] How to eliminate existential quantifier in a goal about list? Thomas Tuerk
2017/04/12 [Hol-info] How to eliminate existential quantifier in a goal about list? Liu Gengyang
2017/04/10 [Hol-info] Publication of the Mathematical Logic R0: Mathematical Formulae Ken Kubota
2017/04/07 Re: [Hol-info] Questions about RTC (reflexive transitive closure) Chun Tian (binghe)
2017/04/07 Re: [Hol-info] Questions about RTC (reflexive transitive closure) Konrad Slind
2017/04/07 Re: [Hol-info] Questions about RTC (reflexive transitive closure) Chun Tian (binghe)
2017/04/07 Re: [Hol-info] Questions about RTC (reflexive transitive closure) Thomas Tuerk
2017/04/07 Re: [Hol-info] Questions about RTC (reflexive transitive closure) Chun Tian (binghe)
2017/04/07 Re: [Hol-info] Questions about RTC (reflexive transitive closure) Thomas Tuerk
2017/04/07 Re: [Hol-info] Questions about RTC (reflexive transitive closure) Chun Tian (binghe)
2017/04/07 Re: [Hol-info] Questions about RTC (reflexive transitive closure) Thomas Tuerk
2017/04/07 [Hol-info] Questions about RTC (reflexive transitive closure) Chun Tian (binghe)
2017/04/06 [Hol-info] VECoS 2017 - Lecture Notes in Computer Science Osman Hasan
2017/04/06 Re: [Hol-info] A question about EL in listTheory. Ramana Kumar
2017/04/06 Re: [Hol-info] A question about EL in listTheory. Liu Gengyang
2017/04/05 Re: [Hol-info] A question about EL in listTheory. Michael.Norrish
2017/04/05 [Hol-info] A question about EL in listTheory. Liu Gengyang
2017/04/04 [Hol-info] Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017 Serge Autexier
2017/04/03 [Hol-info] SLSP 2017: 1st call for papers GRLMC
2017/04/03 Re: [Hol-info] Problems building HOL from source Lars Hupel
2017/04/03 Re: [Hol-info] Problems building HOL from source Ramana Kumar
2017/04/03 Re: [Hol-info] Problems building HOL from source Ramana Kumar
2017/04/03 Re: [Hol-info] Problems building HOL from source Lars Hupel
2017/04/03 [Hol-info] Problems building HOL from source Lars Hupel
2017/03/28 [Hol-info] SEFM 2017 Final CFP (*DEADLINE EXTENSION*) - 15th International Conference on Software Engineering and Formal Methods Alberto Griggio
2017/03/28 [Hol-info] JAR Special Issue on Automated Reasoning Systems Geoff Sutcliffe
2017/03/28 Re: [Hol-info] How to sort in a set? (Liu Gengyang) Liu Gengyang
2017/03/28 Re: [Hol-info] How to sort in a set? Thomas Tuerk
2017/03/28 [Hol-info] How to sort in a set? Liu Gengyang
2017/03/27 Re: [Hol-info] How to define PAT_X_ASSUM to PAT_ASSUM in K11 final release (and before) and do nothing in K12 (and later version)? Chun Tian (binghe)
2017/03/27 Re: [Hol-info] How to define PAT_X_ASSUM to PAT_ASSUM in K11 final release (and before) and do nothing in K12 (and later version)? Brian Campbell
2017/03/27 [Hol-info] Two PhD positions on CakeML and HOL at Chalmers, Sweden Magnus Myreen
2017/03/27 [Hol-info] FOCLASA 2017 - First Call for Papers foclasa2017
2017/03/25 Re: [Hol-info] How to define PAT_X_ASSUM to PAT_ASSUM in K11 final release (and before) and do nothing in K12 (and later version)? Chun Tian (binghe)
2017/03/25 Re: [Hol-info] How to define PAT_X_ASSUM to PAT_ASSUM in K11 final release (and before) and do nothing in K12 (and later version)? Ramana Kumar
2017/03/25 [Hol-info] CALCO 2017: Last Call for Papers | CALCO Tools & CALCO Early Ideas: Call for Contributions Fabio Zanasi
2017/03/25 [Hol-info] Final CFP LPNMR Doctoral Student Consortium, Espoo, Finland, 3-6 July, 2017 Peter Schüller
2017/03/25 [Hol-info] FOCLASA 2017 - First Call for Papers Foclasa Workshop
2017/03/25 Re: [Hol-info] How to define PAT_X_ASSUM to PAT_ASSUM in K11 final release (and before) and do nothing in K12 (and later version)? Chun Tian (binghe)
2017/03/24 Re: [Hol-info] How to define PAT_X_ASSUM to PAT_ASSUM in K11 final release (and before) and do nothing in K12 (and later version)? Ramana Kumar
2017/03/24 Re: [Hol-info] How to prove ``R = R'`` (two relations are equal) given the corresponding universally qualified form? Chun Tian (binghe)
2017/03/24 Re: [Hol-info] How to prove ``R = R'`` (two relations are equal) given the corresponding universally qualified form? Chun Tian (binghe)
2017/03/24 Re: [Hol-info] How to prove ``R = R'`` (two relations are equal) given the corresponding universally qualified form? Thomas Tuerk
2017/03/24 [Hol-info] How to prove ``R = R'`` (two relations are equal) given the corresponding universally qualified form? Chun Tian (binghe)
2017/03/24 [Hol-info] How to define PAT_X_ASSUM to PAT_ASSUM in K11 final release (and before) and do nothing in K12 (and later version)? Chun Tian (binghe)
2017/03/23 [Hol-info] [fm-announcements] RV 2017 - 3rd Call for papers and tutorial proposals + RV-CuBES contributions Havelund, Klaus (348B)
2017/03/23 [Hol-info] 9 permanent academic positions at Swansea University Markus Roggenbach
2017/03/20 [Hol-info] IWIL workshop at LPAR-21 in Botswana Geoff Sutcliffe
2017/03/20 [Hol-info] AFM deadline extension: Automated Formal Methods 2017 Final Call for papers Sam Owre
2017/03/20 [Hol-info] Call for Participation: RAMiCS, May 15-18, Lyon, France Damien Pous
2017/03/19 Re: [Hol-info] How to define a new datatype and use it? Michael.Norrish
2017/03/19 [Hol-info] How to define a new datatype and use it? 刘耕阳
2017/03/19 [Hol-info] [ICLP 2017] Deadline extended to May 2, 2017 Tommaso.Urli
2017/03/19 [Hol-info] Correction on Hilbert-style systems (Metamath) and comment on prooftoys.org / mathtoys.org Ken Kubota
2017/03/17 [Hol-info] *Extended submission deadline* - 10th Conference on Intelligent Computer Mathematics - CICM 2017 Serge Autexier
2017/03/16 [Hol-info] [ICLP 2017] Extended deadline Tommaso.Urli
2017/03/13 [Hol-info] ACM/SPEC ICPE'17 - Call for Participation Andrea Rosa
2017/03/13 [Hol-info] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday CIE2017
2017/03/13 [Hol-info] CfP: ICTAC'2027 Vietnam Martin Leucker
2017/03/13 [Hol-info] Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton Sam Owre
2017/03/13 [Hol-info] AlCoB 2017: call for posters GRLMC
2017/03/10 [Hol-info] MFPS 33: Deadline Extension Alexandra Silva
2017/03/10 [Hol-info] CiE 2017: call for informal presentations CIE2017
2017/03/10 [Hol-info] 2nd Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017 Serge Autexier
2017/03/09 [Hol-info] Automated Formal Methods (AFM) 2017 Final Call for papers Sam Owre
2017/03/08 [Hol-info] [ICLP 2017] Second Call for Papers + Deadlines Tommaso.Urli
2017/03/08 [Hol-info] MEMOCODE-2017 (Call for Papers) Klaus . Schneider
2017/03/07 [Hol-info] [fm-announcements] ITP 2017 - Final Call for Papers Munoz, Cesar (LARC-D320)
2017/03/06 [Hol-info] LPAR-21 Short Presentation Papers - Call for Papers Geoff Sutcliffe
2017/03/06 [Hol-info] TABLEAUX 2017 - Final Call for Papers Cláudia Nalon
2017/03/05 [Hol-info] [fm-announcements] RERS: International Challenge on the Rigorous Examination of Reactive Systems 2017 Havelund, Klaus (348B)
2017/03/03 [Hol-info] 3rd CFP: SEFM 2017 - 15th International Conference on Software Engineering and Formal Methods Alberto Griggio
2017/03/02 [Hol-info] Release of HOL4 Kananaskis-11 Michael.Norrish
2017/03/01 [Hol-info] First CFP Synasc 2017, Timisoara, Romania Isabela Dramnesc
2017/03/01 [Hol-info] [ICLP 2017] Second Call for Papers Tommaso.Urli
2017/02/27 [Hol-info] Marktoberdorf Summer School: Call for Participation Tobias Nipkow
2017/02/27 [Hol-info] [fm-announcements] RV 2017 - 2nd Call for papers and tutorials Havelund, Klaus (348B)
2017/02/26 [Hol-info] CfP Software Engineering for Resilient Systems - SERENE 2017 workshop Alexander Romanovsky
2017/02/25 [Hol-info] MFCS 2017: First Call for Papers Giorgio Bacci
2017/02/24 [Hol-info] SAFECOMP17 Extended Deadline Stefano Tonetta
2017/02/23 [Hol-info] CfP: FACS 2017 - 14th International Conference on Formal Aspects of Component Software Jose Proenca
2017/02/22 [Hol-info] Deadline Extension: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment Marco Bozzano
2017/02/21 [Hol-info] NFM 2017 - Call For Participation Rody Kersten
2017/02/20 [Hol-info] AlCoB 2017: call for posters GRLMC
2017/02/20 [Hol-info] DICE-FOPARA 2017: Deadline Extended Georg Moser
2017/02/18 [Hol-info] CFP ThEdu'17 at CADE 26 Walther Neuper
2017/02/17 [Hol-info] VSTTE 2017 - First Call for Papers Andrei Paskevich
2017/02/15 [Hol-info] Final CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment Marco Bozzano
2017/02/14 Re: [Hol-info] Pollack-consistency (HOL Light, Isabelle, and others); Introductions to HOL4 and HOL Zero Ken Kubota
2017/02/14 Re: [Hol-info] deactivate newline-and-indent for sml-mode Magnus Myreen
2017/02/13 Re: [Hol-info] Pollack-consistency (HOL Light, Isabelle, and others); Introductions to HOL4 and HOL Zero Mark Adams
2017/02/13 [Hol-info] Pollack-consistency (HOL Light, Isabelle, and others); Introductions to HOL4 and HOL Zero Ken Kubota
2017/02/10 [Hol-info] CfP: Reliability, safety and security of railway systems (RSSRail 2017) Alexander Romanovsky
2017/02/09 [Hol-info] DICE-FOPARA 2017 - Second Call for Papers Georg Moser
2017/02/08 [Hol-info] ARCADE Call for Papers Geoff Sutcliffe
2017/02/08 [Hol-info] [fm-announcements] SPIN 2017 - Paper Submission: Extended to February 17 Havelund, Klaus (348B)
2017/02/08 [Hol-info] ARCADE Call for Papers Dmitriy Traytel
2017/02/07 Re: [Hol-info] How to correctly define a binder (as pretty printer)? Chun Tian (binghe)
2017/02/07 [Hol-info] FORTE 2017: Deadline Extension Alexandra Silva
2017/02/07 [Hol-info] [CFP] CrossFyre 2017 Cristina Onete
2017/02/07 [Hol-info] SAFECOMP17 2nd Call for Papers Stefano Tonetta
2017/02/07 [Hol-info] Research officer in theoretical foundations of cyber security at Swansea University Markus Roggenbach
2017/02/07 [Hol-info] LATA 2017: call for participation GRLMC
2017/02/06 Re: [Hol-info] How to correctly define a binder (as pretty printer)? Michael.Norrish
2017/02/06 [Hol-info] How to correctly define a binder (as pretty printer)? Chun Tian (binghe)
2017/02/06 [Hol-info] WiL 2017: Women in Logic Workshop Second Call for Papers (new dates) Amy Felty
2017/02/05 [Hol-info] On the natural language of formal logic and mathematics - Re: [Coq-Club] Henkin's paper "Completeness in the Theory of Types" (1950); Ramsey (and Chwistek) Ken Kubota
2017/02/04 [Hol-info] CALCO 2017: Second Call for Papers Fabio Zanasi
2017/02/03 [Hol-info] TbILLC 2017: 1st Call for Papers Alexandra Silva
2017/02/02 [Hol-info] Open PhD position in Pesto team at Inria Nancy - Grand Est Steve Kremer
2017/02/02 [Hol-info] IWIL 2017 with LPAR-21 in Botswana - Call for Papers Geoff Sutcliffe
2017/02/02 [Hol-info] CfPart: FSEN 2017 Marjan Sirjani
2017/01/30 [Hol-info] Final CFP with Deadline Extension: LPNMR - International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Peter Schüller
2017/01/30 [Hol-info] Automated Formal Methods (AFM) 2017 Call for papers Sam Owre
2017/01/29 [Hol-info] FroCoS 2017 - 2nd Call for Papers Geoff Sutcliffe
2017/01/29 [Hol-info] CfP FMCAD 2017 - Formal Methods in Computer Aided Design no-reply
2017/01/29 [Hol-info] ITP 2017 - 2nd Call for Papers Geoff Sutcliffe
2017/01/29 [Hol-info] CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Peter Schüller
2017/01/29 [Hol-info] ITP 2017 - Second Call for Papers Cláudia Nalon
2017/01/29 [Hol-info] [fm-announcements] SPIN 2017 - final call for papers, deadline Feb 10 Havelund, Klaus (348B)
2017/01/29 [Hol-info] FroCoS 2017 - Second Call for Papers Cláudia Nalon
2017/01/27 Re: [Hol-info] deactivate newline-and-indent for sml-mode Heiko Becker
2017/01/27 Re: [Hol-info] deactivate newline-and-indent for sml-mode Thomas Tuerk
2017/01/26 Re: [Hol-info] deactivate newline-and-indent for sml-mode Chun Tian (binghe)
2017/01/26 Re: [Hol-info] deactivate newline-and-indent for sml-mode Heiko Becker
2017/01/26 Re: [Hol-info] deactivate newline-and-indent for sml-mode Thomas Tuerk
2017/01/26 [Hol-info] deactivate newline-and-indent for sml-mode Heiko Becker
2017/01/24 [Hol-info] First Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017 Serge Autexier
2017/01/22 Re: [Hol-info] How to convert an EQ theorem to IMP theorem? Chun Tian (binghe)
2017/01/22 Re: [Hol-info] Process algebra CCS in HOL? Chun Tian (binghe)
2017/01/22 Re: [Hol-info] Process algebra CCS in HOL? Michael.Norrish
2017/01/22 [Hol-info] How to convert an EQ theorem to IMP theorem? Chun Tian (binghe)
2017/01/22 Re: [Hol-info] Process algebra CCS in HOL? Chun Tian (binghe)
2017/01/22 Re: [Hol-info] Difficulties when migrating proof scripts from Coq Chun Tian (binghe)
2017/01/21 Re: [Hol-info] Difficulties when migrating proof scripts from Coq Jeremy Dawson
2017/01/20 Re: [Hol-info] How to prove this theorem about relations? Michael.Norrish
2017/01/20 [Hol-info] ICLP 2017 - Call for Workshop Proposals Enrico Pontelli
2017/01/20 [Hol-info] 2nd CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment Marco Bozzano
2017/01/20 [Hol-info] CAV 2017 Award mikael . mayer
2017/01/20 [Hol-info] CAV 2017: Call for Papers mikael . mayer
2017/01/20 [Hol-info] JAR Special Issue on Automated Reasoning Systems Geoff Sutcliffe