hol-info  

Messages by Thread

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

• Later messages