hol-info

Messages by Date

2018/11/20 [Hol-info] Artificial Intelligence and Theorem Proving, CFP geoff
2018/11/19 [Hol-info] Fwd: Job Opportunity at D-RisQ Rob Arthan
2018/11/18 [Hol-info] Research Scientist job at Data61 Michael.Norrish
2018/11/18 [Hol-info] Proof Engineer jobs in Sydney Michael.Norrish
2018/11/13 Re: [Hol-info] excessive number of MLTEMP files Michael.Norrish
2018/11/13 [Hol-info] excessive number of MLTEMP files Gergely Buday
2018/11/13 [Hol-info] FM'19: Final Call for Workshop & Tutorial Proposals Renato Neves
2018/11/09 [Hol-info] CICM 2019, July 8-12: First Call for Submissions, Workshops & Tutorials Serge Autexier
2018/11/08 Re: [Hol-info] "Proofs of life" Rene Vestergaard
2018/11/07 [Hol-info] Multiple Postdoc Positions @ Nanyang Technological University on verification Sanan Baena David Miguel (Dr)
2018/11/07 Re: [Hol-info] "Proofs of life" José Manuel Rodriguez Caballero
2018/11/07 [Hol-info] [Vardi-list] The 3rd Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies Moshe Vardi
2018/11/07 [Hol-info] ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019 geoff
2018/11/07 [Hol-info] CONCUR 2019 Call for Papers Fokkink, W.J.
2018/11/06 [Hol-info] "Proofs of life" Rene Vestergaard
2018/11/04 [Hol-info] JELIA 2019 - 2nd CfP - 1 month left - IJCAI, TPLP, Awards and Prizes cfp
2018/11/04 [Hol-info] [Vardi-list] NFM 2019 First Call For Papers- 11th Annual NASA Formal Methods Symposium Moshe Vardi
2018/10/29 [Hol-info] POPL 2019 Student Research Competition Michael Greenberg
2018/10/21 [Hol-info] Final Call for Papers: FSEN 2019 Maurice ter Beek
2018/10/21 [Hol-info] NFM 2019 Second Call For Papers- 11th Annual NASA Formal Methods Symposium Rozier, Kristin Yvonne [AER E]
2018/10/21 [Hol-info] CADE-27: Call for Papers, Workshops, Tutorials and System Competitions geoff
2018/10/17 [Hol-info] FM'19: Call for Workshop & Tutorial Proposals Renato Neves
2018/10/12 Re: [Hol-info] assumption matching in SPLIT_LT Jeremy Dawson
2018/10/12 Re: [Hol-info] assumption matching in SPLIT_LT Waqar Ahmad via hol-info
2018/10/10 [Hol-info] Formal Methods 2019: First Call for Papers Renato Neves
2018/10/10 [Hol-info] Artificial Intelligence and Theorem Proving, AITP 2019 geoff
2018/10/04 [Hol-info] [ACL2-2018] Second Call For Participation: Registration Open! Shilpi Goel
2018/10/04 Re: [Hol-info] On summation of 2-dimensional sequences Chun Tian (binghe)
2018/10/04 [Hol-info] On summation of 2-dimensional sequences Chun Tian (binghe)
2018/10/03 [Hol-info] PLMW@POPL19: Call for Scholarship Applications Michael Greenberg
2018/10/02 [Hol-info] JELIA 2019 - First CfP - IJCAI, TPLP publications and Awards cfp
2018/10/02 [Hol-info] A Second Opportunity to Submit - 13th International Workshop on the Implementation of Logics geoff
2018/09/26 [Hol-info] Third Call for Papers: FSEN 2019 Maurice ter Beek
2018/09/26 [Hol-info] PhD positions in System Security and Formal Methods at KTH Royal Institute of Technology Roberto Guanciale
2018/09/20 Re: [Hol-info] assumption matching in SPLIT_LT Michael.Norrish
2018/09/20 Re: [Hol-info] Exception raised while using HOL in hol-mode Michael.Norrish
2018/09/20 [Hol-info] ITP2019: Call for Workshops O'Leary, John W
2018/09/20 Re: [Hol-info] assumption matching in SPLIT_LT Waqar Ahmad via hol-info
2018/09/20 Re: [Hol-info] assumption matching in SPLIT_LT Konrad Slind
2018/09/20 Re: [Hol-info] Exception raised while using HOL in hol-mode Yassmeen Derhalli
2018/09/20 Re: [Hol-info] Exception raised while using HOL in hol-mode Thomas Tuerk
2018/09/20 [Hol-info] assumption matching in SPLIT_LT Waqar Ahmad via hol-info
2018/09/20 [Hol-info] Exception raised while using HOL in hol-mode Yassmeen Derhalli
2018/09/20 [Hol-info] Exception raised while using HOL in hol-mode Yassmeen Derhalli
2018/09/20 [Hol-info] (no subject) Yassmeen Derhalli
2018/09/20 [Hol-info] LPAR-22 in Ethiopia - Call for Short Papers geoff
2018/09/18 Re: [Hol-info] Choosing an element in an increasing sequence of sets Chun Tian (binghe)
2018/09/18 Re: [Hol-info] Choosing an element in an increasing sequence of sets Chun Tian (binghe)
2018/09/18 Re: [Hol-info] Choosing an element in an increasing sequence of sets Thomas Tuerk
2018/09/18 Re: [Hol-info] Choosing an element in an increasing sequence of sets Chun Tian (binghe)
2018/09/18 Re: [Hol-info] Choosing an element in an increasing sequence of sets Chun Tian (binghe)
2018/09/17 [Hol-info] 13th International Workshop on the Implementation of Logics geoff
2018/09/17 [Hol-info] Final Call for Papers PADL-19 Moa Johansson
2018/09/17 [Hol-info] PhD positions in Programming Language Technology for Security and Privacy David Sands
2018/09/17 [Hol-info] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ggelfond
2018/09/17 [Hol-info] NFM 2019 First Call For Papers- 11th Annual NASA Formal Methods Symposium Kristin Yvonne Rozier
2018/09/17 Re: [Hol-info] Choosing an element in an increasing sequence of sets Ramana Kumar
2018/09/17 Re: [Hol-info] Choosing an element in an increasing sequence of sets Chun Tian (binghe)
2018/09/17 [Hol-info] Choosing an element in an increasing sequence of sets Chun Tian (binghe)
2018/09/17 [Hol-info] CPP 2019: Final Call for Papers Magnus Myreen
2018/09/16 Re: [Hol-info] Prove BIGUNION (IMAGE f 𝕌(:num)) by induction on (count n)? Chun Tian (binghe)
2018/09/15 Re: [Hol-info] Prove BIGUNION (IMAGE f 𝕌(:num)) by induction on (count n)? Chun Tian (binghe)
2018/09/15 Re: [Hol-info] Prove BIGUNION (IMAGE f 𝕌(:num)) by induction on (count n)? Chun Tian (binghe)
2018/09/15 Re: [Hol-info] Prove BIGUNION (IMAGE f 𝕌(:num)) by induction on (count n)? Waqar Ahmad via hol-info
2018/09/15 [Hol-info] Prove BIGUNION (IMAGE f 𝕌(:num)) by induction on (count n)? Chun Tian (binghe)
2018/09/14 [Hol-info] Uninterruptible PROVE_TAC [] Chun Tian (binghe)
2018/09/14 Re: [Hol-info] The "limit" of a ``:'num->'a set`` function? Chun Tian (binghe)
2018/09/13 Re: [Hol-info] The "limit" of a ``:'num->'a set`` function? Michael.Norrish
2018/09/13 Re: [Hol-info] The "limit" of a ``:'num->'a set`` function? Umair Siddique
2018/09/13 [Hol-info] The "limit" of a ``:'num->'a set`` function? Chun Tian (binghe)
2018/09/11 Re: [Hol-info] Two definitions of wellfoundedness Chun Tian (binghe)
2018/09/11 Re: [Hol-info] Two definitions of wellfoundedness Lorenz Leutgeb via hol-info
2018/09/11 [Hol-info] CfP: Postproceedings ThEdu'18 Walther Neuper
2018/09/11 [Hol-info] Two definitions of wellfoundedness Chun Tian (binghe)
2018/09/06 [Hol-info] JELIA 2019 - Preliminary Call for Papers Simona Perri
2018/09/06 [Hol-info] Software Verification and Testing Track (SVT) @ ACM SAC 2019 (deadline extension) Matthias Güdemann
2018/09/05 Re: [Hol-info] QuoteFilter with precise positions Michael.Norrish
2018/09/05 Re: [Hol-info] QuoteFilter with precise positions Makarius
2018/09/02 Re: [Hol-info] Partial Order for Set Supremum Michael.Norrish
2018/08/31 [Hol-info] Partial Order for Set Supremum Waqar Ahmad via hol-info
2018/08/31 Re: [Hol-info] Reference cells in HOL4 Fabian Immler
2018/08/30 [Hol-info] RAMiCS 2018 Call for Participation: Relational and Algebraic Methods in Computer Science Walter Guttmann
2018/08/30 Re: [Hol-info] Reference cells in HOL4 Michael.Norrish
2018/08/30 [Hol-info] Reference cells in HOL4 Fabian Immler
2018/08/29 Re: [Hol-info] Failure with REWRITE_TAC and UNDISCH on conjunctions Dylan Melville
2018/08/28 Re: [Hol-info] Failure with REWRITE_TAC and UNDISCH on conjunctions Michael.Norrish
2018/08/28 [Hol-info] [ACL2-2018] Call for Participation --- Registration Open! Shilpi Goel
2018/08/28 Re: [Hol-info] Failure with REWRITE_TAC and UNDISCH on conjunctions Dylan Melville
2018/08/28 Re: [Hol-info] Lazy list: Stream in coinduction Waqar Ahmad via hol-info
2018/08/27 Re: [Hol-info] Lazy list: Stream in coinduction Michael.Norrish
2018/08/27 [Hol-info] Lazy list: Stream in coinduction Waqar Ahmad via hol-info
2018/08/27 Re: [Hol-info] Failure with REWRITE_TAC and UNDISCH on conjunctions Michael.Norrish
2018/08/27 [Hol-info] Failure with REWRITE_TAC and UNDISCH on conjunctions Dylan Melville
2018/08/27 Re: [Hol-info] QuoteFilter with precise positions Michael.Norrish
2018/08/27 Re: [Hol-info] QuoteFilter with precise positions Michael.Norrish
2018/08/27 [Hol-info] QuoteFilter with precise positions Makarius
2018/08/22 [Hol-info] NFM 2019 Preliminary Call For Papers- 11th Annual NASA Formal Methods Symposium Kristin Yvonne Rozier
2018/08/22 [Hol-info] Call for Papers: Symposium on Practical Aspects of Declarative Languages (PADL 2019) Moa Johansson
2018/08/20 Re: [Hol-info] Assumptions of goal usage Michael.Norrish
2018/08/20 Re: [Hol-info] Assumptions of goal usage Dylan Melville
2018/08/20 [Hol-info] Assumptions of goal usage Dylan Melville
2018/08/16 Re: [Hol-info] Using Assumptions Michael.Norrish
2018/08/16 Re: [Hol-info] Using Assumptions Jeremy Dawson
2018/08/16 Re: [Hol-info] Using Assumptions Mario Xerxes Castelán Castro
2018/08/16 Re: [Hol-info] Using Assumptions Chun Tian (binghe)
2018/08/16 [Hol-info] Using Assumptions Dylan Melville
2018/08/11 Re: [Hol-info] measureTheory (was: Re: New extrealTheory) Waqar Ahmad via hol-info
2018/08/11 [Hol-info] measureTheory (was: Re: New extrealTheory) Chun Tian (binghe)
2018/08/09 Re: [Hol-info] New extrealTheory (was: Re: conflicts auto-resolved by Define?) Chun Tian (binghe)
2018/08/09 [Hol-info] anecdote that the spec for sorting is output is sorted AND a permutation? Black, Paul E. (Fed)
2018/08/09 [Hol-info] New extrealTheory (was: Re: conflicts auto-resolved by Define?) Chun Tian (binghe)
2018/08/09 Re: [Hol-info] New extrealTheory (was: Re: conflicts auto-resolved by Define?) Waqar Ahmad via hol-info
2018/08/09 [Hol-info] PPDP | LOPSTR | WFLP 2018 Common Call for Participation David Sabel
2018/08/09 Re: [Hol-info] Partial Function on lazy list Waqar Ahmad via hol-info
2018/08/08 [Hol-info] PhD opportunities at the ANU Michael.Norrish
2018/08/08 Re: [Hol-info] Partial Function on lazy list Michael.Norrish
2018/08/08 Re: [Hol-info] Partial Function on lazy list Waqar Ahmad via hol-info
2018/08/08 Re: [Hol-info] Applying a theorem to a specific subgoal Dylan Melville
2018/08/07 Re: [Hol-info] Applying a theorem to a specific subgoal Heiko Becker
2018/08/07 Re: [Hol-info] Applying a theorem to a specific subgoal Jeremy Dawson
2018/08/07 [Hol-info] Applying a theorem to a specific subgoal Dylan Melville
2018/08/07 Re: [Hol-info] conflicts auto-resolved by Define? Waqar Ahmad via hol-info
2018/08/07 Re: [Hol-info] conflicts auto-resolved by Define? Waqar Ahmad via hol-info
2018/08/07 Re: [Hol-info] conflicts auto-resolved by Define? Chun Tian (binghe)
2018/08/07 Re: [Hol-info] conflicts auto-resolved by Define? Chun Tian (binghe)
2018/08/06 Re: [Hol-info] Partial Function on lazy list Michael.Norrish
2018/08/06 [Hol-info] Partial Function on lazy list Waqar Ahmad via hol-info
2018/08/06 Re: [Hol-info] conflicts auto-resolved by Define? Chun Tian (binghe)
2018/08/06 Re: [Hol-info] conflicts auto-resolved by Define? Chun Tian (binghe)
2018/08/06 [Hol-info] [Publicity] Call for Participation: 11th Conference on Intelligent Computer Mathematics Tanja Gutenbrunner
2018/08/06 [Hol-info] iFM 2018: Registration Bursaries for PhD students and Early Stage Researchers HaoWu
2018/08/05 Re: [Hol-info] conflicts auto-resolved by Define? Thomas Tuerk
2018/08/05 Re: [Hol-info] conflicts auto-resolved by Define? Waqar Ahmad via hol-info
2018/08/05 [Hol-info] conflicts auto-resolved by Define? binghe
2018/08/03 Re: [Hol-info] How to (automatically) change the names of quantified variables in a theorem? Konrad Slind
2018/08/03 Re: [Hol-info] How to (automatically) change the names of quantified variables in a theorem? Chun Tian (binghe)
2018/08/03 Re: [Hol-info] How to (automatically) change the names of quantified variables in a theorem? Thomas Tuerk
2018/08/03 [Hol-info] How to (automatically) change the names of quantified variables in a theorem? Chun Tian (binghe)
2018/08/01 Re: [Hol-info] Term Concatenation Mario Xerxes Castelán Castro
2018/08/01 [Hol-info] Term Concatenation Dylan Melville
2018/07/30 [Hol-info] Call for Papers Software Verification and Testing Track @ ACM SAC 2019 Matthias Güdemann
2018/07/30 [Hol-info] ACTIONS@KR: LAST CALL FOR CONTRIBUTIONS Fabio Patrizi
2018/07/29 Re: [Hol-info] Undefined references building “description.pdf” Mario Xerxes Castelán Castro
2018/07/29 Re: [Hol-info] Undefined references building “description.pdf” Michael.Norrish
2018/07/29 [Hol-info] Undefined references building “description.pdf” Mario Xerxes Castelán Castro
2018/07/25 [Hol-info] PhD Position on the formalization of automated reasoning in Isabelle/HOL Jasmin Blanchette
2018/07/24 [Hol-info] CPP 2019: Call for Papers Magnus Myreen
2018/07/23 Re: [Hol-info] INST on a theorem Konrad Slind
2018/07/23 Re: [Hol-info] INST on a theorem Chun Tian (binghe)
2018/07/23 Re: [Hol-info] INST on a theorem Dylan Melville
2018/07/23 Re: [Hol-info] INST on a theorem Thomas Tuerk
2018/07/23 [Hol-info] INST on a theorem Dylan Melville
2018/07/21 [Hol-info] PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving" roberto . sebastiani
2018/07/21 [Hol-info] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** ggelfond
2018/07/21 Re: [Hol-info] MESON Petros Papapanagiotou
2018/07/18 Re: [Hol-info] MESON Waqar Ahmad via hol-info
2018/07/18 [Hol-info] MESON Dylan Melville
2018/07/16 [Hol-info] Deadline Extension: Workshop in OCL and Textual Modeling (OCL 2018) Achim D. Brucker
2018/07/16 [Hol-info] ACTIONS@KR18: DEADLINE EXTENSION Fabio Patrizi
2018/07/16 [Hol-info] KR 2018 ** WORKSHOP DEADLINES EXTENDED ** Marcello Balduccini
2018/07/16 [Hol-info] LPAR-22 Ethiopia - Call for Papers geoff
2018/07/15 Re: [Hol-info] Mike Gordon bio Mario Xerxes Castelán Castro
2018/07/11 [Hol-info] Type abstraction – Re: Mike Gordon bio Ken Kubota
2018/07/11 Re: [Hol-info] Extension of Co-algebraic Datatype Chun Tian (binghe)
2018/07/11 [Hol-info] 1st Call for Papers Software Verification and Testing Track @ ACM SAC 2019 Matthias Güdemann
2018/07/11 [Hol-info] Second Call for Papers: FSEN 2019 Maurice ter Beek
2018/07/11 [Hol-info] PPDP 2018: Call for Participation David Sabel
2018/07/11 Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
2018/07/11 Re: [Hol-info] VTSA 2018: call for applications Stephan Merz
2018/07/09 [Hol-info] Keyboard layout with symbols used in HOL4 Mario Xerxes Castelán Castro
2018/07/08 [Hol-info] Call for paper: Only one *week* left to prepare your paper for the Workshop in OCL and Textual Modeling (OCL 2018) Achim D. Brucker
2018/07/07 [Hol-info] Mike Gordon bio Lawrence Paulson
2018/07/06 Re: [Hol-info] Adding abstraction to terms Thomas Tuerk
2018/07/06 Re: [Hol-info] Adding abstraction to terms Dylan Melville
2018/07/06 Re: [Hol-info] Adding abstraction to terms Mario Xerxes Castelán Castro
2018/07/06 [Hol-info] Adding abstraction to terms Dylan Melville
2018/07/03 Re: [Hol-info] Taking universal quantification off an assumption Dylan Melville
2018/07/03 Re: [Hol-info] Taking universal quantification off an assumption Mario Xerxes Castelán Castro
2018/07/03 Re: [Hol-info] Taking universal quantification off an assumption Mario Xerxes Castelán Castro
2018/07/03 [Hol-info] Taking universal quantification off an assumption Dylan Melville
2018/07/03 Re: [Hol-info] Strange tactic behavior HOL-k10 vs HOL-k12 Michael.Norrish
2018/07/02 [Hol-info] Strange tactic behavior HOL-k10 vs HOL-k12 Waqar Ahmad via hol-info
2018/07/02 [Hol-info] The Principle of Mathematical Induction – Re: [Coq-Club] I don't believe Coinduction; Please help me grok it :) Ken Kubota
2018/06/30 Re: [Hol-info] Tactic Freek Wiedijk
2018/06/29 Re: [Hol-info] Tactic Konrad Slind
2018/06/29 Re: [Hol-info] String of term with type information? Mark Adams
2018/06/29 [Hol-info] String of term with type information? Yaqing Jiang
2018/06/29 Re: [Hol-info] Tactic Heiko Becker
2018/06/28 Re: [Hol-info] Tactic Dylan Melville
2018/06/28 Re: [Hol-info] Tactic Mario Xerxes Castelán Castro
2018/06/28 [Hol-info] Tactic Dylan Melville
2018/06/27 [Hol-info] Deadline Extension for ACL2 2018 Matt Kaufmann
2018/06/27 Re: [Hol-info] tacticoe Ramana Kumar
2018/06/27 [Hol-info] tacticoe Chun Tian (binghe)
2018/06/26 Re: [Hol-info] Formalizing logical puzzles Marco Maggesi
2018/06/26 Re: [Hol-info] Formalizing logical puzzles Marco Maggesi
2018/06/26 Re: [Hol-info] Formalizing logical puzzles Mario Xerxes Castelán Castro
2018/06/26 Re: [Hol-info] Formalizing logical puzzles Mario Xerxes Castelán Castro
2018/06/26 Re: [Hol-info] Formalizing logical puzzles Mario Xerxes Castelán Castro
2018/06/26 Re: [Hol-info] Formalizing logical puzzles Petros Papapanagiotou