Conferences and Meetings on Information Theory, Foundations of Computer Science

Submit a meeting

Select a location:

Chile (1)  - China (1)  - Czech Republic (1)  - Denmark (1)  - Estonia (1)  - France (1)  - Georgia (1)  - Greece (1)  - Japan (2)  - Montenegro (1)  - Netherlands (2)  - Singapore (2)  - Spain (1)  - Turkey (1)  - United Kingdom (3)  - United States (3)

ALL COUNTRIES

1
CiE 2019 — 15th Conference on Computability in Europe,
15 Jul 2019 - 19 Jul 2019 • Durham, United Kingdom
Abstract:
CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
Event listing ID:
1127612
2
ESEC/FSE'19 — Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
26 Aug 2019 - 30 Aug 2019 • Tallinn, Estonia
Event listing ID:
1095221
Related subject(s):
Event website:
3
Thirteenth International Tbilisi Symposium on Language, Logic and Computation
16 Sep 2019 • Tbilisi State University, Georgia
Abstract:
The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. There have been ten instalments of this series of biannual Symposia.
Event listing ID:
1127620
4
GD 2019 — 27th International Symposium on Graph Drawing and Network Visualization
17 Sep 2019 - 20 Sep 2019 • Prague, Czech Republic
Abstract:
Graph Drawing is concerned with the geometric representation of graphs and constitutes the algorithmic core of Network Visualization. GD has been the main annual event in this area for more than 25 years. Its focus is on combinatorial and algorithmic aspects of graph drawing as well as the design of network visualization systems and interfaces.
Event listing ID:
1201510
5
Beyond spectral gaps — Pansu's Fest, for the 60th birthday of Pierre Pansu
29 Sep 2019 - 03 Oct 2019 • Oxford, United Kingdom
Organizer:
University of Oxford, Mathematical Institute
Abstract:
The goal of this workshop is to bring to Oxford leading experts in the various areas of mathematics and theoretical computer science with an interest in the spectral analysis of graphs and its many applications within mathematics.
Topics:
The event is organised in partnership with the Clay Mathematics Institute.
Event listing ID:
1220226
Related subject(s):
6
MESIGMA 2019 — The Second Montenegrin? Symposium on Graphs, Informatics and Algebra
11 Oct 2019 - 14 Oct 2019 • Budva, Montenegro
Abstract:
Basic topics of the symposium: Graphs, Informatics, Аlgebra
Event listing ID:
1233802
Related subject(s):
7
FOCS — 2019 IEEE 60th Annual Symposium on Foundations of Computer Science
26 Oct 2019 - 29 Oct 2019 • Baltimore, MD, United States
Event listing ID:
1038505
Event website:
8
MACIS 2019 — 8th Int. Conf. on Mathematical Aspects of Computer and Information Sciences
15 Nov 2019 • Gebze/Istanbul, Turkey
Event listing ID:
1242264
9
ISAAC 2019 — 30th International Symposium on Algorithms and Computation
08 Dec 2019 - 11 Dec 2019 • Shanghai, China
Abstract:
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)
Event listing ID:
1237616
10
SLALM 2019 — 18th Simposio Latinoamericano de Lógica Matemática
16 Dec 2019 - 20 Dec 2019 • Conception, Chile
Organizer:
Association for Symbolic Logic (ASL)
Abstract:
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.
Event listing ID:
1239739
Related subject(s):
11
CSL 2020 — Computer Science Logic
13 Jan 2020 - 16 Jan 2020 • Barcelona, Spain
Organizer:
European Association for Computer Science Logic (EACSL)
Abstract:
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.
Event listing ID:
1239652
Related subject(s):
12
POPL 2020 — 47th ACM SIGPLAN Symposium on Principles of Programming Languages
19 Jan 2020 - 25 Jan 2020 • New Orleans, Louisiana, United States
Organizer:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Abstract:
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.
Event listing ID:
1239571
Related subject(s):
13
CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
20 Jan 2020 - 21 Jan 2020 • New Orleans, Louisiana, United States
Organizer:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Abstract:
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.
Event listing ID:
1239638
Related subject(s):
14
New Trends in Algorithms and Theory of Computation
05 Feb 2020 - 07 Feb 2020 • Kyoto University, Japan
Organizer:
Kyoto University/Nagoya University
Event listing ID:
1240465
15
Algebraic system, Logic, Language and Related Areas in Computer Sciences Ⅱ
17 Feb 2020 - 19 Feb 2020 • Kyoto University, Japan
Organizer:
Kyoto University/Toho University
Event listing ID:
1240401
Related subject(s):
16
ICDT 2020 — 23rd International Conference on Database Theory
30 Mar 2020 - 02 Apr 2020 • Copenhagen, Denmark
Abstract:
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.

Event listing ID:
1239693
Related subject(s):
17
Algorithm and Programming
04 May 2020 - 08 May 2020 • CIRM – Luminy, France
Organizer:
Centre International de Rencontres Mathématiques (CIRM)
Event listing ID:
1210322
18
ISSAC 2020 — International Symposium on Symbolic and Algebraic Computation
20 Jul 2020 - 23 Jul 2020 • Kalamata, Messinia, Greece
Abstract:
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.
Topics:
All areas of computer algebra and symbolic computation are of interest at ISSAC 2020.
Event listing ID:
1239755
19
ESSLLI 2020 — 32nd European Summer School in Logic, Language and Information
03 Aug 2020 - 13 Aug 2020 • Utrecht, Netherlands
Abstract:
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.
Event listing ID:
1227713
Event website:
20
ESSLLI 2020 — 32nd European Summer School in Logic, Language and Information
03 Aug 2020 - 14 Aug 2020 • Utrecht, Netherlands
Abstract:
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.
Event listing ID:
1239681
Event website:
21
26th International Conference on DNA Computing and Molecular Programming
13 Sep 2020 - 18 Sep 2020 • University of Oxford, United Kingdom
Organizer:
Institute of Physics – IOP
Abstract:
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.
Event listing ID:
1231833
Related subject(s):
22
Automata Theory and Applications: Games, Learning and Structures
21 Sep 2020 - 25 Sep 2020 • Singapore, Singapore
Organizer:
Institute for Mathematical Sciences/National University of Singapore
Event listing ID:
1240738
23
Information Theory and Data Science Workshop
19 Jul 2021 - 23 Jul 2021 • Singapore, Singapore
Organizer:
Institute for Mathematical Sciences/National University of Singapore
Abstract:
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.
Event listing ID:
1240794
Related subject(s):


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

Last updated: 28 June 2019