hol-info  

Messages by Thread

• [Hol-info] [ICLP & LPNMR DC 2024] Application Submission Extension (August, 2 AOE) giuseppe . mazzotta
• [Hol-info] [ECAI-2024] Call for Participation: 27th European Conference on Artificial Intelligence Luis Magdalena
• [Hol-info] [ICLP & LPNMR DC 2024] Approaching Deadline (July, 21 AOE) giuseppe . mazzotta
• [Hol-info] Call for Papers: Scheme ‘24 (extended deadline: July 25th) Kristopher K Micinski via hol-info
• [Hol-info] ASPOCP 2024 @ ICLP- First Call for Paper cfp
• [Hol-info] 3rd Call for Papers: Mathematical User Interaction (MathUI'24) Serge Autexier
• [Hol-info] [LPNMR 2024] Deadline in Two Days (July, 4 AOE) giuseppe . mazzotta
• [Hol-info] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024 Serge Autexier
• [Hol-info] 1st CFP - CPP 2025 - Certified Programs and Proofs nicolas tabareau
• [Hol-info] [3rd Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: July 12, 2024 Serge Autexier
• [Hol-info] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada Serge Autexier
• [Hol-info] [ICLP & LPNMR DC 2024] Call For Papers giuseppe . mazzotta
• [Hol-info] [DATALOG 2.0 2024] Call For Papers giuseppe . mazzotta
• [Hol-info] SEFM'24 -- Last Call for papers Alexandre Madeira
• [Hol-info] [Deadline Extension - LPNMR 2024] Call For Papers giuseppe . mazzotta
• [Hol-info] ESSAI 2024 Early Registration deadline extended Manolis Koubarakis
• [Hol-info] FTfJP 2024 - Deadline extension Di Stefano, Luca
• [Hol-info] ITP 2024 Call for Participation (September 9-14 2024, Tbilisi, Georgia) Yves Bertot
• [Hol-info] [Vardi-list] OSSyM Workshop@CAV 2024 Moshe Vardi
• [Hol-info] [Approaching Deadline - LPNMR 2024] Call For Papers giuseppe . mazzotta
• [Hol-info] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024 Serge Autexier
• [Hol-info] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024 Serge Autexier
• [Hol-info] [Second Call for Papers] Women in Formal Methods (WiFM-2024) Serge Autexier
• [Hol-info] SEFM'24 -- Deadline extended! Alexandre Madeira
• [Hol-info] 18th International Conference on Reachability Problems - RP'24 geoff--- via hol-info
• [Hol-info] 19th International Conference on Integrated Formal Methods - iFM 2024 geoff--- via hol-info
• [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FCA-Doctoral Consortium Stavros Vassos via hol-info
• [Hol-info] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs Frédéric Blanqui
• [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Video Track First Call for Papers Stavros Vassos via hol-info
• [Hol-info] FTfJP 2024 - First CfP Di Stefano, Luca
• [Hol-info] [LPNMR 2024] Call For Papers giuseppe . mazzotta
• [Hol-info] CALL FOR PARTICIPATION - IEEE SMC-IT/SCC 2024 Simon Kolker
  • [Hol-info] CALL FOR PARTICIPATION - IEEE SMC-IT/SCC 2024 Simon Kolker
• [Hol-info] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024 Serge Autexier
• [Hol-info] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024 Serge Autexier
• [Hol-info] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024 Serge Autexier
• [Hol-info] FME Teaching Tutorial on May 24, 2024, 3 pm CEST: Prof Tiziana Margaria, University of Limerick, Ireland: Teaching Formal Methods in Germany vs. Ireland: experience from two very different systems Luigia Petre
• [Hol-info] FSEN 2025 - Call for Papers Bos, Petra van den (UT-EEMCS) via hol-info
• [Hol-info] 2nd cfp sefm'24 Alexandre Madeira
• [Hol-info] International Workshop on Quantification (QUANTIFY 2024) geoff
• [Hol-info] AITP 2024 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 12 Josef Urban
• [Hol-info] Final CFP with New Deadlines: Formal Methods Teaching Workshop Sekerinski, Emil
• [Hol-info] FACS 2024 - Third Call for Papers Marmsoler, Diego via hol-info
• [Hol-info] Call for Papers: Scheme '24 Kristopher K Micinski via hol-info
• [Hol-info] ETAPS 2025 – Call for Satellite Events Claudio MENGHI
• [Hol-info] HOL4 users' workshop - call for participation Hrutvik Kanabar
• [Hol-info] Second round of abstract submissions - WADT 2024 WADT 2024
• [Hol-info] 11th Rodin Workshop - Call for Abstracts Asieh Salehi Fathabadi via hol-info
• [Hol-info] The 18th International Conference on Reachability Problems - RP 2024 geoff
• [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FINAL CALL FOR PAPERS (April 24, 2024) Stavros Vassos via hol-info
• [Hol-info] IJCAR 2024: Call for Participation Peter Lammich via hol-info
• [Hol-info] Formal Methods Teaching Workshop (FMTea 2024) Call for Papers Sekerinski, Emil
• [Hol-info] [Approaching Deadline] LPNMR 2024 - Call for Workshops giuseppe . mazzotta
• [Hol-info] FACS 24 - Second Call for Papers Marmsoler, Diego via hol-info
• [Hol-info] IJCAR: Woody Bledsoe Award: Call for Nominations Peter Lammich via hol-info
• [Hol-info] 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation Marmsoler, Diego via hol-info
• [Hol-info] PAAR 2024 - Call for Papers - Extended Deadlines geoff
• [Hol-info] [ECAI-2024] Submission deadline approaching Luis Magdalena
• [Hol-info] iFM 2024 Call for Papers geoff
• [Hol-info] LPAR 2024 short presentation papers - CFP geoff
• [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - TUTORIAL AND WORKSHOP PROPOSALS EXTENDED DEADLINE Stavros Vassos
• [Hol-info] CICM 2024 - Extended deadline - Call for Papers geoff
• [Hol-info] Call for Tutorial Papers at FM 2024: deadline approaching —> April 19! Luigia Petre
• [Hol-info] PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems (Deadline: 2024-04-18) Achim D. Brucker
• [Hol-info] FME Teaching Tutorial on March 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck Luigia Petre
• [Hol-info] [ECAI-2024] Call for Nominations for the EurAI Dissertation Award Luis Magdalena
• [Hol-info] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• [Hol-info] ThEdu'24 - 2nd Call for Extended Abstracts Walther Neuper via hol-info
• [Hol-info] Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31) Achim D. Brucker
• [Hol-info] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent Vineet Rajani
• [Hol-info] 1st cfp of SEFM'24 Alexandre Madeira
• [Hol-info] LPNMR 2024 - Call for Workshops giuseppe . mazzotta
• [Hol-info] EKAPI 2024 - Call for Papers giuseppe . mazzotta
• [Hol-info] LPNMR 2024 - Preliminary Call for Papers giuseppe . mazzotta
• [Hol-info] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - KR in the Wild (Special Track) Stavros Vassos
• [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Reasoning, Learning, and Decision Making (Special Track) Stavros Vassos
• [Hol-info] GandALF 2024, Reykjavik, Iceland: Call for papers Adrian Francalanza
• [Hol-info] 2nd Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024 Saverio Giallorenzo
• [Hol-info] AITP 2024 - Call for Contributions Josef Urban
• [Hol-info] IJCAR 2024 Workshops geoff
• [Hol-info] International Logic Olympiad geoff
• [Hol-info] ITP 2024, Interactive Theorem Proving: Last Call For Papers Yves Bertot
• [Hol-info] LPAR-25, Call for Short Presentation Papers geoff
• [Hol-info] [RFC] EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages Johnathan Mercer
• [Hol-info] ITP 2024: Call for Workshop and Tutorial Proposals Besik Dundua
• [Hol-info] FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line Luigia Petre
• [Hol-info] Bill McCune PhD Award in Automated Reasoning 2024 Call for Nominations geoff
• [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FIRST CALL FOR TUTORIAL AND WORKSHOP PROPOSALS Stavros Vassos
• [Hol-info] [ECAI-2024] Call for PC Members for ECAI-2024 Luis Magdalena
• [Hol-info] ITP 2024 : Second call for papers Yves Bertot
• [Hol-info] Call for Bids to Host FroCoS-ITP-TABLEAUX 2025 Magnus Myreen
• [Hol-info] ICGT '24 Final Call for Papers Jens Kosiol via hol-info
• [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FIRST CALL FOR PAPERS Stavros Vassos
• [Hol-info] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24) Claudio Sacerdoti Coen
• [Hol-info] Final Call for ESSAI 2024 Course Proposals: Deadline 7 February Manolis Koubarakis
• [Hol-info] 2024 Alonzo Church Award, Call for Nominations igw
• [Hol-info] CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• [Hol-info] Deadline Extension CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024) Saverio Giallorenzo
• [Hol-info] [ECAI-2024] Deadline for Tutorial Proposals approaching Luis Magdalena
• [Hol-info] First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS) Marmsoler, Diego via hol-info
• [Hol-info] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024) Josef Urban
  • Re: [Hol-info] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024) Josef Urban
• [Hol-info] ThEdu'24 - Open Call for Extended Abstracts Walther Neuper via hol-info
• [Hol-info] FMBC 2024 – Fourth Call for Papers (deadline extension) Marmsoler, Diego via hol-info
• [Hol-info] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• [Hol-info] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024 Marco Peressotti via hol-info
• [Hol-info] FME Teaching Tutorial on January 26, 2024, 3pm CEST: Prof Alcino Cunha, University of Minho, Portugal: Teaching Alloy with Alloy4Fun Luigia Petre
• [Hol-info] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024 Serge Autexier
• [Hol-info] FMBC 2024 - Third Call for Papers Marmsoler, Diego via hol-info
• [Hol-info] IJCAR 2024: Final Call for Papers Peter Lammich via hol-info
• [Hol-info] SPIN 2024: second Call for Papers (deadline extension) Thomas Neele via hol-info
• [Hol-info] [ECAI-2024] Deadline for Workshop Proposals approaching (and more!) Luis Magdalena
• [Hol-info] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024 Andrei Popescu
  • Re: [Hol-info] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024 Andrei Popescu
• [Hol-info] ESSAI 2024 CALL FOR COURSE PROPOSALS Manolis Koubarakis
• [Hol-info] FMBC 2024 - Second Call for Papers Marmsoler, Diego via hol-info
• [Hol-info] Interactions Between Proof Assistants and Mathematical Software at ICMS 2024 (call for abstracts) Alex J Best
• [Hol-info] ITP 2024: First Call for Papers Yves Bertot
• [Hol-info] Certified Programs and Proofs (CPP'24) - Call for Participation Brigitte Pientka
• [Hol-info] Second Call for Papers IEEE SMC-IT/SCC 2024 Simon Kolker
• [Hol-info] [Vardi-list] Jan 12th, 2024: Moshe Vardi - What Came First, Math or Computing? Moshe Vardi
• [Hol-info] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24) Kristopher K Micinski via hol-info
• [Hol-info] IJCAR 2024: 2nd call for co-located events Peter Lammich via hol-info
• [Hol-info] 2024 Alonzo Church Award Call for Nominations geoff
• [Hol-info] ECAI-2024: Call for Papers, Tutorial Proposals and Workshop Proposals Luis Magdalena
• [Hol-info] MARS 2024 - CALL FOR PAPERS - Luxembourg City (Luxembourg) - April 6th, 2024 mars2024
• [Hol-info] CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers geoff
• [Hol-info] FMBC 2024 - First Call for Papers Marmsoler, Diego via hol-info
• [Hol-info] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• [Hol-info] ICGT 2024: First Call for Papers Jens Kosiol via hol-info
• [Hol-info] Fwd: [isabelle] New in the AFP: Eudoxus Reals Ken Kubota
• [Hol-info] IJCAR 2024: call for co-located events Peter Lammich via hol-info
• [Hol-info] IJCAR 2024 - Call for Papers geoff
• [Hol-info] Post-doc job offering in SAT/SMT at Australian National University Michael Norrish via hol-info
• [Hol-info] Postdoc position in Formal Methods at University of Exeter Marmsoler, Diego via hol-info
  • [Hol-info] Postdoc position in Formal Methods at University of Exeter Marmsoler, Diego via hol-info
• [Hol-info] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications geoff
• [Hol-info] ACL2-2023 Second Call for Participation Matt Kaufmann
• [Hol-info] LOPSTR 2023 - Final Call for Participation Daniel Jurjo
• [Hol-info] 2nd Call for Papers Proceedings for ThEdu'23 - Theorem Proving Components for Educational Software walther.neuper via hol-info
• [Hol-info] CfP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024) Martin Gebser
• [Hol-info] NFM 2024 Call for Papers Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC] via hol-info
• [Hol-info] SPIN 2024: first Call for Papers Thomas Neele via hol-info
• [Hol-info] Call for Participation: ANU Logic Summer School, Dec 4 – 15, 2023 Jim de Groot via hol-info
• [Hol-info] Research Associate at the University of Kent, Canterbury, UK Mark Batty
• [Hol-info] 2nd CFP - CPP 2024 - Certified Programs and Proofs Brigitte Pientka
• [Hol-info] CICM 2023 - Call for Participation Serge Autexier
• [Hol-info] KR 2023 - Extension of Early Registration Deadline Theofanis I. Aravanis
• [Hol-info] Final CfP: German Deduction Meeting (Deduktionstreffen), Sept 26, Berlin Florian Rabe
• [Hol-info] The Math Genome Project John Mercer
• [Hol-info] FROM 2023 – THIRD CALL FOR PAPERS Andrei Sipoș
• [Hol-info] ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION Andrei Sipoș
• [Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2023) Alexander Romanovsky
  • [Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2023) Alexander Romanovsky
• [Hol-info] ThEdu'23 proceedings - cfp Walther Neuper via hol-info
• [Hol-info] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023 Serge Autexier
• [Hol-info] TPTP v8.2.0 released geoff
• [Hol-info] FMCAD 2023 Student Forum: Call for Contributions Rozier, Kristin-Yvonne [AER E]
• [Hol-info] RSSRail 2023: Reliability, safety and security of railway systems. Call for posters Alexander Romanovsky
• [Hol-info] PhD student in Computing Science on safe and efficient programming languages Tjark Weber
• [Hol-info] CfP High-Performance Computing and Formal Methods: Deadline July 10th 2023 Rosemary Monahan
• [Hol-info] FM Teaching Tutorial on June 16, 3 pm CEST: Prof. Laura Kovács, Vienna University of Technology, Austria: Teaching Formal Reasoning at TU Wien Luigia Petre
• [Hol-info] Call for Participation :: ICGT'23 (16th International Conference on Graph Transformation) Christopher Michael POSKITT
• [Hol-info] Call for participation: VALU3S Summer School on Validation and Verification of Dependable CPS Rosemary Monahan
• [Hol-info] Deadline Extension: CfP SEFM’23, 16 June Carla Ferreira
• [Hol-info] KR 2023 - Extension of Workshops Paper Submission Deadlines up to 12 June, 2023! Theofanis I. Aravanis
• [Hol-info] ITP 2023 Call for Participation Thiemann , René
• [Hol-info] [EXTENDED DEADLINE] CAUSAL 2023 Workshop on Causal Reasoning and Explanation in Logic Programming -- Co-located with ICLP 2023 Emily LeBlanc
• [Hol-info] Extended submission deadline -- FTfJP 2023 Aaron Tomb
• [Hol-info] iFM 2023 - Second Call for Papers Laarman, A.W. (Alfons) via hol-info
• [Hol-info] CADE-29 CALL FOR PARTICIPATION geoff
• [Hol-info] LPAR-24 in 2023, Manizales Colombia, Registration is Open geoff
• [Hol-info] ASPOCP 2023 @ ICLP- EXTENDED DEADLINE cfp
• [Hol-info] CAUSAL 2023: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2023) Emily C LeBlanc via hol-info
• [Hol-info] FroCoS 2023 deadline extension geoff
• [Hol-info] 14th IWIL workshop, FINAL CALL FOR PAPERS: 2nd Round Deadline May 15th AoE 2023 geoff
• [Hol-info] GCM '23: Deadline Extension Jens Kosiol via hol-info
• [Hol-info] [fm-announcements] FMICS 2023 - Deadline extension Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
• [Hol-info] LPAR-24 (June 2023) - Call for Short Papers geoff
• [Hol-info] 7th Vampire workshop - Call for Papers geoff
• [Hol-info] LOPSTR 2023 (Lisbon) - Final Call for Papers - Paper Deadline: May 26, 2023. daniel . jurjo
• [Hol-info] TABLEAUX 2023 - FINAL CALL FOR PAPERS (DEADLINE EXTENDED 21 MAY 2023) Josef Urban
• [Hol-info] FMCAD 2023: Final Call for Papers with *** Deadlines Extension *** Rozier, Kristin-Yvonne [AER E]
• [Hol-info] SEFM 2023: Call for Papers Willemse, Tim via hol-info
• [Hol-info] CfP RSSRail 2023 - extended submission deadline Alexander Romanovsky
• [Hol-info] ASPOCP 2023 @ ICLP- First Call for Paper cfp
• [Hol-info] Special Issue on Dynamic Logics at JLAP - Deadline Extension Carlos Areces
• [Hol-info] AITP 2023 - Second Call for Contributions Josef Urban
• [Hol-info] FM Teaching Tutorial on April 28, 3 pm CEST: Assoc Prof Stefan Hallerstede (Aarhus University, Denmark): A guide to Not teaching Formal Methods Luigia Petre
• [Hol-info] Call for Papers -- Formal Techniques for Java-Like Programs 2023 Aaron Tomb
• [Hol-info] FSEN 2023 Call for Participation - free virtual registration Maurice ter Beek
• [Hol-info] GCM 2023: Final Call for Papers Jens Kosiol via hol-info
• [Hol-info] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield Andrei Popescu
• [Hol-info] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023. daniel . jurjo
• [Hol-info] Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation Christopher Michael POSKITT
• [Hol-info] SEFM 2023: First Call for Papers Willemse, Tim via hol-info
• [Hol-info] [fm-announcements] FMICS 2023 - Second call for papers Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
• [Hol-info] CICM 2023, Extended deadlines 3.4.2023 (abstracts) / 10.4.2023 (full paper) Serge Autexier
• [Hol-info] CFP: 14th International Workshop on the Implementation of Logics geoff

• Earlier messages