Tagungen und Workshops zum Thema Computer-gestütztes Beweisen

Wählen Sie ein Land aus
ALLE LÄNDER (13)
1
CPP 2022 — Conference on Certified Programs & Proofs
17. Jan 2022 - 18. Jan 2022 • Philadelphia PA with Virtual options, Vereinigte Staaten
Zusammenfassung:
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
Eintrags-ID:
1448845
2
CSL 2022 — Computer Science Logic
14. Feb 2022 - 19. Feb 2022 • Göttingen (Germany) & Virtual, Deutschland
Veranstalter:
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL).
Zusammenfassung:
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL'22 will be held online on February 14 - 19, 2022. The event is hosted by the University of Göttingen.
Eintrags-ID:
1448800
3
TACAS 2022 — 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
02. Apr 2022 - 07. Apr 2022 • München, Deutschland
Zusammenfassung:
TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems. Theoretical papers with clear relevance for tool construction and analysis as well as tool descriptions and case studies with a conceptual message are all encouraged.
Einsendeschluss für Abstracts:
14. Okt 2021
Eintrags-ID:
1449314
Verwandte Fachgebiete:
4
NFM 2022 — 14th NASA Formal Methods Symposium
24. Mai 2022 - 27. Mai 2022 • Los Angeles, CA, Vereinigte Staaten
Zusammenfassung:
The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California.
Einsendeschluss für Abstracts:
03. Dez 2021
Eintrags-ID:
1449240
Verwandte Fachgebiete:
5
ISSAC 2022 — 47th International Symposium on Symbolic and Algebraic Computation
04. Jul 2022 - 07. Jul 2022 • Lille, Frankreich
Zusammenfassung:
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2022 will be the 47th meeting in the series, which started in 1966 and has been held annually since 1981. The conference presents a range of invited speakers, tutorials, poster sessions, software demonstrations and vendor exhibits with a center-piece of contributed research papers.
Themen:
All areas of computer algebra and symbolic computation are of interest at ISSAC 2022.
Eintrags-ID:
1449263
Verwandte Fachgebiete:
6
Lean for the Curious Mathematician 2022
11. Jul 2022 - 15. Jul 2022 • Providence, RI, Vereinigte Staaten
Veranstalter:
ICERM
Zusammenfassung:
Interactive theorem proving software can check, manipulate, and generate proofs of mathematical statements, just as computer algebra software can manipulate numbers, polynomials, and matrices. Over the last few years, these systems have become highly sophisticated and have learnt a large amount of mathematics. One has to be open to the idea these systems will change the way mathematics is done, and how it is taught in universities. At the ICERM workshop "Lean for the Curious Mathematician 2022", experts in the Lean theorem prover will explain how to do number theory, topology, geometry, analysis, and algebra in the Lean theorem prover. This will be accessible to mathematicians without a specific background in computer-proof systems. The material covered will range from undergraduate mathematics to modern research. Participants will be invited to begin formalizing mathematical objects from their own research.
Kontakt:
Tel.: [401 863 5030];     Email: info@icerm.brown.edu
Eintrags-ID:
1448767
7
LICS — 37th Annual ACM/IEEE Symposium on Logic in Computer Science
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
8
ITP — 13th International Conference on Interactive Theorem Proving
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Zusammenfassung:
The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics. ITP 2022 is the thirteenth conference on Interactive Theorem Proving. It will be part of the Federated Logic Conference (FLoC). It will take place in Haifa, Israel, July 31 – August 12, 2022.
Eintrags-ID:
1448965
9
IJCAR — International Joint Conference on Automated Reasoning
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Zusammenfassung:
IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.
Eintrags-ID:
1448986
Webseite:
10
CAV — 34th International Conference on Computer Aided Verification
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Zusammenfassung:
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.
Eintrags-ID:
1449039
Webseite:
11
ICLP — 38th International Conference on Logic Programming
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Eintrags-ID:
1449037
12
SAT — 25th International Conference on Theory and Applications of Satisfiability Testing
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Zusammenfassung:
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.
Eintrags-ID:
1448970
13
AITP 2022 — Conference on Artificial Intelligence and Theorem Proving
04. Sep 2022 - 09. Sep 2022 • Aussois, Frankreich
Zusammenfassung:
The Conference on Artificial Intelligence and Theorem Proving (AITP) is a yearly meeting where researchers in the areas of artificial intelligence, automated reasoning, machine learning, computer-understandable mathematics and proof assistants come to discuss how to progress with automation of reasoning, mathematics and science.
Eintrags-ID:
1449220


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Stand vom 15. Oktober 2021