hol-info  

Messages by Thread

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

• Earlier messages
• Later messages