hol-info

Messages by Date

2016/07/23 [Hol-info] EVAL(tac conv rule) hamed nemati
2016/07/22 [Hol-info] Questions about basic logic gates in HOL/HOL Light dwi.teguh51
2016/07/19 [Hol-info] CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016 Peter Schueller
2016/07/15 [Hol-info] Call For Participation: WADT 2016 JAMES P. (366409)
2016/07/12 Re: [Hol-info] hol-info Digest, Vol 122, Issue 1 Abid Rauf
2016/07/07 [Hol-info] Corrections of and amendments to prior publications on Goedel's First Incompleteness Theorem; Russell O'Connor's definitions for its proof in Peter B. Andrews' logic Q0; Comparison of the proofs by O'Connor and Paulson Ken Kubota
2016/07/07 [Hol-info] VTSA summer school Stephan Merz
2016/07/06 Re: [Hol-info] Rewriting and Types in HOL-Light Heiko Becker
2016/07/05 Re: [Hol-info] Rewriting and Types in HOL-Light Marco Maggesi
2016/07/05 Re: [Hol-info] Rewriting and Types in HOL-Light Petros Papapanagiotou
2016/07/05 [Hol-info] Rewriting and Types in HOL-Light Heiko Becker
2016/07/04 Re: [Hol-info] Deriving Contradictions Heiko Becker
2016/07/04 Re: [Hol-info] Deriving Contradictions Petros Papapanagiotou
2016/07/04 Re: [Hol-info] Deriving Contradictions Heiko Becker
2016/07/04 [Hol-info] Deriving Contradictions Heiko Becker
2016/07/03 Re: [Hol-info] Type checking issue Mark Adams
2016/07/02 Re: [Hol-info] Matrix Definition Query John Harrison
2016/07/02 [Hol-info] Type checking issue Abid Rauf
2016/06/30 [Hol-info] Matrix Definition Query Abid Rauf
2016/06/30 Re: [Hol-info] A question about the definition of the function in HOL4 Ramana Kumar
2016/06/30 [Hol-info] A question about the definition of the function in HOL4 Ada
2016/06/29 [Hol-info] 3rd Call for Papers: Workshop on Trends and Applications of Answer Set Programming Christoph Redl
2016/06/29 [Hol-info] CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016 Peter Schueller
2016/06/29 Re: [Hol-info] Fwd: Re: HOL-Light Beginner Questions Heiko Becker
2016/06/29 [Hol-info] 7th ITP Conference Geoff Sutcliffe
2016/06/29 Re: [Hol-info] HOL-Light Beginner Questions Heiko Becker
2016/06/29 [Hol-info] First Call for Papers: FSEN 2017 Marjan Sirjani
2016/06/28 Re: [Hol-info] Certificate issue Ramana Kumar
2016/06/28 [Hol-info] Certificate issue Peter Vincent Homeier
2016/06/27 [Hol-info] Postdoc positions at Nanyang Technological University David Sanán
2016/06/26 Re: [Hol-info] TAKE_def and DROP_def should not be automatic rewrites Michael Norrish
2016/06/26 [Hol-info] TAKE_def and DROP_def should not be automatic rewrites Ramana Kumar
2016/06/25 Re: [Hol-info] About proof of a Theorem (Integrability of a Vector Function) John Harrison
2016/06/22 [Hol-info] About proof of a Theorem (Integrability of a Vector Function) Adnan Rashid
2016/06/22 Re: [Hol-info] A question about the theorem in HOL4? Mark Adams
2016/06/22 Re: [Hol-info] A question about the theorem in HOL4? Ramana Kumar
2016/06/22 [Hol-info] A question about the theorem in HOL4? Ada
2016/06/21 Re: [Hol-info] How to show the function body in ML? Konrad Slind
2016/06/21 [Hol-info] ITP 2016: Call for participation Jasmin Blanchette
2016/06/21 Re: [Hol-info] How to show the function body in ML? Thomas Tuerk
2016/06/21 [Hol-info] How to show the function body in ML? Ada
2016/06/20 [Hol-info] Call for Participation: 3rd Virtual Machine Meetup, September 1-2, Lugano, Switzerland Andrea Rosa
2016/06/17 Re: [Hol-info] Fwd: Re: HOL-Light Beginner Questions Mark Adams
2016/06/17 Re: [Hol-info] Fwd: Re: HOL-Light Beginner Questions Heiko Becker
2016/06/16 Re: [Hol-info] Fwd: Re: HOL-Light Beginner Questions Mark Adams
2016/06/16 Re: [Hol-info] Fwd: Re: HOL-Light Beginner Questions Petros Papapanagiotou
2016/06/16 [Hol-info] Fwd: Re: HOL-Light Beginner Questions Heiko Becker
2016/06/15 Re: [Hol-info] HOL-Light Beginner Questions Ramana Kumar
2016/06/15 [Hol-info] CFP extended deadline - 2nd Global Conference on Artificial Intelligence Geoff Sutcliffe
2016/06/15 [Hol-info] Job offer: close-to-industry research position Vincent Aravantinos
2016/06/15 [Hol-info] LOPSTR'16: Final Call for Papers and *Deadline Extension* pedro.lopez
2016/06/15 [Hol-info] Call for Participation: CAV 2016, July 17-23, Toronto Roopsha Samanta
2016/06/15 [Hol-info] PhD position at INRIA Grenoble on formal methods for testing Wendelin Serwe
2016/06/15 [Hol-info] [Memocode] CfP: Formal Techniques for Safety-Critical Systems (FTSCS'16) Peter Csaba Ölveczky
2016/06/15 [Hol-info] HOL-Light Beginner Questions Heiko Becker
2016/06/15 [Hol-info] ICPE 2017 - 1st Call for Papers Andrea Rosa
2016/06/13 Re: [Hol-info] Is there a function that can produce random number in HOL4? Thomas Tuerk
2016/06/13 [Hol-info] HOL Workshop 2016: Final call Ramana Kumar
2016/06/13 [Hol-info] Is there a function that can produce random number in HOL4? Ada
2016/06/09 Re: [Hol-info] Difficulty with higher order matching Peter Vincent Homeier
2016/06/09 Re: [Hol-info] Difficulty with higher order matching Michael Norrish
2016/06/09 Re: [Hol-info] Difficulty with higher order matching Rob Arthan
2016/06/08 Re: [Hol-info] Difficulty with higher order matching Ramana Kumar
2016/06/08 [Hol-info] Difficulty with higher order matching Peter Vincent Homeier
2016/06/06 [Hol-info] WADT 2016 -- Extended Deadline JAMES P. (366409)
2016/06/06 [Hol-info] CakeML postdoc opportunity Scott Owens
2016/06/03 [Hol-info] MEMOCODE 2016: First Call for Papers Elizabeth Leonard
2016/06/03 [Hol-info] LOPSTR 2016: 2nd Call for Papers Pedro López García
2016/06/03 Re: [Hol-info] Process algebra CCS in HOL? Michael Norrish
2016/06/03 [Hol-info] PPPJ 2016, Submission Deadline Extended to June 13 AoE Andrea Rosa
2016/06/01 Re: [Hol-info] Opening theories without output Magnus Myreen
2016/06/01 Re: [Hol-info] Opening theories without output Michael Norrish
2016/06/01 Re: [Hol-info] Opening theories without output Peter Vincent Homeier
2016/05/31 Re: [Hol-info] Opening theories without output Michael Norrish
2016/05/31 Re: [Hol-info] Opening theories without output Peter Vincent Homeier
2016/05/31 Re: [Hol-info] Opening theories without output Anthony Fox
2016/05/31 [Hol-info] Opening theories without output Peter Vincent Homeier
2016/05/31 [Hol-info] Query Abid Rauf
2016/05/30 [Hol-info] [Springer JISA journal] CfP - Thematic Series on Verification and Composition for the Internet of Services and Things alexander . perucci
2016/05/29 Re: [Hol-info] Google is not always your friend Michael Norrish
2016/05/28 [Hol-info] Google is not always your friend Rob Arthan
2016/05/28 [Hol-info] Overload Resolution Abid Rauf
2016/05/27 Re: [Hol-info] Translating HOL4 function to SML Waqar Ahmad
2016/05/27 Re: [Hol-info] Translating HOL4 function to SML Anthony Fox
2016/05/26 Re: [Hol-info] Translating HOL4 function to SML Michael Norrish
2016/05/26 [Hol-info] Translating HOL4 function to SML Waqar Ahmad
2016/05/26 [Hol-info] (no subject) Abid Rauf
2016/05/26 [Hol-info] help needed. Abid Rauf
2016/05/26 [Hol-info] GraMSec'16 CALL FOR PARTICIPATION Barbara Kordy
2016/05/25 [Hol-info] CFP Synasc 2016, Timisoara, Romania Isabela Dramnesc
2016/05/25 [Hol-info] Call for papers: SERENE 2016, 5-6th September 2016, Gothenburg, Sweden Alexander Romanovsky
2016/05/25 [Hol-info] CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems Alexander Romanovsky
2016/05/24 [Hol-info] ThEdu at CICM'16 deadline approaching Walther Neuper
2016/05/24 [Hol-info] Process algebra CCS in HOL? Chun Tian (binghe)
2016/05/24 Re: [Hol-info] Problem installing HOL 4 Chun Tian (binghe)
2016/05/24 Re: [Hol-info] Problem installing HOL 4 Anthony Fox
2016/05/24 Re: [Hol-info] Problem installing HOL 4 Ramana Kumar
2016/05/24 Re: [Hol-info] Problem installing HOL 4 Chun Tian (binghe)
2016/05/23 Re: [Hol-info] Problem installing HOL 4 Thomas Tuerk
2016/05/23 Re: [Hol-info] Problem installing HOL 4 Michael Norrish
2016/05/23 [Hol-info] Problem installing HOL 4 Thomas Tuerk
2016/05/21 Re: [Hol-info] Need a Property in finding a proof John Harrison
2016/05/21 [Hol-info] Need a Property in finding a proof Ayesha Gauhar
2016/05/18 [Hol-info] HOL Workshop 2016: 2nd call for abstracts Ramana Kumar
2016/05/16 Re: [Hol-info] types issue mark
2016/05/16 [Hol-info] types issue Asad Ahmed
2016/05/09 [Hol-info] ISABELLE WORKSHOP 2016: Call for Papers Tobias Nipkow
2016/05/09 [Hol-info] Vampire Workshop CFP Geoff Sutcliffe
2016/05/09 [Hol-info] Deadline extended for eduTPS at CADGME Walther Neuper
2016/05/09 [Hol-info] Call to Vote on Bids to Host ITP 2017 Jasmin Blanchette
2016/05/09 [Hol-info] CFP: WADT 2016 JAMES P. (366409)
2016/05/06 [Hol-info] ThEdu CfP "Theorem Prover Components for Educational Software" Walther Neuper
2016/05/05 [Hol-info] [fm-announcements] NFM 2016 - Call for participation Havelund, Klaus (348B)
2016/05/05 [Hol-info] How to define the implementation of Counter by List ??????
2016/05/05 Re: [Hol-info] What is the advantage of HOL4? Rob Arthan
2016/05/05 [Hol-info] Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016) Serge Autexier
2016/05/03 Re: [Hol-info] What is the advantage of HOL4? Ramana Kumar
2016/05/03 [Hol-info] What is the advantage of HOL4? Ada
2016/05/01 [Hol-info] FMICS-AVoCS: 2 weeks deadline extension Maurice ter Beek
2016/05/01 [Hol-info] LOPSTR 2016 Call for Papers Manuel Hermenegildo
2016/05/01 [Hol-info] CFP Dependable Software Engineering (SETTA) Nils Muellner
2016/05/01 [Hol-info] ICTAC 2016 - Paper submission closes on 9th of May 2016! Martin Leucker
2016/05/01 [Hol-info] CFA: HCCV 2016 - Workshop on High-Consequence Control Verification Mayo, Jackson
2016/05/01 [Hol-info] ISSRE 2016 - Call for Submissions Alexander Romanovsky
2016/05/01 [Hol-info] PAAR 2016 - Extended Deadline Geoff Sutcliffe
2016/04/29 [Hol-info] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Lin, Yuhui
2016/04/29 [Hol-info] SUBMISSION DEADLINE EXTENSION - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal alexander . perucci
2016/04/26 [Hol-info] CFP FTSCS 2016: FTSCS 2016 5th International Workshop on Formal Techniques for Safety-Critical Systems, Tokyo, November 14/15, 2016 Osman Hasan
2016/04/26 [Hol-info] PhD position in Formal Modelling and Verification for High Assurance Roberto Guanciale
2016/04/24 [Hol-info] Final CFP and Deadline Extension ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21 Peter Schueller
2016/04/24 [Hol-info] Ph.D. Position in Security Modeling at IRISA in Rennes, France Barbara Kordy
2016/04/23 [Hol-info] Last CfP "Justifying (in) Math" at CADGME 2016 Walther Neuper
2016/04/23 [Hol-info] ADG 2016 : deadline extended until Mai 2 Julien Narboux
2016/04/22 [Hol-info] DEADLINE APPROACHING - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal alexander . perucci
2016/04/20 [Hol-info] FORMATS 2016 - Deadline extension Sebastian Gerwinn
2016/04/20 [Hol-info] CFP: The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP'17) Yves Bertot
2016/04/18 [Hol-info] JTRES 2016 Call for Papers Andrea Rosa
2016/04/16 [Hol-info] Verification Mentoring Workshop - Travel Scholarships Geoff Sutcliffe
2016/04/15 [Hol-info] Managed Languages Conference: PPPJ 2016 Call for Papers Andrea Rosa
2016/04/13 [Hol-info] Graphical Models for Security (GraMSec'16) - deadline extended until April 24 Barbara Kordy
2016/04/13 [Hol-info] VSTTE 2016 -- Call for papers Temesghen Kahsai
2016/04/13 [Hol-info] CfP: ICTAC 2016 - NEWS: Special Issue, Award, Deadline Martin Leucker
2016/04/09 [Hol-info] SR 2016 - Extended Deadline and Last Call for Contributions aniello murano
2016/04/07 [Hol-info] GCAI 2016 - CFP Geoff Sutcliffe
2016/04/06 [Hol-info] "Justifying (in) Math" at CADGME 2016 Walther Neuper
2016/04/05 [Hol-info] FORMATS 2016 - Last Call for Papers Sebastian Gerwinn
2016/04/03 [Hol-info] Verification Mentoring Workshop 2016: CALL for Applications for Student Travel Scholarships Roopsha Samanta
2016/04/03 [Hol-info] Verification Meetings in London, Apr 4th-7th Petar Maksimovic
2016/04/01 [Hol-info] [VeryComp 2016] - 2nd CfP and Dedicated Thematic Series on Springer JISA Journal alexander . perucci
2016/03/31 [Hol-info] Second Call For Workshop Proposals: 32nd International Conference on Logic Programming (ICLP 2016) Peter Schueller
2016/03/31 [Hol-info] Deadline Extended: HCCV 2016 - Workshop on High-Consequence Control Verification Mayo, Jackson
2016/03/31 [Hol-info] xSAP 1.1.0 has been released Marco Bozzano
2016/03/30 [Hol-info] ADG 2016 2nd CFP - Automated Deduction in Geometry, Strasbourg, June, 27-29 Julien Narboux
2016/03/29 [Hol-info] A question about rewrite in HOL4 Ada
2016/03/27 Re: [Hol-info] A question about specialization in HOL4 Thomas Tuerk
2016/03/27 [Hol-info] A question about specialization in HOL4 Ada
2016/03/22 [Hol-info] IJCAR 2016 Workshop - Call for Position Statements Leo Freitas
2016/03/22 [Hol-info] [cfp] 14th IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2016) Umair Siddique
2016/03/22 Re: [Hol-info] Instantiating existentials under existentials Thomas Tuerk
2016/03/21 Re: [Hol-info] Instantiating existentials under existentials Yong Kiam
2016/03/21 Re: [Hol-info] Instantiating existentials under existentials Ramana Kumar
2016/03/21 Re: [Hol-info] Instantiating existentials under existentials Ramana Kumar
2016/03/21 [Hol-info] Instantiating existentials under existentials Magnus Myreen
2016/03/21 [Hol-info] Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 9th Serge Autexier
2016/03/20 Re: [Hol-info] A question about rewrite in HOL4 Michael Norrish
2016/03/20 [Hol-info] A question about rewrite in HOL4 Ada
2016/03/19 [Hol-info] CFP - ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics Geoff Sutcliffe
2016/03/19 [Hol-info] Final CFP: 4th International Workshop on Strategic Reasoning (SR 2016) Nello Murano
2016/03/19 [Hol-info] A question about adding an assumption with "by" Ada
2016/03/19 [Hol-info] PhD and Post-Doc positions at Chalmers Magnus Myreen
2016/03/15 [Hol-info] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Lin, Yuhui
2016/03/15 [Hol-info] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Lin, Yuhui
2016/03/14 Re: [Hol-info] Singletons belong to Borel sets Muhammad Qasim
2016/03/14 Re: [Hol-info] A question about a proof with TAKE and DROP? Ramana Kumar
2016/03/14 Re: [Hol-info] A question about a proof with TAKE and DROP? Ramana Kumar
2016/03/14 [Hol-info] A question about a proof with TAKE and DROP? Ada
2016/03/12 Re: [Hol-info] Singletons belong to Borel sets Ramana Kumar
2016/03/10 [Hol-info] Call For Workshop Proposals: 32nd International Conference on Logic Programming (ICLP 2016) Peter Schueller
2016/03/10 [Hol-info] CMCS 2016: Last Call for Participation (with Programme) fabio . zanasi
2016/03/10 [Hol-info] [fm-announcements] [RV 2016] Second Call for Papers -- 2 months to the deadline Havelund, Klaus (349F)
2016/03/10 [Hol-info] Singletons belong to Borel sets Muhammad Qasim
2016/03/10 [Hol-info] Call for Bids to Host ITP 2017 Jasmin Blanchette
2016/03/08 [Hol-info] CFP - 5th Workshop on Practical Aspects of Automated Reasoning Geoff Sutcliffe
2016/03/08 [Hol-info] FORMATS 2016 - Second Call for Papers Sebastian Gerwinn
2016/03/08 [Hol-info] CfP ThEdu'16 at CICM Walther Neuper
2016/03/08 [Hol-info] 2nd CFP ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21 Peter Schueller
2016/03/08 Re: [Hol-info] How to transform list format from "(cx l q p)" to "l" Ramana Kumar
2016/03/08 Re: [Hol-info] How to transform list format from "(cx l q p)" to "l" Michael Norrish
2016/03/07 [Hol-info] Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016 Serge Autexier
2016/03/05 Re: [Hol-info] a question about rewrite in HOL4 Ramana Kumar
2016/03/05 [Hol-info] The question about latest version of HOL4 had been resolved ????
2016/03/05 Re: [Hol-info] a question about rewrite in HOL4 Piotr Trojanek
2016/03/04 Re: [Hol-info] a question about rewrite in HOL4 Michael Norrish
2016/03/04 Re: [Hol-info] How to transform list format from "(cx l q p)" to "l" ????
2016/03/04 [Hol-info] CFP: Graphical Models for Security (GraMSec'16) Barbara Kordy
2016/03/04 Re: [Hol-info] a question about rewrite in HOL4 Ramana Kumar
2016/03/04 [Hol-info] a question about rewrite in HOL4 Ada
2016/03/04 [Hol-info] [VeryComp 2016] - 1st Call for Paper alexander . perucci
2016/03/03 Re: [Hol-info] HOL breakthrough in American politics Ramana Kumar
2016/03/03 [Hol-info] HOL breakthrough in American politics Konrad Slind

Later messages