Tagungen und Workshops zum Thema Informationstheorie und Grundlagen der Informatik

Wählen Sie ein Land aus
ALLE LÄNDER (23)
1
LFCS'22 — Symposium on Logical Foundations of Computer Science
10. Jan 2022 - 13. Jan 2022 • Deerfield Beach, Florida, (Hybrid), Vereinigte Staaten
Zusammenfassung:
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode in 1992. LFCS has enjoyed support and endorsements from a number of bodies, including the US National Science Foundation (NSF), Association for Symbolic Logic (ASL), Cornell University, and the City University of New York Research Foundation.
Einsendeschluss für Abstracts:
17. Sep 2021
Eintrags-ID:
1448782
2
SLAI-2022 — Symposium on Logic and Artificial Intelligence
12. Jan 2022 - 16. Jan 2022 • Virtual, Überall (Virtuelle Veranstaltung)
Zusammenfassung:
The Symposium on Logic and Artificial Intelligence (“Symposium on L&AI” or “SLAI”) is annually organized by the International Society for Logic and Artificial Intelligence (ISLAI) in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. Round tables are planned to ensure an open debate on the state of the art and new directions.
Eintrags-ID:
1448805
3
Paths in Logic (World Logic Day Celebration at Haifa), Online
13. Jan 2022 • Online, Überall (Virtuelle Veranstaltung)
Zusammenfassung:
Logic deals with correct and incorrect reasoning, the connection between language and the world, and examines how we can use language to make correct statements about structures. It lies at the interface between mathematics, philosophy and computer science. Are you interested in the basics of mathematics, philosophy and computer science and are you considering taking logic courses in your department or other departments or writing a thesis in logic? This workshop is mainly aimed at undergraduate and graduate students. Logic will be highlighted worldwide on UNESCO World Logic Day 2022.
Eintrags-ID:
1448803
4
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:
1448834
Verwandte Fachgebiete:
5
Symposium — Foundations of Computer Science Supporting the Information Society
01. Feb 2022 - 03. Feb 2022 • RIMS – Kyoto, Japan
Veranstalter:
International Joint Usage / Research Center – RIMS
Eintrags-ID:
1446994
6
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:
1448899
7
Symposium — Logic, Algebraic system, Language and Related Areas in Computer Science
16. Feb 2022 - 18. Feb 2022 • RIMS – Kyoto, Japan
Veranstalter:
International Joint Usage / Research Center – RIMS
Eintrags-ID:
1447069
Verwandte Fachgebiete:
8
Data Assimilation – Mathematical Foundation and Applications
20. Feb 2022 - 26. Feb 2022 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1395863
9
New Directions in Computability Theory
07. Mär 2022 - 11. Mär 2022 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Themen:
CONFERENCE
Eintrags-ID:
1369356
10
BIRS Workshop — Probability and Quantum Information Science
13. Mär 2022 - 18. Mär 2022 • Banff, Alberta, Kanada
Veranstalter:
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Eintrags-ID:
1439001
11
New Mathematical Techniques in Information Theory
13. Mär 2022 - 19. Mär 2022 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1395969
12
ETAPS 2022 — 25th European Joint Conferences on Theory and Practice of Software
02. Apr 2022 - 07. Apr 2022 • Munich – hybrid, Deutschland
Veranstalter:
ETAPS is supported by the ETAPS Association, hosted by Technische Universität München
Zusammenfassung:
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.
Einsendeschluss für Abstracts:
14. Okt 2022
Eintrags-ID:
1448817
Verwandte Fachgebiete:
13
CMO/Banff Workshop — Algebraic Methods in Coding Theory and Communication
24. Apr 2022 - 29. Apr 2022 • Oaxaca, Mexiko
Veranstalter:
Casa Matemática Oaxaca (CMO)
Zusammenfassung:
The workshop will concentrate on three contemporary, central themes in coding theory and its applications. Algebraic coding theory tackles classical communication problems, such as error-free communication between a source and a receiver over a noisy channel, using a wide range of tools from computational algebra, algebraic geometry, and probability theory. More recently coding theory has found applications to emerging challenges in communication. The kind of problems that arise has been shifting, as our digital lives got more and more interconnected. Network Coding seeks answers to problems of maximization of information flow over networks. These answers often require establishing new communication schemes, relying on mathematical structures which were not used in this context before. In the last few years a new set of problems with local features arose from practical applications such as distributed storage of large amounts of data. Locally recoverable codes allow the recovery of a codeword symbol's erasure by mean of a small set of other codeword symbols. These codes are a central topic of research of the last few years, due also to their applicability to these problems.
Eintrags-ID:
1439655
14
Theoretical Computer Science Spring School: Machine Learning
23. Mai 2022 - 27. Mai 2022 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Themen:
RESEARCH SCHOOL
Eintrags-ID:
1369468
15
DMD20/22 — Discrete Mathematics Days 20/22
04. Jul 2022 - 06. Jul 2022 • Universidad de Cantabria, Santander, Spanien
Zusammenfassung:
The Discrete Mathematics Days (DMD'20/22) will be held on July 4-6, 2022, at Facultad de Ciencias of the Universidad de Cantabria (Santander, Spain). The main focus of this international conference is on current topics in Discrete Mathematics
Themen:
Algorithms and Complexity, Combinatorics, Coding Theory, Cryptography, Discrete and Computational Geometry, Discrete Optimization, Graph Theory, Location and Related Problems
Eintrags-ID:
1445918
16
LICS — 37th Annual ACM/IEEE Symposium on Logic in Computer Science
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Eintrags-ID:
1448978
17
FSCD — 7th International Conference on Formal Structures for Computation and Deduction
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Zusammenfassung:
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.
Einsendeschluss für Abstracts:
01. Okt 2021
Eintrags-ID:
1448922
18
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:
1448920
Webseite:
19
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:
1449017
Webseite:
20
KR — 19th International Conference on Principles of Knowledge Representation and Reasoning
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Zusammenfassung:
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.
Eintrags-ID:
1448994
Webseite:
21
ICLP — 38th International Conference on Logic Programming
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Eintrags-ID:
1449015
Verwandte Fachgebiete:
22
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:
1449003
Verwandte Fachgebiete:
23
MDS22 — SIAM Conference on Mathematics of Data Science
26. Sep 2022 - 30. Sep 2022 • San Diego, Kalifornien, Vereinigte Staaten


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 14. Oktober 2021