hol-info  

Messages by Thread

• [Hol-info] 3rd CfP - JELIA 2025 - 19th European Conference on Logics in AI giovanni.casini via hol-info
• [Hol-info] FTfJP 2025 - Last CfP (extended deadline) Crystal Chang Din
• [Hol-info] Call for Papers: 23rd International Workshop on Satisfiability Modulo Theories geoff--- via hol-info
• [Hol-info] CICM 2025: 3rd Announcement and Call for Papers Serge Autexier
• [Hol-info] FTfJP 2025 - Second Call for Papers Crystal Chang Din
  • [Hol-info] FTfJP 2025 - Second Call for Papers Crystal Chang Din
• [Hol-info] 2nd call for papers DaLí 2025 Alexandre Madeira
• [Hol-info] Marktoberdorf 2025 CFP geoff--- via hol-info
• [Hol-info] [ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• [Hol-info] [Second Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025 Manuel Alejandro Borroto Santana
• [Hol-info] Call for Papers - The 28th Forum on specification and Design Languages (FDL) Johannes Koch
• [Hol-info] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!" Luigia Petre
• [Hol-info] [ICLP DC 2025 - Call for Papers] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• [Hol-info] Professorhip in » Logic and Verification in Computer Science « Javier Esparza
• [Hol-info] ETAPS 2025 - CALL FOR PARTICIPATION Claudio MENGHI
• [Hol-info] ESOP 2026 - Call for Papers Claudio MENGHI
• [Hol-info] HOL4 users' workshop 2025 - call for participation Hrutvik Kanabar
• [Hol-info] 2nd CfP - JELIA 2025 - 19th European Conference on Logics in AI giovanni.casini via hol-info
• [Hol-info] Midlands Graduate School 2025 final call -- registration closes on 24 March Andrei Popescu
• [Hol-info] AITP 2025 - Call for Contributions Josef Urban
• [Hol-info] ITP 2025: Call for self-nomination of external reviewers (deadline: March 21) Yannick Forster
• [Hol-info] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia Serge Autexier
• [Hol-info] CfP RSSRail 2025, Int. Conf. on Reliability, Safety and Security of Railway Systems Alexander Romanovsky
• [Hol-info] CFP: Collection on “Bridging Formal Verification and Neural Networks: Ensuring Reliable Networked Systems” for Discover Networks (Springer Nature) Osman Hasan via hol-info
• [Hol-info] FTfJP 2025 - First Call for Papers Crystal Chang Din
• [Hol-info] 2nd CFP CONCUR Jaco van de Pol via hol-info
  • [Hol-info] FINAL CFP: CONCUR 2025 Jaco van de Pol via hol-info
• [Hol-info] [ICLP 2025 - First Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• [Hol-info] ITP 2025: Second Call for Papers Yannick Forster
• [Hol-info] [ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• [Hol-info] [fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025 Ivan Ruchkin via fm-announcements via hol-info
• [Hol-info] [fm-announcements] LOPSTR 2025 call for papers Laura Titolo via fm-announcements via hol-info
• [Hol-info] FME Teaching Tutorial on February 28, 2025 3 pm CET: Prof Mariëlle Stoelinga, University of Twente, The Netherlands, on Life long learning — experience with educational programs for professionals Luigia Petre
• [Hol-info] DaLí 2025, 1st call for papers Alexandre Madeira
• [Hol-info] KR 2025: The 22nd International Conference on Principles of Knowledge Representation and Reasoning Nico Potyka
• [Hol-info] Postdoc position in formal verification of multi-agent systems Vadim Malvone
  • [Hol-info] Postdoc position in formal verification of multi-agent systems Vadim Malvone
• [Hol-info] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia Serge Autexier
• [Hol-info] [Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025 Manuel Alejandro Borroto Santana
• [Hol-info] SPIN: Final Call for Papers Rozier, Kristin-Yvonne [AER E] via hol-info
• [Hol-info] FSEN 2025 - Call for Participation Petra van den Bos via hol-info
• [Hol-info] OptLearnMAS 2025: Call for Papers optlearnmas-chairs via hol-info
• [Hol-info] 2025 Summer School on Formal Techniques, Atherton, California, May 24-30, 2025 Natarajan Shankar via hol-info
• [Hol-info] FroCoS 2025 - Call for Papers geoff--- via hol-info
• [Hol-info] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10) Achim D. Brucker
• [Hol-info] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• [Hol-info] ITP 2025: First Call for Papers Yannick Forster
• [Hol-info] AAAI 2025 Tutorial on Machine Learning for Solvers geoff--- via hol-info
• [Hol-info] [ICLP 2025 - Preliminary Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Francesco Calimeri
• [Hol-info] First CfP - JELIA 2025 - 19th European Conference on Logics in AI giovanni.casini via hol-info
• [Hol-info] FMBC25 - Second Call for Papers Marmsoler, Diego via hol-info
• [Hol-info] World Logic Day 2025 + GRAPHIC DESIGN CHALLENGE FOR WLD 2026 Happy UNESCO World Logic Day 2025! wld.assistantcoordinator
• [Hol-info] [fm-announcements] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel via fm-announcements via hol-info
• [Hol-info] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• [Hol-info] European Conference on Artificial Intelligence - ECAI 2025 Federico Chesani
• [Hol-info] [Vardi-list] World Logic Day Lecture: Homo Ratiocinator (Reckoning Human)- 1/14/25 Moshe Vardi
• [Hol-info] VSS 2025: Call for Papers Stephen Siegel
• [Hol-info] 1st CFP CONCUR 2025 Jaco van de Pol via hol-info
• [Hol-info] LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025 Andrei Popescu
• [Hol-info] ESSAI 2025 CALL FOR COURSE PROPOSALS - extended deadline Manolis Koubarakis
• [Hol-info] [CPP'25] Call for Participation: Certified Programs and Proofs (CPP) 2025 nicolas tabareau
• [Hol-info] Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia, Brazil Serge Autexier
• [Hol-info] Workshop on Theorem Proving and Machine Learning geoff
• [Hol-info] [fm-announcements] NFM 2025 *deadline extended* Dutle, Aaron M. (LARC-D320) via fm-announcements via hol-info
• [Hol-info] FMBC25 - First Call for Papers Marmsoler, Diego via hol-info
• [Hol-info] AI for Math Fund announcement Sarah Constantin via hol-info
• [Hol-info] CfP: DisCoTec 2025 Bas van den Heuvel
• [Hol-info] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2025 Bas van den Heuvel
• [Hol-info] [fm-announcements] NFM 2025 second CFP Dutle, Aaron M. (LARC-D320) via fm-announcements via hol-info
• [Hol-info] SPIN 2025: Call for Papers Rozier, Kristin-Yvonne [AER E] via hol-info
• [Hol-info] [Vardi-list] Appeal to support SIGLOG, the LICS sponsor Moshe Vardi
• [Hol-info] ESSAI 2025 CALL FOR COURSE PROPOSALS Manolis Koubarakis
• [Hol-info] CADE-30 Call for Colocated Events: **deadline November 11th** geoff--- via hol-info
• [Hol-info] SAC-SVT 2025 Final Call for Papers: Software Verification and Testing Track at SAC 2025: deadline October 13, 2024 Wijs, Anton via hol-info
• [Hol-info] FSEN 2025 - Final Call for Papers (Deadline extended) Petra van den Bos via hol-info
• [Hol-info] SEFM'24: Call for Participation Alexandre Madeira
• [Hol-info] Call for Participation: ANU Logic Summer School, Dec 2 – 13, 2024 Ian Shillito via hol-info
• [Hol-info] [fm-announcements] NFM 2025 CFP Dutle, Aaron M. (LARC-D320) via fm-announcements via hol-info
• [Hol-info] CADE-30 Call for Papers geoff--- via hol-info
  • [Hol-info] CADE-30 Call for Papers geoff--- via hol-info
• [Hol-info] ETAPS 2025 Final Joint Call for Papers Claudio MENGHI
• [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024): 2-8 November, 2024; Hanoi, Vietnam: Call for Participation - Early Bird Registration Extended to 4 October Stavros Vassos via hol-info
• [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) -2-8 November, 2024; Hanoi, Vietnam: Call for Participation Stavros Vassos via hol-info
• [Hol-info] CADE-30 Call for Colocated Events geoff--- via hol-info
• [Hol-info] Postdoc position at University of Kent Vineet Rajani
• [Hol-info] FSEN 2025 - Final Call for Papers Petra van den Bos via hol-info
• [Hol-info] [LPNMR 2024] CALL FOR PARTICIPATION giuseppe . mazzotta
• [Hol-info] PhD Symposium iFM 2024 - Final Call for Papers (extended deadline) Mattias Ulbrich
• [Hol-info] SAC-SVT 2025 CFP: Software Verification and Testing Track at SAC 2025: deadline September 20, 2024 Wijs, Anton via hol-info
• [Hol-info] [Vardi-list] ICLA 2025 Moshe Vardi
• [Hol-info] 2nd CFP - CPP 2025 - Certified Programs and Proofs nicolas tabareau
• [Hol-info] ASPOCP 2024@ICLP- EXTENDED DEADLINE cfp
• [Hol-info] ETAPS 2025 1st joint call for papers Claudio MENGHI
• [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - LCA-Doctoral Consortium-Deadline Extension Stavros Vassos via hol-info
• [Hol-info] [Datalog 2.0 2024] DEADLINE EXTENSION giuseppe . mazzotta
• [Hol-info] [Call for Participation] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024 Adnan Rashid via hol-info
• [Hol-info] Call for Participation: Third Workshop on Formal Verification of Physical Systems (FVPS-2024) - Colocated with CICM-2024 Adnan Rashid via hol-info
• [Hol-info] FSEN 2025 - 2nd Call for Papers Petra van den Bos via hol-info
• [Hol-info] PhD Symposium iFM 2024 - Call for Papers Mattias Ulbrich
• [Hol-info] ASPOCP 2024 @ ICLP- Second Call for Paper cfp
• [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

• Earlier messages