Meetings/Workshops on Information Theory, Foundations of Computer Science in Israel

Select a location
1
ASL 2022 — Advances in Separation Logics
31 Jul 2022 • Haifa – virtual, Israel
Abstract:
The past two decades have witnessed important progress in static analysis and verification of code with low-level pointer and heap manipulations, mainly due to the development of Separation Logic (SL). The impact of SL is attested, in academia, by the Goedel Prize 2016 and the CAV Award 2016, as well as in industry, by the integration of SL-based analyses with software development at Facebook. SL is a resource logic, a dialect of the logic of Bunched Implications (BI) designed to describe models of the heap memory and the mutations that occur in the heap as the result of low-level pointer updates. The success of SL in program analysis is due to the support for local reasoning, namely the ability of describing only the resource(s) being modified, instead of the entire state of the system. This enables the design of compositional analyses that synthesize specifications of the behavior of small parts of the program before combining such local specifications into global verification conditions.
Abstract submission deadline:
20 May 2022
Event listing ID:
1489004
Related subject(s):
2
CAUSAL 2022 — Fourth Workshop on Causal Reasoning and Explanation in Logic Programming
31 Jul 2022 - 08 Aug 2022 • Haifa, Israel
Abstract:
This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Explainable AI, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry.
Event listing ID:
1489038
3
LICS — 37th Annual ACM/IEEE Symposium on Logic in Computer Science
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Event listing ID:
1448934
4
FSCD — 7th International Conference on Formal Structures for Computation and Deduction
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Abstract:
The FSCD conference includes all research of the inter-related formal areas of researchers in formal structures for computation and deduction in general, and in particular all subjects that were previously covered by the RTA and TLCA conferences. The name of the new conference comes from an unpublished but important book by Gérard Huet that has been a strong influence on many researchers in our area. We are grateful to Gérard for allowing us to reuse the name. We look very much forward to serve the scientific community with this new conference, which inherits as well as updates and modernizes the scope of the conferences it replaces. The call for papers for the next FSCD, below, give further details on the subjects of the conference.
Abstract submission deadline:
01 Oct 2021
Event listing ID:
1448955
5
IJCAR — International Joint Conference on Automated Reasoning
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Abstract:
IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.
Event listing ID:
1449019
Event website:
6
CAV — 34th International Conference on Computer Aided Verification
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Abstract:
CAV is the premier international conference on computer-aided verification. It provides a forum for a broad range of advanced research in areas ranging model checking and automated theorem proving to testing, synthesis and related fields. Research reported in CAV includes the application of formal methods to many kinds of systems,including hardware, software and communication protocols. It covers many system models, including finite-state and infinite state systems, hybrid systems and probabilistic systems. It encompasses both theory and industrial case studies. The common thread is the use of automation to help designers build more reliable systems.
Event listing ID:
1449039
Event website:
7
KR — 19th International Conference on Principles of Knowledge Representation and Reasoning
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Abstract:
Principles of Knowledge Representation and Reasoning, Incorporated (KR Inc.) is a not for profit Scientific Foundation incorporated in the state of Massachusetts of the United States of America, concerned with fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a series of prestigious conferences, the conferences on Principles of Knowledge Representation and Reasoning, cooperating with workshops on related topics, maintaining informational materials on the World Wide Web, and maintaining KR-related mailing lists.
Event listing ID:
1449027
Event website:
8
ICLP — 38th International Conference on Logic Programming
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Event listing ID:
1448993
9
SAT — 25th International Conference on Theory and Applications of Satisfiability Testing
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Abstract:
The International Conferences on Theory and Applications of Satisfiability Testing are the primary annual meetings for researchers studying the propositional satisfiability problem (SAT), a prominent problem in both theoretical and applied computer science. SAT lies at the heart of the most important open problem in complexity theory (P vs NP) and underlies many applications in, among other examples, artificial intelligence, operations research, and electronic design engineering. The primary objective of the conferences is to bring together researchers from various areas and communities, including theoretical and experimental computer science as well as the many relevant application areas, to promote collaboration and the communication of new theoretical and practical results in SAT-related research and its industrial applications.
Event listing ID:
1449058
10
FSCD — 7th International Conference on Formal Structures for Computation and Deduction
02 Aug 2022 - 05 Aug 2022 • Haifa, Israel
Event listing ID:
1489013


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 25 May 2022