Tagungen und Workshops zum Thema Informationstheorie und Grundlagen der Informatik

Wählen Sie ein Land aus
ALLE LÄNDER (28)
1
ISAAC 2019 — 30th International Symposium on Algorithms and Computation
08. Dez 2019 - 11. Dez 2019 • Shanghai, China
Zusammenfassung:
The 30th International Symposium on Algorithms and Computation (ISAAC 2019) will take place in Shanghai, China on December 8-11, 2019. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. Keynote Speakers. Xi Chen (Columbia University, USA) Leslie Ann Goldberg (University of Oxford, UK)
Eintrags-ID:
1237583
Verwandte Fachgebiete:
2
FST&TCS — Foundations of Software Technology and Theoretical Computer Science
11. Dez 2019 - 13. Dez 2019 • Bombay, Indien
Eintrags-ID:
1250335
3
SLALM 2019 — 18th Simposio Latinoamericano de Lógica Matemática
16. Dez 2019 - 20. Dez 2019 • Conception, Chile
Veranstalter:
Association for Symbolic Logic (ASL)
Zusammenfassung:
The SLALM was conceived in the late 1960s by Abraham Robinson, who at the time was President of the ASL. It brings together the community of researchers in logic in Latin America and is nourished by the crucial participation of researchers from around the world.
Eintrags-ID:
1239640
4
ITCS — Conference on Innovations in Theoretical Computer Science
12. Jan 2020 - 14. Jan 2020 • Seattle, Vereinigte Staaten
Eintrags-ID:
1249524
5
CSL 2020 — Computer Science Logic
13. Jan 2020 - 16. Jan 2020 • Barcelona, Spanien
Veranstalter:
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.
Eintrags-ID:
1239641
6
POPL 2020 — 47th ACM SIGPLAN Symposium on Principles of Programming Languages
19. Jan 2020 - 25. Jan 2020 • New Orleans, Louisiana, Vereinigte Staaten
Veranstalter:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Zusammenfassung:
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.
Eintrags-ID:
1239648
Verwandte Fachgebiete:
7
CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
20. Jan 2020 - 21. Jan 2020 • New Orleans, Louisiana, Vereinigte Staaten
Veranstalter:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Zusammenfassung:
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with the production of independently checkable certificates. CPP spans areas of computer science, mathematics, logic, and education.
Eintrags-ID:
1239649
Verwandte Fachgebiete:
8
New Trends in Algorithms and Theory of Computation
05. Feb 2020 - 07. Feb 2020 • Kyoto University, Japan
Veranstalter:
Kyoto University/Nagoya University
Eintrags-ID:
1240432
Verwandte Fachgebiete:
9
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:
1240445
10
STACS — Symposium on Theoretical Aspects of Computer Science
10. Mär 2020 - 14. Mär 2020 • Montpellier, Frankreich
Eintrags-ID:
1249692
11
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:
1265278
12
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:
1239704
Verwandte Fachgebiete:
13
FOSSACS — International Conference on Foundations of Software Science and Computation Structures
25. Apr 2020 - 01. Mai 2020 • Dublin, Irland
Eintrags-ID:
1250030
14
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:
15
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
16
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:
1282196
17
ISIT — IEEE International Symposium on Information Theory
21. Jun 2020 - 26. Jun 2020 • Los Angeles, Vereinigte Staaten
Eintrags-ID:
1275390
18
STOC — ACM Symposium on Theory of Computing
22. Jun 2020 - 26. Jun 2020 • Chicago, Vereinigte Staaten
Eintrags-ID:
1250881
19
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:
1293219
Verwandte Fachgebiete:
20
LICS — IEEE Symposium on Logic in Computer Science
08. Jul 2020 - 12. Jul 2020 • Peking, China
Eintrags-ID:
1249732
21
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:
1239755
22
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:
1227779
23
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:
1239769
24
KR2020 — 17th Conference on Principles of Knowledge Representation and Reasoning
12. Sep 2020 - 18. Sep 2020 • Rhodos, Griechenland
Eintrags-ID:
1293156
25
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:
1231866
Verwandte Fachgebiete:
26
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:
1240661
27
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:
1292745
Verwandte Fachgebiete:
28
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:
1240838


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. November 2019