[TYPES/announce] LICS 2024 Second Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SECOND CALL FOR PAPERS Thirty-Ninth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) Tallinn, July 2024 https://urldefense.com/v3/__https://lics.siglog.org/lics24__;!!IBzWLUs!Ww_lMAFqrS30lSSBZ1MkD4gZLdRxzKq10hFKghWIevEC9OAMFPUuTPJd7SqQpRzgdrMOdC6VvOk0_43sISm0a86ECPOgjPer24Ko3Q$ SCOPE The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, foundations of probabilistic, real-time and hybrid systems, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, m! odal and temporal logics, model checking, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification. IMPORTANT DATES FOR PAPERS Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. The exact deadline time on these dates is anywhere on earth (AoE). Titles and Short Abstracts Due: 21 January 2024 Full Papers Due: 26 January 2024 Author Feedback/Rebuttal Period: 18-23 March 2024 Author Notification: 15 April 2024 Conference: 8-12 July 2024. Submission deadlines are firm; late submissions will not be considered. All submissions will be electronic via easychair. PAPER SUBMISSION INSTRUCTIONS Submissions should use ACM SIGCONF Proceedings 2-column 10pt format and may be at most 12 pages, excluding references. Latex style files and further submission information is at https://urldefense.com/v3/__https://lics.siglog.org/lics24/cfp.php__;!!IBzWLUs!Ww_lMAFqrS30lSSBZ1MkD4gZLdRxzKq10hFKghWIevEC9OAMFPUuTPJd7SqQpRzgdrMOdC6VvOk0_43sISm0a86ECPOgjPcYLlljFg$ . LICS 2024 will use a lightweight double-blind reviewing process. Please see the website for further details and requirements from the double-blind process. The official publication date may differ from the first day of the conference. The official publication date may affect the deadline for any patent filings related to published work. We will clarify the official publication date in due course.
[TYPES/announce] Call for Papers: TAP 2024 (Tests and Proofs 2024), Milan, Italy
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TAP 2024 - Call for Papers *** The 18th International Conference on Tests and Proofs (TAP 2024) https://urldefense.com/v3/__https://tapconference.github.io/2024/__;!!IBzWLUs!SQ9PcKn2846p5PmK0DNhydobmFV2uqrRLWcPykrT5twpn7y6PHRCQS3ovwuK5ljoYF6oG7N2Whw0UJ8rykqCCIVPHhnZXPJ9DxIz$ co-located within FM 2024 (Formal Methods 2024) https://urldefense.com/v3/__https://www.fm24.polimi.it/__;!!IBzWLUs!SQ9PcKn2846p5PmK0DNhydobmFV2uqrRLWcPykrT5twpn7y6PHRCQS3ovwuK5ljoYF6oG7N2Whw0UJ8rykqCCIVPHhnZXD-Vdbc0$ *** Aim and Scope - TAP 2024 is the 18th International Conference on Tests and Proofs. TAP promotes research in verification and formal methods that targets the interplay of static and dynamic analysis techniques with the ultimate goal of improving software and system dependability. Research in verification has seen an increase in heterogeneous techniques and a synergy between the traditionally distinct areas of dynamic and static analysis. There is growing awareness that dynamic techniques such as testing and static techniques such as proving are complementary rather than mutually exclusive. Notable examples that provide evidence for the potential of a combination of static and dynamic analysis are counterexample generation based on symbolic execution, the integration of SAT/SMT-solving in model checking, or the combination of predicate abstraction with exhaustive enumeration. The verification of systems based on machine learning spurs novel combinations of dynamic and static analyses, e.g., property verification of surrogate models that are generated through testing. TAP’s scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research. Topics of interest center around the combination of static techniques such as proving and dynamic techniques such as testing. Papers are solicited on, but not limited to, the following topics: - Verification and analysis techniques combining proofs and tests, - Static analysis of programs with the aid of dynamic techniques, - Deductive techniques supporting the automated generation of test vectors and oracles, - Deductive techniques supporting (novel) definitions of coverage criteria, - Specification inference by deductive or dynamic methods, - Testing and runtime analysis of formal specifications, - Search-based techniques for proving and testing, - Testing and Verification of systems based on machine learning, - Verification of verification tools and environments, - Applications of test and proof techniques in new domains, - Combined approaches of test and proof in the context of formal certifications (Common Criteria, CENELEC, …), and - Case studies, tool and framework descriptions, and experience reports Authors are encouraged (but not required) to make the relevant artifacts available to the reviewers (and whenever possible publicly). Artifacts can be provided at submission time or after notification of acceptance and will go through a lightweight reviewing process, handing out availability badges. Important Dates --- Abstract submission: 05/08/2024 Paper submission: 05/15/2024 Paper notification:06/26/2024 Artifact submission: 07/03/2024 Artifact notification: 07/14/2024 Camera-ready version: 07/17/2024 Conference: 09/09/2024-09/10/2024 Submission Instructions - TAP 2024 accepts papers of two kinds: - Regular papers: full submissions describing - original research results, - tools, and - case studies of up to 16 pages. For tools and case studies, the tool, framework, or case study described in a tool paper should be available for public use. - Short papers: submissions describing preliminary findings, proofs of concepts, and exploratory studies, of up to 6 pages. All page limits exclude the references. Appendices may be included, but they will only be read by a reviewer at their discretion. Regular and short papers must be original, unpublished, and not submitted for publication elsewhere. Papers will undergo a thorough review process. The review process is single blind. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. The submissions will be reviewed and selected for publication based on the above-mentioned criteria as well as suitability to the conference’s technical program. After notification, all artifacts of accepted papers will be reviewed with respect to their availability, consistency with and replicability of results in the paper, completeness, documentation, and ease of use. The papers will
[TYPES/announce] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # TFP 2024 -- Call For Participation (trendsfp.github.io) ## Venue TFPiE and TFP will take place in-person at Seton Hall University, New Jersey in the United States. ## Dates TFPiE Workshop: Tuesday 9th January, 2024 TFP Symposium: Wednesday 10th - Friday 12th January, 2024 The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. ## Keynote speakers We are happy to have the following keynotes in the programme: * Jeremy Gibbons, Oxford University * Benjamin Pierce, University of Pennsylvania * John Reppy, University of Chicago ## Programme The programme schedule can be found here: trendsfp.github.io/schedule.html ## Excursion and banquet After lunch on Thursday there is a private guided tour of the Thomas Edison National Historical Park and Museum. Thursday evening we have the TFP banquet at Forno's of Spain. During dinner the winners of the best paper awards of last year's TFP will be announced.
[TYPES/announce] [CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [our apologies for multiple posts] ~~ 11th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2024 Call For Papers 7 April 2024 - Luxembourg https://urldefense.com/v3/__https://www.sci.unich.it/hcvs24/__;!!IBzWLUs!WiOvSGGJ279UvQ-u9XkY3Hr0mwe5lxm8CjS1w7RzK6AekmFQeEyIN_Xv2P_9PWcUXyod7OHgBJhMdiSJvJh0p8Lifx6DUqPAlNE$ ~~ Important dates: - Paper submission deadline: 2 February 2024 - Paper notification: beginning of March 2024 - Workshop: 7 April 2024 Scope: Many Program Verification and Synthesis problems of interest can be modeled directly using Constrained Horn Clauses (CHCs) and many recent advances have centered around efficiently solving problems presented as Horn clauses. This series of workshops aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE, IJCAR), on the topic of Horn clause based analysis, verification, and synthesis. Horn clauses for verification and synthesis have been advocated by these communities in different times and from different perspectives and HCVS is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows previous meetings: HCVS 2023 in Paris (ETAPS 2023), France (ETAPS 2023), HCVS 2022 in Munich, Germany (ETAPS 2022), HCVS 2021, online (ETAPS 2021), HCVS 2020, online (ETAPS 2020), HCVS 2019 in Prague, Czech Republic (ETAPS 2019), HCVS 2018 in Oxford, UK (CAV, ICLP and IJCAR at FLoC 2018), HCVS 2017 in Gothenburg, Sweden (CADE 2017), HCVS 2016 in Eindhoven, The Netherlands (ETAPS 2016), HCVS 2015 in San Francisco, CA, USA (CAV 2015), and HCVS 2014 in Vienna, Austria (VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent, transition systems, petri-nets, smart contracts) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Machine learning and automated reasoning - CHC encoding of analysis and verification problems - Resource analysis - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results, extended abstracts of doctoral theses, and overviews of research projects that are of interest to the workshop. At least one author of each accepted paper will be required to attend the workshop to present the contribution. CHC Competition: HCVS 2024 is planning to host the 7th competition on constraint Horn clauses (CHC-COMP https://urldefense.com/v3/__https://chc-comp.github.io/__;!!IBzWLUs!WiOvSGGJ279UvQ-u9XkY3Hr0mwe5lxm8CjS1w7RzK6AekmFQeEyIN_Xv2P_9PWcUXyod7OHgBJhMdiSJvJh0p8Lifx6D51BFr7U$ ), which will compare state-of-the-art tools for CHC solving for performance and effectiveness on a set of publicly available benchmarks. Program Chairs: Julie Cailler, University of Regensburg, Germany Daniel Neider, Technical University of Dortmund, Germany Submissions: Submission has to be done in one of the following formats: - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. - Regular papers (up to 12 pages plus bibliography in EPTCS (https://urldefense.com/v3/__http://www.eptcs.org/__;!!IBzWLUs!WiOvSGGJ279UvQ-u9XkY3Hr0mwe5lxm8CjS1w7RzK6AekmFQeEyIN_Xv2P_9PWcUXyod7OHgBJhMdiSJvJh0p8Lifx6DddKCPCc$ ) format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Tool papers (up to 4 pages in EPTCS format), including the papers written by the CHC-COMP participants, which can outline the theoretical framework, the architecture, the usage, and experiments of the tool. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. If enough regular papers are accepted, both regular papers and extended abstracts will be published electronically. The publication of a paper is not intended to preclude later publication. Full versions
[TYPES/announce] CFP: IEEE CSF 2024 - Winter Cycle (Submission Deadline: February 3, 2024, AoE)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 37th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2024 July 8 - 12, 2024 - Enschede, The Netherlands https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!XUzC8N5AUsjwQ1aU9zzjTll5lQPF166Lxorl_fE7yxsvsR-gl3k1tsVJ8LRjKvUXWx_l1zx4ARIv-Oa-habs8bg5J0fP1Tv6k0Lue4MHkAIPjwIUzw$ = CSF Mailing List (please subscribe) = https://urldefense.com/v3/__http://lists.ieee-security.org/listinfo.cgi/csf-announcements-ieee-security.org__;!!IBzWLUs!XUzC8N5AUsjwQ1aU9zzjTll5lQPF166Lxorl_fE7yxsvsR-gl3k1tsVJ8LRjKvUXWx_l1zx4ARIv-Oa-habs8bg5J0fP1Tv6k0Lue4MHkALBtROaNA$ This is the new CSF mailing list which replaces the former csf-attend...@mail-infsec.cs.uni-saarland.de mailing list. Please subscribe to this new list to be up to date on important information in the field of computer security foundations. = The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security. CSF seeks papers on foundational aspects of computer security, such as formal security models, relationships between security properties and defenses, principled techniques and tools for design and rigorous analysis of security mechanisms, as well as their application to practice. While CSF welcomes submissions beyond the topics listed below, the main focus of CSF is foundational security and privacy. Papers lacking foundational aspects risk desk rejection without further evaluation of their merits; contact the PC chairs when in doubt. Important Dates: Spring cycle paper submission May 15, 2023 Spring cycle author notificationJuly 6, 2023 Fall cycle paper submission September 30, 2023 Fall cycle author notification December 2, 2023 Winter cycle paper submission February 3, 2024 Winter cycle author notificationApril 7, 2024 CSF Symposium July 8 - 12, 2024 TOPICS New results in security and privacy are welcome. We also encourage challenge/vision papers, which may describe open questions and raise fundamental concerns about security and privacy. Possible topics for all papers include, but are not limited to: - access control - accountability - anonymity - attack models - authentication - blockchains and smart contracts - cloud security - cryptography - data provenance - data and system integrity - database security - decidability and complexity - decision theory - distributed systems security - electronic voting - embedded systems security - forensics - formal methods and verification - hardware-based security - information flow control - intrusion detection - language-based security - mobile security - network security - privacy - security and privacy aspects of machine learning - security and privacy for the Internet of Things - security architecture - security metrics - security policies - security protocols - software security - socio-technical security - trust management - usable security - web security SYSTEMATIZATION OF KNOWLEDGE PAPERS CSF'24 solicits systematization of knowledge (SoK) papers in foundational security and privacy research. These papers systematize, re-formulate, or evaluate existing work in one established and significant research topic. Such papers must provide new insights. Survey papers without new insights are not appropriate. Papers trying to identify robust foundations of research areas still lacking them are particularly welcome. Submissions will be distinguished by the prefix “SoK:” in the title and a checkbox on the submission form. See the conference website https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!XUzC8N5AUsjwQ1aU9zzjTll5lQPF166Lxorl_fE7yxsvsR-gl3k1tsVJ8LRjKvUXWx_l1zx4ARIv-Oa-habs8bg5J0fP1Tv6k0Lue4MHkAIPjwIUzw$ for further information.