Tagungen und Workshops zum Thema Informationstheorie und Grundlagen der Informatik

Wählen Sie ein Land aus
ALLE LÄNDER (37)
1
LATA 2020 & 2021 — 14th-15th International Conference on Language and Automata Theory and Applications
01. Mär 2021 - 05. Mär 2021 • Mailand, Italien
Zusammenfassung:
LATA is a conference series on theoretical computer science and its applications. LATA 2020 & 2021 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. LATA 2020 & 2021 will merge the scheduled program for LATA 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.
Eintrags-ID:
1395313
2
ETAPS 2021 — 24th European Joint Conferences on Theory and Practice of Software
27. Mär 2021 - 01. Apr 2021 • Virtual Conference, Luxemburg
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.
Eintrags-ID:
1395323
Verwandte Fachgebiete:
3
Algebraic Aspects of Matroid Theory
28. Mär 2021 - 02. Apr 2021 • Banff Centre in Alberta, Kanada
Veranstalter:
Banff International Research Station for Mathematical Innovation and Discovery (BIRS)
Zusammenfassung:
The researchers participating in this workshop come from several mathematical subdisciplines, including combinatorics, algebraic geometry, and theoretical computer science. Their work and common interest here is to investigate new interactions between discrete mathematics, algebra, algebraic geometry, tropical geometry, and combinatorial algorithms. Some participants have collaborated before in smaller groups, but this meeting will provide an opportunity to work together more intensively. Several recent mathematical breakthroughs will be highlighted in the workshop, including the recent resolution of some long-standing open problems about graphs and matroids. These breakthroughs used a surprising combination of interdisciplinary techniques which the organizers expect to have exciting further applications.
Eintrags-ID:
1364209
4
Computability Theory
25. Apr 2021 - 01. Mai 2021 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1312953
5
CIRM – Research School — Spring School in Theoretical Computer Science
24. Mai 2021 - 28. Mai 2021 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1312339
6
Arithmetic, Geometry, Cryptography and Coding Theory
31. Mai 2021 - 04. Jun 2021 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1312272
7
Logical Perspectives 2021
15. Jun 2021 - 19. Jun 2021 • Moskau, Russische Föderation
Zusammenfassung:
The Logical Perspectives conference series aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. The Logical Perspectives summer school and workshop series aims at giving advanced introductions into various branches of logic, and providing researchers - including early career scientists - an opportunity to present their work.
Themen:
logical methods in mathematics; logical methods in philosophy; logical methods in computer science.
Eintrags-ID:
1395417
8
STOC- ACM Symposium on Theory of Computing
21. Jun 2021 - 25. Jun 2021 • Rom, Italien
Eintrags-ID:
1371546
9
CSR 2021 — 16th International Computer Science Symposium in Russia
28. Jun 2021 - 02. Jul 2021 • Sochi, Russische Föderation
Veranstalter:
In partnership with European Association for Theoretical Computer Science.
Zusammenfassung:
CSR is an annual international conference held in Russia that is designed to cover a broad range of topics in Theoretical Computer Science.
Themen:
TOPICS include, but are not limited to: (i) algorithms and data structures (ii) computational complexity, including hardness of approximation and parameterized complexity (iii) randomness in computing, approximation algorithms, fixed-parameter algorithms (iv) combinatorial optimization, constraint satisfaction, operations research (v) computational geometry (vi) string algorithms (vii) formal languages and automata, including applications to computational linguistics (viii) codes and cryptography (ix) combinatorics in computer science (x) computational biology (xi) applications of logic to computer science, proof complexity (xii) database theory (xiii) distributed computing (xiv) fundamentals of machine learning, including learning theory, grammatical inference and neural computing (xv) computational social choice (xvi) quantum computing and quantum cryptography (xvii) theoretical aspects of big data
Eintrags-ID:
1395218
10
ICFCA 2021 — International Conference on Formal Concept Analysis
29. Jun 2021 - 02. Jul 2021 • Straßburg, Frankreich
Zusammenfassung:
The ICFCA conference series is the major biannual event of the Formal Concept Analysis research community. The 16th International Conference on Formal Concept Analysis, ICFCA 2021, aims to bring together researchers and practitioners working on both theoretical and practical aspects of Formal Concept Analysis, as well as its applications in various application fields like data mining, machine learning, software engineering, semantic web, social and environmental sciences.
Eintrags-ID:
1395248
Verwandte Fachgebiete:
11
LICS - IEEE Symposium on Logic in Computer Science
29. Jun 2021 - 02. Jul 2021 • Rom, Italien
Eintrags-ID:
1371541
12
CiE 2021 — Computability in Europe 2021: Connecting with Computability
05. Jul 2021 - 09. Jul 2021 • online, Belgien
Veranstalter:
Department of Mathematics: Analysis, Logic and Discrete Mathematics (WE16) of Ghent University
Zusammenfassung:
CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The Computability in Europe conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics.
Eintrags-ID:
1395161
13
ICSIP 2021 — 2021 IEEE 6th International Conference on Signal and Image Processing
09. Jul 2021 - 11. Jul 2021 • Nanjing, China
Veranstalter:
CZES
Zusammenfassung:
2021 IEEE 6th International Conference on Signal and Image Processing (ICSIP 2021) is hosted by School of Cyber Science and Engineering Southeast University, China, and Co-sponsored by Southeast University, China and IEEE. It will be held in Nanjing, China on July 9-11, 2021. ICSIP was held successfully in North China of Technology, Beijing, China in 2016, Nanyang Technological University, Singapore in 2017, and Shenzhen, China (hosted by Shenzhen Research Institute, Southeast University, China) in 2018, and Southeast University in Wuxi in 2019, and fully virtual conference due to COVID-19 in 2020.
Kontakt:
Ms. Veronica Reed;     Tel.: [+86-137-3111-1131];     Email: Vera_qh@outlook.com
Themen:
Signal Processing, Networking, Fixed Networks, Internet Technologies, Communications, Communication Theory and Techniques, Wireless Networks, Information Security
Eintrags-ID:
1399555
14
ISIT- IEEE International Symposium on Information Theory
11. Jul 2021 - 16. Jul 2021 • Melbourne, Australien
Eintrags-ID:
1371577
15
ICALP 2021 — 48th International Colloquium on Automata, Languages and Programming 2021
12. Jul 2021 - 16. Jul 2021 • Glasgow, Großbritannien
Veranstalter:
ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS).
Eintrags-ID:
1395192
Verwandte Fachgebiete:
16
CADE-28 — 28th International Conference on Automated Deduction
12. Jul 2021 - 16. Jul 2021 • Pittsburgh, Pennsylvania or Virtual, Vereinigte Staaten
Veranstalter:
CADE-28 is organized in cooperation with ACM SIGLOG. The conference will be hosted in the Gates Hillman Center at Carnegie Mellon University.
Zusammenfassung:
The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented.
Eintrags-ID:
1395289
17
13th Panhellenic Logic Symposium
14. Jul 2021 - 18. Jul 2021 • Volos, Griechenland
Veranstalter:
University of Thessaly
Zusammenfassung:
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
Eintrags-ID:
1395317
18
FSCD 2021 — 6th International Conference on Formal Structures for Computation and Deduction
17. Jul 2021 - 24. Jul 2021 • Virtual, Argentinien
Eintrags-ID:
1395427
19
ISSAC'2021 — International Symposium on Symbolic and Algebraic Computation
18. Jul 2021 - 22. Jul 2021 • Saint Petersburg, Russische Föderation
Zusammenfassung:
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2021 will be the 46th 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.
Eintrags-ID:
1398665
20
Information Theory and Data Science Workshop
19. Jul 2021 - 23. Jul 2021 • Singapore, Singapur
Veranstalter:
Institute for Mathematical Sciences/National University of Singapore
Zusammenfassung:
Information theory addresses fundamental questions in various areas of science and engineering, including communications, data compression, statistical learning theory, security, and networks. In particular, information theory can be used to identify fundamental limits and gauge the effectiveness of algorithms for various problems associated with these fields.
Eintrags-ID:
1240849
21
CCC2021 — Computational Complexity Conference
20. Jul 2021 - 23. Jul 2021 • The Fields Institute –Toronto, Ontario, Kanada
Veranstalter:
The Fields Institute for Research in Mathematical Sciences
Zusammenfassung:
The conference aims to foster research in all areas of computational complexity theory, studying the absolute and relative power of computational models under resource constraints. Typical models include deterministic, nondeterministic, randomized, and quantum models; uniform and nonuniform models; Boolean, algebraic, and continuous models. Typical resource constraints involve time, space, randomness, program size, input queries, communication, and entanglement; worst-case as well as average case. Other, more specific, topics include: probabilistic and interactive proof systems, inapproximability, proof complexity, descriptive complexity, and complexity-theoretic aspects of cryptography and machine learning. The conference also encourages results from other areas of computer science and mathematics motivated by computational complexity theory.
Eintrags-ID:
1385984
22
DEON 2020/21 — 15th International Conference on Deontic Logic and Normative Systems
21. Jul 2021 - 24. Jul 2021 • München, Deutschland
Zusammenfassung:
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to the general theme of the DEON conferences, DEON 2020/21 will encourage a special focus on the topic: Norms in Social Perspective.
Eintrags-ID:
1395254
Verwandte Fachgebiete:
23
ESSLLI 2021 — 32nd European Summer School in Logic, Language and Information
02. Aug 2021 - 13. Aug 2021 • Utrecht, Niederlande
Eintrags-ID:
1395142
24
Workshop at ESSLLI 2021 — Computing Semantics with Types, Frames and Related Structures
02. Aug 2021 - 13. Aug 2021 • Utrecht, Niederlande
Eintrags-ID:
1395315
Verwandte Fachgebiete:
25
Workshop at ESSLLI 2021 — Approaches to implicature: Rational choice and/or exhaustification
09. Aug 2021 - 13. Aug 2021 • Utrecht, Niederlande
Zusammenfassung:
Recent work in implicature has seen a great deal of activity within two lines of research: the rational choice approach associated with game-theoretic pragmatics and the Bayesian Rational Speech Act framework, and the exhaustification-based approach. While these frameworks have generally been thought to be in theoretical tension, there are also underexplored ways to combine them, with the potential to benefit both approaches. The workshop will explore explicit comparisons between the two frameworks as well as efforts to combine them, with the hope of producing a more unified theory of implicature and a more general understanding of the data that such a theory must account for.
Themen:
Applications of RSA or other probabilistic pragmatics models to phenomena in semantics/pragmatics; Applications of exhaustification-based approaches to phenomena in semantics/pragmatics, ; Approaches to pragmatic inference that explicitly compare and/or combine theoretical perspectives; Implicature, presupposition, not-at-issue content, expressive meaning, social meaning
Eintrags-ID:
1395459
26
Algebraic Techniques in Theoretical Computer Science
29. Aug 2021 - 03. Sep 2021 • Oaxaca, Mexiko
Veranstalter:
Casa Matemática Oaxaca (CMO) in Mexico, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, Canada
Zusammenfassung:
Algebraic techniques have become influential in many areas in theoretical computer science, such as: coding theory, hardness of approximation, communication complexity, learning theory, cryptography, sublinear algorithms, coding theory, communication complexity, social choice theory, and more. The workshop will bring together researchers in these areas, allowing them to learn from each other and facilitate new collaborations.
Eintrags-ID:
1364744
27
AGACSE — Applied Geometric Algebras in Computer Science and Engineering
06. Sep 2021 - 10. Sep 2021 • Brno, Tschechische Republik
Veranstalter:
Brno University of Technology, Faculty of Mechanical Engineering, Brno, Czech Republic.
Zusammenfassung:
The conference has three main goals: To promote the development of the geometric algebra and geometric calculus. To spread geometric algebra technologies within industry and business by showing a range of applications (image processing, computer vision, robotics, flight navigation, molecular geometry, etc.). To make progress on the inclusion of geometric algebra ideas into the mathematics, physics, computer science and engineering curricula.
Eintrags-ID:
1376430
Verwandte Fachgebiete:
28
Autumn school "Proof and Computation"
20. Sep 2021 - 26. Sep 2021 • Fischbachau, Deutschland
Zusammenfassung:
An international autumn school "Proof and Computation" will be held from 20th to 26th September 2020 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
Themen:
Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs
Eintrags-ID:
1395422
29
Diagrams 2021 — 12th International Conference on the Theory and Application of Diagrams
28. Sep 2021 - 30. Sep 2021 • Virtual Conference, Großbritannien
Zusammenfassung:
Diagrams is the only conference series that provides a united forum for all areas that are concerned with the study of diagrams and has a multidisciplinary emphasis. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.
Eintrags-ID:
1395338
30
LORI 2021 — 8th International Conference on Logic, Rationality and Interaction
16. Okt 2021 - 18. Okt 2021 • Xi’an, China
Zusammenfassung:
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.
Eintrags-ID:
1395220
31
ADT 2021 — The 7th International Conference on Algorithmic Decision Theory
28. Okt 2021 - 30. Okt 2030 • Toulouse, Frankreich
Zusammenfassung:
The ADT 2021 conference focus is on algorithmic decision theory broadly defined, seeking to bring together researchers and practitioners coming from diverse areas of Computer Science, Economics and Operations Research in order to improve the theory and practice of modern decision support. The conference topics include research in Algorithms, Argumentation Theory, Artificial Intelligence, Computational Social Choice, Database Systems, Decision Analysis, Discrete Mathematics, Game Theory, Machine Learning, Matching, Multi-agent Systems, Multiple Criteria Decision Aiding, Networks, Optimization, Risk Management, and Utility Theory.
Eintrags-ID:
1409462
32
9th International Conference on Relational and Algebraic Methods in Computer Science
01. Nov 2021 - 05. Nov 2021 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1312440
Verwandte Fachgebiete:
33
KR 2021 — 18th International Conference on Principles of Knowledge Representation and Reasoning
06. Nov 2021 - 12. Nov 2021 • Hanoi, Vietnam
Zusammenfassung:
Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.
Eintrags-ID:
1395274
34
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:
1395885
35
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:
1369290
36
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:
1395925
37
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:
1369402


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 16. Februar 2021