Tagungen und Workshops zum Thema Informationstheorie und Grundlagen der Informatik

Wählen Sie ein Land aus
ALLE LÄNDER (31)
1
Algebraic system, Logic, Language and Related Areas in Computer Sciences Ⅱ
17. Feb 2020 - 19. Feb 2020 • Kyoto University, Japan
Veranstalter:
Kyoto University/Toho University
Eintrags-ID:
1240390
2
STACS — Symposium on Theoretical Aspects of Computer Science
10. Mär 2020 - 14. Mär 2020 • Montpellier, Frankreich
Eintrags-ID:
1249714
3
ICME 2020 — 54th Annual Conference on Information Sciences and Systems
18. Mär 2020 - 20. Mär 2020 • Princeton University, Vereinigte Staaten
Veranstalter:
Princeton University - Department of Electrical Engineering
Zusammenfassung:
Information Theory, Coding Theory, Image Processing, Communications, Signal Processing, Machine Learning,Big Data Analytics,Reinforcement Learning, Optimization, Statistical Inference, Security and Privacy, Energy Systems, Networking, Systems and Control, and Biological Systems
Eintrags-ID:
1265245
4
ICDT 2020 — 23rd International Conference on Database Theory
30. Mär 2020 - 02. Apr 2020 • Copenhagen, Dänemark
Zusammenfassung:
ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.

As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.

