hol-info

Messages by Date

2021/03/02 [Hol-info] KR 2021: Call for Workshop and Tutorial Proposals (Applications due March 17th) Thanh Dinh
2021/03/02 [Hol-info] [CFP] 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Thanh Dinh
2021/03/02 [Hol-info] LOPSTR 2021 - Preliminary Call For Papers Emanuele De Angelis
2021/02/28 [Hol-info] Call for Papers: 23rd Workshop on Formal Techniques for J(ust-about-any) Program 2021 David Cok
2021/02/25 [Hol-info] CFP: Special Track on AI for Tackling Dis/Misinformation during Pandemics @ ACM GoodIT2021 Chilean Scholar
2021/02/25 [Hol-info] Assistant and Associate Professorship Positions in Computer Science at the University of Southern Denmark Jacopo Mauro
2021/02/24 [Hol-info] RAMiCS 2021 - 2nd CFP luigi . santocanale
2021/02/24 [Hol-info] Bill McCune PhD Award in Automated Reasoning geoff
2021/02/24 [Hol-info] VerifyThis 2021: Call for Participation + Grants + Prizes Siddharth Krishna
2021/02/24 [Hol-info] F-IDE 2021 - Last Call for Papers - Extended Deadline Andrei Paskevich
2021/02/22 [Hol-info] Final CFP: IJCAI 2021 survey track Toby Walsh
2021/02/21 [Hol-info] 2nd CfP ThEdu'21 Walther Neuper
2021/02/20 [Hol-info] 14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021 Serge Autexier
2021/02/11 [Hol-info] PhD position in Formal Methods/Decompilation at the Open University of The Netherlands Freek Verbeek
2021/02/09 [Hol-info] 21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation Andrei Popescu
2021/02/08 Re: [Hol-info] Abstract algebra in HOL4 and Isabelle/HOL – Re: Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Konrad Slind
2021/02/07 Re: [Hol-info] Abstract algebra in HOL4 and Isabelle/HOL – Re: Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Ken Kubota
2021/02/07 [Hol-info] Call for Papers: Applications and Systems Track (KR2021) Thanh Dinh
2021/02/07 [Hol-info] Call for Papers: Recently Published Research (KR2021) Thanh Dinh
2021/02/07 [Hol-info] Call for Papers: Special Session on KR & Machine Learning (KR2021) Thanh Dinh
2021/02/05 Re: [Hol-info] Abstract algebra in HOL4 and Isabelle/HOL – Re: Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Norrish, Michael (Data61, Acton)
2021/02/05 [Hol-info] Abstract algebra in HOL4 and Isabelle/HOL – Re: Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Ken Kubota
2021/02/05 [Hol-info] KR 2021: Call for Workshop and Tutorial Proposals Thanh Dinh
2021/02/05 [Hol-info] [fm-announcements] Formal Methods for Industrial Critical Systems 2021 CfP Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
2021/02/03 Re: [Hol-info] Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Norrish, Michael (Data61, Acton)
2021/02/03 [Hol-info] CFP: 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Thanh Dinh
2021/02/03 [Hol-info] Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Ken Kubota
2021/02/02 [Hol-info] Release notes for HOL4, Kananaskis-14 Norrish, Michael (Data61, Acton)
2021/01/29 [Hol-info] Conference on Logic and Argumentation - Call for Papers geoff
2021/01/28 Re: [Hol-info] proof replay? John R Harrison
2021/01/28 Re: [Hol-info] proof replay? Konrad Slind
2021/01/28 Re: [Hol-info] proof replay? Konrad Slind
2021/01/28 Re: [Hol-info] proof replay? Konrad Slind
2021/01/28 Re: [Hol-info] proof replay? D. J. Bernstein
2021/01/27 [Hol-info] FORTE 2021: Last CfP Willemse, T.A.C.
2021/01/27 Re: [Hol-info] proof replay? Tjark Weber
2021/01/27 [Hol-info] 14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021 Serge Autexier
2021/01/26 [Hol-info] CFP: Workshop on the Role of Mathematical Reasoning in General Artificial Intelligence at ICLR 2021 Wenda Li
2021/01/25 Re: [Hol-info] proof replay? Mark Adams
2021/01/25 [Hol-info] proof replay? D. J. Bernstein
2021/01/18 [Hol-info] [Vardi-list] Postdoc Position - Analysis Techniques for DNNs Moshe Y Vardi
2021/01/17 [Hol-info] Call for Papers: Applications and Systems Track (KR 2021) Thanh Dinh
2021/01/17 [Hol-info] CFP SAT-2021: Deadline March 19th Jesús Giráldez Crú
2021/01/12 [Hol-info] RAMiCS 2021 - CFP luigi . santocanale
2021/01/12 [Hol-info] 2021 Alonzo Church Award - Call for Nominations Javier Esparza
2021/01/12 [Hol-info] [Vardi-list] 1/14/2021 - World-Logic-Day Lecture: From Aristotle to the iPhone Moshe Y Vardi
2021/01/12 [Hol-info] ITP 2021: Third Call for Papers Cezary Kaliszyk
2021/01/09 [Hol-info] Call for Papers: Special Session on KR & Machine Learning(KR2021) Hồng Thơm Đinh Thị
2021/01/08 [Hol-info] F-IDE 2021 - 2nd Call for Papers Andrei Paskevich
2021/01/07 [Hol-info] KR 2021: Call for Workshop and Tutorial Proposals Thành Đinh
2021/01/07 [Hol-info] Call for Papers: Recently Published Research (KR2021) Thanh Dinh
2021/01/07 [Hol-info] Call for Papers: Special Session on KR & Machine Learning (KR2021) Thanh Dinh
2021/01/06 [Hol-info] fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13) Andrei Popescu
2021/01/05 [Hol-info] WST 2021 - 1st Call for Papers Samir Genaim
2021/01/05 [Hol-info] CfP Theorem Proving Components for Educational Software at CADE-28 Walther Neuper
2021/01/05 [Hol-info] [fm-announcements] CPP 2021: Call for Participation and Lightning Talks Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
2021/01/05 [Hol-info] ITP2021: Second Call for Workshops (Deadline 11 January 2021) itp2021-workshops
2020/12/18 [Hol-info] POPL 2021 - Call for Participation Michael Greenberg
2020/12/10 [Hol-info] Verification internships at MPI institutes (Application, deadline 31st December) Heiko Becker
2020/12/09 [Hol-info] FORTE 2021: First CFP Kirstin Peters
2020/12/09 [Hol-info] 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Thanh Dinh
2020/12/07 [Hol-info] Postdoc and PhD Positions @ Iowa State University Kristin Yvonne Rozier
2020/12/07 [Hol-info] ITP2021: Call for Workshops itp2021-workshops
2020/12/03 Re: [Hol-info] HOL4 Datatype recursion on the right hand side of a function arrow Norrish, Michael (Data61, Acton)
2020/12/03 [Hol-info] HOL4 Datatype recursion on the right hand side of a function arrow Pablo Buiras
2020/12/02 [Hol-info] ITP 2021 : Second Call for Papers Liron Cohen
2020/11/30 [Hol-info] fully funded PhD position at University of Sheffield on the formal verification of industrial robots Andrei Popescu
2020/11/26 [Hol-info] Postdoc positions in automatic and interactive theorem proving, apply before December 3, 2020 Vasily Pestun
2020/11/26 [Hol-info] Announcing the release of PVS 7.1. Sam Owre via hol-info
2020/11/26 [Hol-info] [fm-announcements] NASA Formal Methods Symposium (NFM2021) -- Final CFP (Extended Deadline) Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
2020/11/26 [Hol-info] CADE-28: Call for Tutorials geoff
2020/11/26 [Hol-info] [fm-announcements] Release of NASA PVS Library v7.1 Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
2020/11/20 [Hol-info] two proof-assistant friendly posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020 Andrei Popescu
2020/11/15 [Hol-info] Call for Papers - SPIN 2021 Laarman, A.W.
2020/11/15 [Hol-info] LPOP 2020 Call for Participation Matthew Castellana
2020/11/15 [Hol-info] ICTAC 2020: Call for Participation Ka I Pun
2020/11/15 [Hol-info] [fm-announcements] NASA Formal Methods Symposium - 2nd CFP Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
2020/11/10 [Hol-info] POPL 2021 -- Call for Student Volunteers Michael Greenberg
2020/10/26 [Hol-info] PhD positions in the Dynamic Analysis Group - Faculty of Informatics - Università della Svizzera italiana (USI), Lugano, Switzerland Andrea Rosa
2020/10/21 [Hol-info] F-IDE 2021 - Call for Papers Andrei Paskevich
2020/10/20 [Hol-info] CADE-28 Call for Papers, Workshops, Tutorials, Competitions geoff
2020/10/20 [Hol-info] ITP 2021: Call for Papers Cezary Kaliszyk
2020/10/12 [Hol-info] iFM 2020 (Integrated Formal Methods): Call for (Virtual) Participation iFM 2020
2020/10/08 [Hol-info] CILC 2020 - Participation is FREE - Call For Participation cfp
2020/10/08 [Hol-info] [CfP] PADL 2021: Practical Aspects of Declarative Languages Jose F. Morales
2020/09/28 [Hol-info] POPL 2021 - Call for Tutorials (deadline 2020-10-28) Michael Greenberg
2020/09/25 [Hol-info] POPL 2021 - Student Research Competition - Call for Submissions (deadline: 2020-11-21) Michael Greenberg
2020/09/23 Re: [Hol-info] permutations of {0,1,...,n-1} D. J. Bernstein
2020/09/23 [Hol-info] [fm-announcements] NASA Formal Methods 1st CFP Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
2020/09/16 [Hol-info] CPP 2021 abstract deadline due very soon Andrei Popescu
2020/09/16 [Hol-info] CPP 2021 abstract deadline due soon (in ~23 hours) Andrei Popescu
2020/09/16 Re: [Hol-info] permutations of {0,1,...,n-1} D. J. Bernstein
2020/09/13 Re: [Hol-info] EVAL when equations have an antecedent Mario Xerxes Castelán Castro «Ksenia»
2020/09/11 [Hol-info] [ICLP 2020] Autumn School on Logic and Constraint Programming - Last Call for Participation Laura Pandolfo
2020/09/11 [Hol-info] KR2020 is about to start! Theofanis I. Aravanis
2020/09/09 Re: [Hol-info] permutations of {0,1,...,n-1} John R Harrison
2020/09/09 [Hol-info] permutations of {0,1,...,n-1} D. J. Bernstein
2020/09/07 Re: [Hol-info] [isabelle] More on "References about mistakes and gaps in papers" Makarius
2020/09/02 [Hol-info] LFMTP 2020 Post-Proceedings: Call for Papers Claudio Sacerdoti Coen
2020/09/01 [Hol-info] BOPL / PPDP 2020 call for participation (register until 3 Sep) Andreas Abel
2020/09/01 [Hol-info] [ICLP 2020] Autumn School - Call for participation Laura Pandolfo
2020/09/01 [Hol-info] SEFM 2020: Registration is open Jacopo Mauro
2020/09/01 [Hol-info] [fm-announcements] Certified Programs and Proofs (CPP) 2021: Final Call for Papers Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
2020/09/01 [Hol-info] Workshop on Logic and Practice of Programming Matthew Castellana
2020/08/17 [Hol-info] Certified Programs and Proofs (CPP) 2021: Final Call for Papers Andrei Popescu
2020/08/13 [Hol-info] CADE-28 Call for Papers, Workshops, Tutorials, and Competitions geoff
2020/08/09 Re: [Hol-info] Visualizing subgoals in a proof script Mario Xerxes Castelán Castro «Ksenia»
2020/08/07 Re: [Hol-info] Visualizing subgoals in a proof script Mark Adams
2020/08/07 Re: [Hol-info] Visualizing subgoals in a proof script Freek Wiedijk
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