hol-info

Messages by Date

2020/08/06 Re: [Hol-info] Visualizing subgoals in a proof script Norrish, Michael (Data61, Acton)
2020/08/01 [Hol-info] Visualizing subgoals in a proof script Mario Xerxes Castelán Castro «Ksenia»
2020/07/31 Re: [Hol-info] EVAL when equations have an antecedent Mario Xerxes Castelán Castro «Ksenia»
2020/07/30 Re: [Hol-info] EVAL when equations have an antecedent Konrad Slind
2020/07/30 Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Mario Xerxes Castelán Castro «Ksenia»
2020/07/30 [Hol-info] EVAL when equations have an antecedent Mario Xerxes Castelán Castro
2020/07/28 Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Manuel Eberl
2020/07/28 Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Chun Tian (binghe)
2020/07/27 [Hol-info] CILC 2020 - Third Call For Papers - ABSTRACT SUBMISSION DEADLINE APPROACHING cfp
2020/07/27 Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Manuel Eberl
2020/07/27 Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Chun Tian (binghe)
2020/07/27 Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Manuel Eberl
2020/07/27 Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Chun Tian (binghe)
2020/07/26 [Hol-info] Various "models" of extended reals and impacts in Fubini's theorem Chun Tian (binghe)
2020/07/25 [Hol-info] FTfJP 2020 (virtual) - Call for Participation - 23.07.2020 Oortwijn Wytse
2020/07/25 [Hol-info] CfP SAC-SVT 2021 Erika Abraham
2020/07/25 [Hol-info] CICM 2020 - Call for (free) Participation geoff
2020/07/25 [Hol-info] [CfP-Extended Deadline] ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming Laura Pandolfo
2020/07/25 [Hol-info] [Last CfP- Extended Deadline] CAUSAL 2020: Workshop on Causal Reasoning and Explanation in Logic Programming Laura Pandolfo
2020/07/10 [Hol-info] CICM 2020, July 26-31: Call for Online Participation Serge Autexier
2020/07/07 [Hol-info] [CfP] EELP 2020 - The Second Workshop on Epistemic Extensions of Logic Programming Laura Pandolfo
2020/07/07 [Hol-info] FMBC 2020 - Call for Participation Bruno Bernardo
2020/07/02 [Hol-info] World Congress of Education 2021 (WCE-2021) Saburou Saitoh
2020/07/02 [Hol-info] [2nd CfP] ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming Laura Pandolfo
2020/07/02 [Hol-info] [CfP] PLP-2020: The Seventh Workshop on Probabilistic Logic Programming Laura Pandolfo
2020/06/30 [Hol-info] 2nd cfp FROM motogna
2020/06/30 [Hol-info] Deadline Extension: ASPOCP 2020 markus hecher
2020/06/30 [Hol-info] [2nd CfP] CAUSAL 2020 - Workshop on Causal Reasoning and Explanation in Logic Programming Laura Pandolfo
2020/06/30 [Hol-info] [CfP] ICLP DC 2020 - 16th Doctoral Consortium on Logic Programming Laura Pandolfo
2020/06/24 Re: [Hol-info] Installation Problem of HOL-Light Petros Papapanagiotou
2020/06/24 Re: [Hol-info] Installation Problem of HOL-Light elif deniz
2020/06/23 Re: [Hol-info] Installation Problem of HOL-Light Freek Wiedijk
2020/06/23 Re: [Hol-info] Installation Problem of HOL-Light Petros Papapanagiotou
2020/06/22 [Hol-info] LFMTP2020 Call for Participation Claudio Sacerdoti Coen
2020/06/22 [Hol-info] Installation Problem of HOL-Light elif deniz
2020/06/17 [Hol-info] CILC 2020 - Second Call For Papers cfp
2020/06/17 [Hol-info] CAUSAL 2019 Call for Papers (workshop of ICLP 2020) Emily LeBlanc via hol-info
2020/06/17 [Hol-info] [Call for Participation] SAT 2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing Laura Pandolfo
2020/06/17 [Hol-info] ECAI2020 goes Digital and Open LUIS MAGDALENA
2020/06/10 [Hol-info] CFP - Recent Published Research Track (KR 2020) Theofanis I. Aravanis
2020/06/10 [Hol-info] ThEdu'20/EPTCS proceedings 2nd call for papers Walther Neuper
2020/06/10 [Hol-info] [CfP] CASUAL2020: Workshop on Causal Reasoning and Explanation in Logic Programming Laura Pandolfo
2020/06/10 [Hol-info] IJCAR 2020 - Call for Participation geoff
2020/05/26 [Hol-info] More on "References about mistakes and gaps in papers" Andrei Popescu
2020/05/24 [Hol-info] cfp Working Formal Methods Symposium (FROM 2020) motogna
2020/05/24 [Hol-info] [Final CFP and Updated Schedule] ICLP 2020 - The 36th International Conference on Logic Programming Laura Pandolfo
2020/05/24 [Hol-info] FTfJP 2020 (virtual): Second CFP Oortwijn Wytse
2020/05/24 [Hol-info] KR2020 - Doctoral Consortium Call for Applications Theofanis I. Aravanis
2020/05/19 [Hol-info] ICFEM'20 - submission deadline extended Jeremy Dawson
2020/05/17 [Hol-info] [fm-announcements] Call for Participation - 12th NASA Formal Methods Symposium (NFM2020) Mavridou, Anastasia (ARC-TI)[KBR Wyle Services, LLC] via fm-announcements via hol-info
2020/05/17 [Hol-info] CILC 2020 - First Call For Papers cfp
2020/05/17 [Hol-info] SMT 2020: Final Call for Papers Tjark Weber
2020/05/17 [Hol-info] CFP - Recent Published Research Track (KR 2020) Theofanis I. Aravanis
2020/05/17 [Hol-info] PPDP 2020 deadline extension Andreas Abel
2020/05/17 [Hol-info] FMBC 2020: 2nd Workshop on Formal Methods for Blockchains (3rd CfP, Deadline Extension) Bruno Bernardo
2020/05/17 [Hol-info] Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc) Rozman, Mihaela
2020/05/02 [Hol-info] CASC-J10 - The CADE ATP System Competition geoff
2020/05/02 [Hol-info] ThEdu'20/EPTCS Post-proceedings - Open Call for Papers Walther Neuper
2020/05/02 [Hol-info] SEFM - Deadline extension and move to virtual modality Jacopo Mauro
2020/05/02 [Hol-info] SMT 2020: Revised Call for Papers Tjark Weber
2020/05/02 [Hol-info] FTfJP 2020 - Deadline Extended Oortwijn Wytse
2020/05/02 [Hol-info] ICFEM'20 deadline extended to 17th May 2020 Jeremy Dawson
2020/05/01 [Hol-info] WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming) Claudio Sacerdoti Coen
2020/04/26 [Hol-info] RW 2020 - Call for Applications for the 16th Reasoning Web Summer School manna
2020/04/21 [Hol-info] [CfP] ICLP2020 Main Track: The 36th International Conference on Logic Programming Laura Pandolfo
2020/04/21 [Hol-info] iFM 2020 (Integrated Formal Methods): Call for Papers iFM 2020
2020/04/21 [Hol-info] FMBC 2020: 2nd Workshop on Formal Methods for Blockchains (CfP, Deadline Extension) Bruno Bernardo
2020/04/21 [Hol-info] LFMTP 2020 CFP (UPDATES due to Coronavirus) Claudio Sacerdoti Coen
2020/04/21 [Hol-info] [CfP] ICLP2020 Applications Track: The 36th International Conference on Logic Programming Laura Pandolfo
2020/04/21 [Hol-info] [CfP] ICLP2020 Sister Conferences and Journal Presentation Track: The 36th International Conference on Logic Programming Laura Pandolfo
2020/04/21 [Hol-info] [CfP] ICLP2020 The Research Challenges Track: The 36th International Conference on Logic Programming Laura Pandolfo
2020/04/21 [Hol-info] [CfP] Special Session: Women in Logic Programming - ICLP2020 Laura Pandolfo
2020/04/16 [Hol-info] POPL 2021 - Call for Workshops and Co-located Events - due 2020-05-29 Michael Greenberg
2020/04/16 [Hol-info] Certified Programs and Proofs (CPP) 2021: First Call for Papers Andrei Popescu
2020/04/13 [Hol-info] CFP SEFM - International Conference on Software Engineering and Formal Methods Jacopo Mauro
2020/04/06 [Hol-info] Assistant Professor Position in Computer Science with focus on Cybersecurity Jacopo Mauro
2020/04/06 [Hol-info] [CfP] ICLP2020 -The 36th International Conference on Logic Programming Laura Pandolfo
2020/04/01 [Hol-info] CFP - ICFEM 2020 - Int'l Conf on Formal Engineering Methods Jeremy Dawson
2020/03/31 [Hol-info] POPL 2021 Call for Papers -- deadline Thursday, July 9th, AoE Michael Greenberg
2020/03/29 [Hol-info] CFP - Recent Published Research Track (KR 2020) Theofanis I. Aravanis
2020/03/29 [Hol-info] 2nd Call for Workshop Proposals - The 36th International Conference on Logic Programming (ICLP2020) Laura Pandolfo
2020/03/26 [Hol-info] 2nd Workshop on Formal Methods for Blockchains (FMBC) 2020 - 1st CFP Bruno Bernardo
2020/03/20 [Hol-info] 2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01) Achim D. Brucker
2020/03/20 [Hol-info] Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08) Achim D. Brucker
2020/03/18 [Hol-info] FTfJP 2020 - Call for Papers Oortwijn Wytse
2020/03/18 [Hol-info] [CfP] ICLP 2020 - The 36th International Conference on Logic Programming: The Research Challenges Track Laura Pandolfo
2020/03/18 [Hol-info] [CfP] ICLP 2020 - Sister Conferences and Journal Presentation Track Laura Pandolfo
2020/03/18 [Hol-info] Alonzo Church Award - Call for Nominations geoff
2020/03/18 [Hol-info] [CfP] ICLP 2020 - The 36th International Conference on Logic Programming: Applications Track Laura Pandolfo
2020/03/16 [Hol-info] Call For Papers :International Conference on Artificial Intelligence and Big Data (AIBD 2020) alfialeo via hol-info
2020/03/12 [Hol-info] *New Extended FIRM Deadline* - IEEE WETICE 2020 Stefano Forti
2020/03/12 [Hol-info] MARKTOBERDORF SUMMER SCHOOL 2020: CALL FOR PARTICIPATION Pretschner, Alexander
2020/03/12 [Hol-info] PAAR 2020 CFP - 7th Workshop on Practical Aspects of Automated Reasoning geoff
2020/03/06 [Hol-info] Call for Papers : [MLCL 2020]International Conference on Machine learning and Cloud Computing :June 20~21, 2020, Dubai, UAE alfialeo via hol-info
2020/03/05 [Hol-info] CILC 2020 - Preliminary Call For Papers Simona Perri
2020/03/05 [Hol-info] WST 2020 - 2nd Call for Papers Samir Genaim
2020/03/05 [Hol-info] CFP: 17th Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Theofanis I. Aravanis
2020/03/03 [Hol-info] PPDP 2020 Call For Papers Andreas Abel
2020/03/03 [Hol-info] PPDP 2020 Call For Papers (corrected link) Andreas Abel
2020/03/02 [Hol-info] CICM 2020, July 26-31: Call for Papers, extended submission deadline abstracts March 16, 2020/papers March 22, 2020 Serge Autexier
2020/02/29 [Hol-info] VerifyThis @ ETAPS 2020: Call for Participation + Travel Grants Siddharth Krishna
2020/02/29 [Hol-info] CFP: SEFM - International Conference on Software Engineering and Formal Methods Jacopo Mauro
2020/02/26 [Hol-info] QBFEVAL'20 - Competitive Evaluation of QBF Solvers Luca Pulina
2020/02/26 [Hol-info] Tenth Summer School on Formal Techniques, May 16-22, 2020; First FMiTF Bootcamp, May 23-28, 2020, Atherton, California Natarajan Shankar via hol-info
2020/02/26 [Hol-info] Call for Workshop Proposal - 36th International Conference on Logic Programming (ICLP2020) Laura Pandolfo
2020/02/26 [Hol-info] IWIL-14 at LPAR-23 - Call for Papers geoff
2020/02/25 [Hol-info] CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning Claudio Sacerdoti Coen
2020/02/23 [Hol-info] Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening? Ken Kubota
2020/02/20 Re: [Hol-info] Using @ for multiple selections in HOL Light jpe...@student.bham.ac.uk
2020/02/18 Re: [Hol-info] Using @ for multiple selections in HOL Light John R Harrison
2020/02/18 Re: [Hol-info] Using @ for multiple selections in HOL Light Konrad Slind
2020/02/18 Re: [Hol-info] Using @ for multiple selections in HOL Light Norrish, Michael (Data61, Acton)
2020/02/18 [Hol-info] LPAR-23 - Call for Workshops and Tutorials geoff
2020/02/18 [Hol-info] Using @ for multiple selections in HOL Light jpe...@student.bham.ac.uk
2020/02/16 [Hol-info] SMT 2020: Call for Papers Tjark Weber
2020/02/16 [Hol-info] CICM 2020 - Call for Papers geoff
2020/02/15 [Hol-info] CICM 2020, July 26-31: Invited Speakers & Second Call for Papers Serge Autexier
2020/02/11 [Hol-info] LPAR-23 - Extended deadlines geoff
2020/02/11 [Hol-info] RAMiCS 2020 - CFP Michael Winter
2020/02/10 [Hol-info] Postdoc position: verified timing-channel security for seL4 Toby Murray
2020/02/06 [Hol-info] Senior Postdoc / Project Coordinator position in Information Security and Program Verification at ETH Zurich Christoph Sprenger
2020/02/04 [Hol-info] ThEdu'20 at the Summer of LoVe - cfp Walther Neuper
2020/01/29 [Hol-info] 24th European Conference on Artificial Intelligence (ECAI 2020) LUIS MAGDALENA
2020/01/29 [Hol-info] 13th International Conference on Graph Transformation (ICGT2020): Call for Paper Fabio Gadducci
2020/01/29 [Hol-info] 2020 Alonzo Church Award - Call for Nominations geoff
2020/01/29 [Hol-info] [CfP] ICLP2020 - The 36th International Conference on Logic Programming Laura Pandolfo
2020/01/19 [Hol-info] TTCS 2020 - deadline extended to the 16th of February Renato Neves
2020/01/19 [Hol-info] RAMiCS CFSC Michael Winter
2020/01/11 [Hol-info] MARS 2020 - CALL FOR PAPERS - Dublin (Ireland) - April 26, 2020 (Extended deadline 20 January 2020) ansgar.fehn...@utwente.nl
2020/01/11 [Hol-info] [CfP] SAT2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing Luca Pulina
2020/01/11 [Hol-info] WST 2020 Call for Papers Samir Genaim
2019/12/30 [Hol-info] LPAR-23 Call for Papers geoff
2019/12/24 [Hol-info] TTCS 2020 - 2nd Call for Papers Renato Neves
2019/12/19 [Hol-info] IJCAR 2020 - Call for Papers geoff
2019/12/18 [Hol-info] semantics/verification postdoc positions at Cambridge Peter Sewell
2019/12/16 [Hol-info] PADL 2020 Call for Participation Yi Tong
2019/12/16 [Hol-info] 6th International Conference on Advanced Computing (ADCOM-2020)/April 25~26, 2020, Copenhagen, Denmark alfialeo via hol-info
2019/12/13 [Hol-info] CICM 2020, July 26-31: First Call for Papers & Call for Workshop and Tutorial Proposals Serge Autexier
2019/12/12 [Hol-info] [fm-announcements] NFM 2020 Paper Submission Extension Mavridou, Anastasia (ARC-TI)[SGT, INC] via fm-announcements via hol-info
2019/12/04 [Hol-info] Isabelle/HOL and Division by zero Saburou Saitoh
2019/12/04 [Hol-info] [CfP] SAT2020 - The 23rd International Conference on , , Theory and Applications of Satisfiability Testing Luca Pulina
2019/12/03 [Hol-info] Open Position: Lecturer in Cybersecurity - University of Exeter Achim D. Brucker
2019/12/01 [Hol-info] Call for participation for CPP 2020 Catalin Hritcu
2019/11/25 [Hol-info] Artificial Intelligence and Theorem Proving 2020 - Second Call for Papers geoff
2019/11/20 [Hol-info] 7th COSIT 2020-Call for proposals alfialeo via hol-info
2019/11/19 [Hol-info] ICGT 2020: Preliminary call for papers Timo Kehrer
2019/11/19 [Hol-info] ICALP-LICS 2020 Call for Workshops Frédéric Blanqui
2019/11/18 [Hol-info] TTCS 2020 - Call for papers Renato Neves
2019/11/18 [Hol-info] AAAI-20 Workshop on Privacy Preserving AI [Submission deadline approaching!] Fioretto, Ferdinando
2019/11/18 [Hol-info] LAST CALL for some events of the 24th European Conference on Artificial Intelligence (ECAI 2020). LUIS MAGDALENA
2019/11/18 Re: [Hol-info] hol-online not working Ramana Kumar
2019/11/14 [Hol-info] hol-online not working Miranda, Brando
2019/11/10 Re: [Hol-info] grammar for HOL Light terms Ken Kubota
2019/11/09 Re: [Hol-info] grammar for HOL Light terms Norrish, Michael (Data61, Acton)
2019/11/09 [Hol-info] [fm-announcements] NFM 2020 Call for papers Mavridou, Anastasia (ARC-TI)[SGT, INC] via fm-announcements via hol-info
2019/11/09 Re: [Hol-info] grammar for HOL Light terms Mark Adams
2019/11/09 Re: [Hol-info] grammar for HOL Light terms Petros Papapanagiotou
2019/11/08 [Hol-info] grammar for HOL Light terms Miranda, Brando
2019/11/05 [Hol-info] GCAI 2020 Conference and Doctoral Symposium - Calls for Papers and Participation geoff
2019/11/05 [Hol-info] IJCAR 2020 - Call for Papers geoff
2019/11/05 [Hol-info] MARS 2020 - CALL FOR PAPERS - Dublin (Ireland) - April 26, 2020 Hubert Garavel
2019/11/05 [Hol-info] Artificial Intelligence and Theorem Proving 2020 - Call for Papers geoff
2019/11/05 [Hol-info] CFP: The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence Fioretto, Ferdinando
2019/11/01 [Hol-info] POPL2020 Student Research Competition Deadline -- two weeks! Michael Greenberg
2019/10/29 [Hol-info] [CFP]7th International Conference on Artificial Intelligence and Applications (AIAPP 2020) January 25 ~ 26, 2020, Zurich, Switzerland alfialeo via hol-info
2019/10/26 Re: [Hol-info] Difference between sets formats Chun Tian
2019/10/26 Re: [Hol-info] Difference between sets formats Yassmeen Derhalli
2019/10/25 Re: [Hol-info] Difference between sets formats Thomas Tuerk
2019/10/25 [Hol-info] Difference between sets formats Yassmeen Derhalli
2019/10/12 [Hol-info] Third CFP: 24th European Conference on Artificial Intelligence (ECAI 2020) LUIS MAGDALENA
2019/10/12 [Hol-info] Deadline extension and final CFP Michael Winter
2019/10/12 [Hol-info] [CFP] The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence Fioretto, Ferdinando
2019/10/12 [Hol-info] 3y postdoc position in Abductive Inference for Natural Language Interpretation, Amsterdam, Deadline: 12 Oct 2019 Reinhard Muskens
2019/10/02 Re: [Hol-info] Simplify/normalize propositional logic terms? Norrish, Michael (Data61, Acton)
2019/10/01 Re: [Hol-info] Simplify/normalize propositional logic terms? Chun Tian (binghe)
2019/10/01 Re: [Hol-info] Simplify/normalize propositional logic terms? Chun Tian (binghe)
2019/10/01 Re: [Hol-info] Simplify/normalize propositional logic terms? Thomas Sewell
2019/09/30 Re: [Hol-info] Simplify/normalize propositional logic terms? Konrad Slind
2019/09/30 [Hol-info] Simplify/normalize propositional logic terms? Chun Tian (binghe)
2019/09/25 [Hol-info] FM'19 - Last call for participation Renato Neves
2019/09/23 [Hol-info] FMCAD 2019, Second Call for Participation barrett
2019/09/23 [Hol-info] Practical Aspects of Declarative Languages PADL2020: 2nd CFP Yi Tong
2019/09/23 [Hol-info] Multiple PhD and Postdoc positions in Information Security and Program Verification at ETH Zurich Christoph Sprenger
2019/09/23 [Hol-info] FMBC 2019 Call for Participation - Porto (Portugal), October 11 Bruno Bernardo
2019/09/20 Re: [Hol-info] A possible bug in ext_suminf (extrealTheory)? Chun Tian (binghe)
2019/09/19 Re: [Hol-info] A possible bug in ext_suminf (extrealTheory)? Norrish, Michael (Data61, Acton)
2019/09/19 Re: [Hol-info] A possible bug in ext_suminf (extrealTheory)? Chun Tian (binghe)
2019/09/19 Re: [Hol-info] A possible bug in ext_suminf (extrealTheory)? Chun Tian (binghe)
2019/09/19 Re: [Hol-info] A possible bug in ext_suminf (extrealTheory)? Norrish, Michael (Data61, Acton)
2019/09/18 [Hol-info] cfp ThEdu'19 post-proceedings Walther Neuper
2019/09/18 [Hol-info] Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam Sung-Shik Jongmans
2019/09/18 [Hol-info] Two PhD Positions in Privacy-Preserving Distributed AI, Syracuse University Fioretto, Ferdinando
2019/09/17 [Hol-info] A possible bug in ext_suminf (extrealTheory)? Chun Tian (binghe)
2019/09/14 [Hol-info] PADL 2020 Call for Papers Yi Tong
2019/09/14 [Hol-info] Extendend Deadline Software Verification and Testing at ACM/SIGAPP SAC2020 Matthias Güdemann
2019/09/14 [Hol-info] Deadlines approaching: 24th European Conference on Artificial Intelligence (ECAI 2020) LUIS MAGDALENA
2019/09/14 [Hol-info] FM'19 - 2nd Call for Participation Renato Neves
2019/09/14 [Hol-info] Third CFP - RAMiCS 2020 Michael Winter
2019/09/06 [Hol-info] CFP for Certified Programs and Proofs (CPP 2020) Catalin Hritcu
2019/08/31 [Hol-info] AIIA 2019 Doctoral Consortium Luca Pulina