Eintrags-ID:
1239715
Verwandte Fachgebiete:
5
CIRM – Workshop — Weighted Automata: Theory and Applications
14. Apr 2020 - 17. Apr 2020 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1311863
Verwandte Fachgebiete:
6
FOSSACS — International Conference on Foundations of Software Science and Computation Structures
25. Apr 2020 - 01. Mai 2020 • Dublin, Irland
Eintrags-ID:
1250085
7
Algorithm and Programming
04. Mai 2020 - 08. Mai 2020 • CIRM – Luminy, Frankreich
Veranstalter:
Centre International de Rencontres Mathématiques (CIRM)
Eintrags-ID:
1210399
Verwandte Fachgebiete:
8
DLT-2020 — Developments in Language Theory
11. Mai 2020 - 15. Mai 2020 • Tampa, Vereinigte Staaten
Veranstalter:
University of South Florida
Zusammenfassung:
The series of International Conferences Developments in Language Theory provides a forum for presenting current developments in formal languages and automata. Its scope is very general and includes, among others, the following topics and areas: combinatorial and algebraic properties of words and languages; grammars, acceptors and transducers for strings, trees, graphs, arrays; algebraic theories for automata and languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and logic; picture description and analysis; polyominoes and bidimensional patterns; cryptography; concurrency; cellular automata; bio-inspired computing; quantum computing.
Themen:
An International Conference Series under the auspices of the European Association for Theoretical Computer Science (EATCS)
Eintrags-ID:
1292812
9
5 Day Workshop at BIRS — A Convergence of Computable Structure Theory, Computable Analysis, and Randomness
17. Mai 2020 - 22. Mai 2020 • Banff, Alberta, Kanada
Zusammenfassung:
This workshop focuses on the newly developing connection between computable structure theory, computable analysis, and algorithmic randomness. Historically, computable structure theory has been centered around countable algebraic structures such as algebraically closed fields and linear orders. However, with some care, it is possible to study uncountable structures such as Banach spaces and metric spaces in this context and to define the notion of an algorithmically random structure. This workshop will bring together researchers in these three areas to build on recent advances in the intersection of these topics and develop new questions in and new approaches to this emerging field of study.
Eintrags-ID:
1329817
10
LATIN 2020 — 14th Latin American Theoretical Informatics Symposium
25. Mai 2020 - 29. Mai 2020 • Sao Paulo, Brasilien
Veranstalter:
University of São Paulo
Zusammenfassung:
LATIN is devoted to different areas in theoretical computer science including, but not limited to: algorithms (approximation, online, combinatorial optimization, etc.), algorithmic game theory, analytic combinatorics and analysis of algorithms, automata theory and formal languages, combinatorics and graph theory, computational algebra and number theory, computational complexity, computational biology, computational geometry, data structures and information retrieval, foundations of data science and theoretical machine learning, parallel and distributed computing, quantum computing, randomization and pseudorandomness, sublinear algorithms and testing.
Eintrags-ID:
1282185
11
AofA 2020 — 31st International Conference on Probabilistic, Combinatorial, and Asymptotic Methods for the Analysis of Algorithms
15. Jun 2020 - 19. Jun 2020 • Alpen-Adria-Universität, Klagenfurt, Österreich
Veranstalter:
Alpen-Adria-Universität, Klagenfurt
Zusammenfassung:
The 31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA2020) will take place June 15–19, 2020 at Alpen-Adria-Universität Klagenfurt. It is part of the series of annual meetings on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms.
Eintrags-ID:
1304160
Verwandte Fachgebiete:
12
ISIT — IEEE International Symposium on Information Theory
21. Jun 2020 - 26. Jun 2020 • Los Angeles, Vereinigte Staaten
Eintrags-ID:
1275401
13
SWAT 2020 — 17th Scandinavian Symposium and Workshops on Algorithm Theory
22. Jun 2020 - 24. Jun 2020 • Tórshavn, Färöer
Zusammenfassung:
The Scandinavian Symposium and Workshops on Algorithm Theory (SWAT), which alternates with the Algorithms and Data Structures Symposium (WADS), is a forum for researchers in the area of design and analysis of algorithms and data structures.
Themen:
Algorithmic approaches of interest include, but are not limited to: approximation algorithms, parametrized algorithms, distributed algorithms, parallel algorithms, external-memory algorithms, data structures, exponential time algorithms, online algorithms, randomized algorithms, streaming algorithms, sub-linear algorithms.
Eintrags-ID:
1304184
Verwandte Fachgebiete:
14
GASCom 2020 — 12th Conference on Random Generation of Combinatorial Structures
22. Jun 2020 - 24. Jun 2020 • Universita dell'Insubria, Varese, Italien
Veranstalter:
Università dell'Insubria
Zusammenfassung:
The conference GASCom brings together researchers in combinatorics, algorithms, probabilities, and more generally mathematical computer science, around the theme of random and exhaustive generation of combinatorial structures, mostly considered from a theoretical point of view. In connection with this main theme, the conference is also interested in contributions in enumerative or analytic combinatorics, and interactions with other areas of mathematics, computer science, physics or biology. The conference is both interested in methods for random or exhaustive generation and in original results on combinatorial or algorithmic questions, whose solution has been made possible by an approach involving random or exhaustive generation.
Eintrags-ID:
1304207
Verwandte Fachgebiete:
15
STOC — ACM Symposium on Theory of Computing
22. Jun 2020 - 26. Jun 2020 • Chicago, Vereinigte Staaten
Eintrags-ID:
1250870
16
WG2020 — 46th International Workshop on Graph-Theoretic Concepts in Computer Science
24. Jun 2020 - 26. Jun 2020 • Leeds, Großbritannien
Veranstalter:
University of Leeds
Eintrags-ID:
1304142
Verwandte Fachgebiete:
17
SAT 2020 — 23rd International Conference on Theory and Applications of Satisfiability Testing
05. Jul 2020 - 09. Jul 2020 • Alghero, Italien
Zusammenfassung:
The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. Many hard combinatorial problems can be tackled using SAT-based techniques including problems that arise in Formal Verification, Artificial Intelligence, operations Research, Computational Biology, Cryptography, Data Mining, Machine Learning, Mathematics, etc. Indeed, the theoretical and practical advances in SAT research over the past twenty years have contributed to making SAT technology an indispensable tool in a variety of domains. SAT 2020 aims to further advance the field by soliciting original theoretical and practical contributions in these areas with a clear connection to satisfiability.
Eintrags-ID:
1293142
Verwandte Fachgebiete:
18
LICS — IEEE Symposium on Logic in Computer Science
08. Jul 2020 - 12. Jul 2020 • Peking, China
Eintrags-ID:
1249765
19
ISSAC 2020 — International Symposium on Symbolic and Algebraic Computation
20. Jul 2020 - 23. Jul 2020 • Kalamata, Messinia, Griechenland
Zusammenfassung:
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2020 will be the 45th 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 2020.
Eintrags-ID:
1239711
20
ESSLLI 2020 — 32nd European Summer School in Logic, Language and Information
03. Aug 2020 - 13. Aug 2020 • Utrecht, Niederlande
Zusammenfassung:
Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world. The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures. Proposals for courses and workshops are invited in all areas of Logic, Linguistics and Computation. Cross-disciplinary and innovative topics are encouraged. Each course/workshop will consist of five 90-minute sessions, offered daily in a single week. Proposals for 2-week courses should be structured and submitted as two independent one-week courses. The ESSLLI program committee reserves the right to accept just one of the two proposals. The EACSL offers to act as a sponsor for one course or workshop in the areas of Logic and Computation covered by the Computer Science Logic (CSL) conferences. This course or workshop will be designated an EACSL course/workshop. If you wish to be considered for this, please indicate so on your proposal.
Eintrags-ID:
1227768
21
ESSLLI 2020 — 32nd European Summer School in Logic, Language and Information
03. Aug 2020 - 14. Aug 2020 • Utrecht, Niederlande
Zusammenfassung:
Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world. The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability.
Eintrags-ID:
1239714
22
KR2020 — 17th Conference on Principles of Knowledge Representation and Reasoning
12. Sep 2020 - 18. Sep 2020 • Rhodos, Griechenland
Eintrags-ID:
1293112
23
26th International Conference on DNA Computing and Molecular Programming
13. Sep 2020 - 18. Sep 2020 • University of Oxford, Großbritannien
Veranstalter:
Institute of Physics – IOP
Zusammenfassung:
Biomolecular computing has emerged as an interdisciplinary field that draws together molecular biology, chemistry, computer science and mathematics. Our knowledge on DNA nanotechnology and biomolecular computing increases exponentially with every passing year. The annual international meeting in the field began in 1995 right after the landmark work by L. Adleman, who solved an instance of the Hamiltonian path problem by DNA molecules and opened the door to this new field. Since then, the meeting has been a forum where scientists with different backgrounds, yet sharing a common interest in biomolecular computing meet, and present their latest results.
Eintrags-ID:
1231833
Verwandte Fachgebiete:
24
Automata Theory and Applications: Games, Learning and Structures
21. Sep 2020 - 25. Sep 2020 • Singapore, Singapur
Veranstalter:
Institute for Mathematical Sciences/National University of Singapore
Eintrags-ID:
1240683
25
Workshop — Algebraic Methods in Coding Theory and Communication
25. Okt 2020 - 30. Okt 2020 • Oaxaca, Mexiko
Veranstalter:
BIRS-affiliated mathematics research centre, 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:
1330230
26
ER 2020 Conceptual Modeling — 39th International Conference on Conceptual Modeling
03. Nov 2020 - 06. Nov 2020 • Wien, Österreich
Zusammenfassung:
The world is being reconstructed through software and data. Conceptual models seem mandatory to cope with this gigantic transformation that is unprecedented in the history of humankind. Not only do they build a solid foundation for designing software system, they also foster the empowerment of users and help us to develop images of possible future worlds. However, recent developments in AI challenge this pivotal role of conceptual models. Some AI proponents go so far as to predict the end of conceptual modeling, for an ostensibly convincing reason: machine learning will enable automated software construction, both faster and at much lower costs. These contradictory assessments make it especially exciting to reflect upon the foundations of conceptual modeling and the limitations of inductive approaches to software creation. The ER conference has been the leading conference on conceptual modeling for many years. In continuation of this tradition, ER 2020 is dedicated to providing a forum for discussing the present and future role of conceptual modeling with regard to enabling and managing change.
Eintrags-ID:
1292789
Verwandte Fachgebiete:
27
Computability Theory
25. Apr 2021 - 01. Mai 2021 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1312997
28
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:
1312273
29
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:
1312250
30
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:
1240827
31
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:
1312539
Verwandte Fachgebiete:


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 13. Februar 2020