hol-info  

Messages by Thread

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

• Earlier messages
• Later messages