hol-info

Messages by Date

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
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