Conferences and Meetings on Information Theory, Foundations of Computer Science

Submit a meeting

Select a location:
China (1) - Cyprus (1) - Czech Republic (3) - Estonia (1) - Finland (1) - France (5) - Georgia (1) - Greece (1) - Italy (2) - Japan (1) - Kazakhstan (1) - Mexico (1) - Netherlands (2) - Russia (3) - Slovenia (1) - Spain (2) - United Kingdom (1) - United States (2)

ALL COUNTRIES

1
CTFM2019 — 9th International Conference on Computability Theory and Foundations of Mathematics
21 Mar 2019 - 27 Mar 2019 • Wuhan University of Technology, Wuhan, China
Event listing ID:
1170204
Event website:
2
CTRQ 2019 — The Twelfth International Conference on Communication Theory, Reliability, and Quality of Service
24 Mar 2019 - 28 Mar 2019 • Valencia, Spain
Organizer:
The International Academy, Research and Industry Association (IARIA)
Event listing ID:
1110368
Related subject(s):
3
ETAPS 2019 — The European Joint Conferences on Theory and Practice of Software
06 Apr 2019 - 12 Apr 2019 • Prague, Czech Republic
Abstract:
The European Joint Conferences on Theory and Practice of Software (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 five main annual conferences (ESOP, FASE, FOSSACS, POST and TACAS) accompanied by satellite workshops and other events.
Topics:
Formal methods, computer science, software
Event listing ID:
1036983
Related subject(s):
4
MiDOS @ SAC — Microservices, DevOps, and Service-Oriented Architecture
08 Apr 2019 - 12 Apr 2019 • Limassol, Cyprus
Abstract:
Service-oriented architectures have changed our vision of the Web, bringing a paradigmatic shift in the methodologies when designing and implementing distributed systems. Originally, the Web was mainly seen as a means of presenting information to a wide spectrum of people, but service-oriented programming triggered a radical transformation of the Web towards a computational fabric where loosely coupled services interact, can be discovered and then invoked. More recently, the microservices architectural style has been proposed, where applications are developed as a collection of fine-grained services running as independent processes. Distributed applications can then be constructed from independently deployable services taking advantage of the properties of the microservice architecture (e.g., flexibility, maintainability, reusability, compositionality, and scalability) as well as the elasticity of cloud infrastructure. From the practical point of view, the deployment and maintenance of (micro)services architectures is performed using DevOps, i.e., a collection of practices linking software development (Dev) with software operations (Ops). DevOps strongly advocates for automation and monitoring at all steps of software construction, from integration, testing, releasing to deployment and infrastructure management. By using the DevOps methodology, it is possible to reduce the time between committing a change to a system and the change being placed into normal production, while ensuring high quality.
Contact:
Email: concurrency@sdu.dk
Topics:
Formal methods for specification of (Micro)Services, Methodologies and tools for Service-Oriented application design, Methodologies and tools for DevOps, Service-Oriented Middlewares, Service-Oriented Programming languages, Test methodologies for Service-Oriented applications, Analysis techniques and tools, Service systems performance analysis, Industrial deployment of tools and methodologies, Standards for Service Oriented Programming, Continuous Integration and Deployment, (Micro)Service application case studies, Dependability and Services, Quality of Service, Cybersecurity and Services, Comparisons between different approaches to Services, Exception handling in composition languages, Trust and Services, Sustainability and Services, Green Computing, Adaptable Services, Empirical research or Experiences on (Micro)Services and DevOps, Failure cases
Event listing ID:
1094745
Event website:
5
TAMC 2019 — 15th Annual Conference on Theory and Applications of Models of Computation
13 Apr 2019 - 16 Apr 2019 • Kitakyushu, Japan
Abstract:
TAMC 2019 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. TAMC is happening in Japan after a gap of Eight Years with special sessions on “Soft Computing and AI models”.
Event listing ID:
1127573
Related subject(s):
6
2019 European School of Information Theory
15 Apr 2019 - 19 Apr 2019 • French Riviera, France
Organizer:
IEEE Information Theory Society
Topics:
The European School of Information Theory (ESIT) is an annual educational event, organized by the IEEE Information Theory Society, for graduate students from institutes throughout Europe and beyond. The objective of the school is to provide the students with the opportunity (i) to learn from distinguished lecturers by attending long-format tutorials, (ii) to present their own work to obtain feedback and to start up collaborations, (iii) to hear about applications of information theory in industry, and (iv) to participate in a stimulating and inviting forum of scientists.
Event listing ID:
1095148
7
DIP Colloquium, Jim Pryor
26 Apr 2019 • Amsterdam, Netherlands
Abstract:
The Discourse in Philosophy (DIP) Colloquium is a lecture series by distinguished speakers, whose work relates to the current research interests of the Logic and Language group at the ILLC: formal semantics and pragmatics, philosophy of logic and language, and logical modeling of language-related human cognition.
Event listing ID:
1165245
8
COMPUTATION TOOLS 2019 — The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
05 May 2019 - 09 May 2019 • Venice, Italy
Organizer:
The International Academy, Research and Industry Association (IARIA)
Abstract:
Part of ComputationWorld 2019
Event listing ID:
1110101
Related subject(s):
9
Fake Intelligence Summit 2019
07 May 2019 - 08 May 2019 • Pori, Finland
Abstract:
Artificial Intelligence (AI) is in the middle of massive hype of a global scale. Fake Intelligence is a resistance movement with a purpose of revealing the AI bubble and increasing critical thinking. Fake Intelligence Summit, organized by Satakunta University of Applied Sciences, brings together global thought leaders, top scientist, policy makers, industry leaders and venture capitalists.In the recent years, AI has been loaded with so big expectations, that the expectations themselves are threat to the industry. The primary reason for this is that too many investments on AI have been made based on beautiful pitch deck and promises of infinite disruption, leaving the technical and scientific facts in the background. The annual Fake Intelligence Summit is organized for the first time at Satakunta University of Applied Sciences in Pori the 07-08 of May 2019. The two-day Summit introduces dozens of presentations of AI specialists. The Fake Intelligence Program Committee includes the Founder of AI company Headai Harri Ketamo (chair), the Vice President of SAMK Cimmo Nurmi and growth visionary Peter Vesterbacka. Call for Papers is until 7.3.2019. The best Papers will be rewarded with Fake Awards and Critical Thinking Awards. Don’t feed the bubble!
Contact:
Email: info@fakeintelligence.fi
Topics:
AI, big data, data biases, algorithms, science, science fiction, human thinking, computational intelligence
Event listing ID:
1177046
10
DIP Colloquium, Una Stojnic
24 May 2019 • Amsterdam, Netherlands
Organizer:
Logic and Language
Event listing ID:
1133642
11
ESWC — International Conference on the Semantic Web
02 Jun 2019 - 06 Jun 2019 • Portoroz, Slovenia
Abstract:
Ontologies and Reasoning Linked Data Natural Language Processing and Information Retrieval Semantic Data Management and Data Infraestructures Social and Human Aspects of the Semantic Web Machine Learning Distribution and Decentralization Velocity on the Web Research of Research
Event listing ID:
1134134
12
Russian Workshop on Complexity and Model Theory
09 Jun 2019 - 11 Jun 2019 • Moscow, Russia
Abstract:
The aim of the workshop is to bring together specialists in computational complexity, communication complexity, formal languages, descriptive complexity, cryptography and other related fields. The Moscow Institute of Physics and Technology and, in particular, the Phystech-School of Applied Mathematics and Computer Science will become a platform for the discussion of various subjects in the area.
Event listing ID:
1171205
13
DIMEA Days 2019
12 Jun 2019 - 13 Jun 2019 • Masaryk University, Brno, Czech Republic
Abstract:
DIMEA Days is a two-day event focused on discrete mathematics and theoretical computer science organized by the DIMEA laboratory at the Faculty of Informatics at Masaryk University in Brno. The aim of the event is to start a tradition of an annual intensive meeting of researchers in discrete mathematics and theoretical computer science in the region of Central Europe.
Event listing ID:
1193185
14
RIC — Randomness, information and complexity
12 Jun 2019 - 14 Jun 2019 • Moscow, Russia
Abstract:
Theoretical computer science conference in honor of Alexander Shen and Nikolay Vereshchagin 60ties birthdays.
Contact:
Email: ric-organizers@computability.fr
Topics:
Automata, Kolmogorov complexity, Computational complexity, Algorithmic randomness
Event listing ID:
1180732
Related subject(s):
15
Arithmetic, Geometry, Cryptography and Coding Theory
14 Jun 2019 • Marseille, France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Abstract:
Our goal is to organize a conference devoted to interactions between pure mathematics, in particular arithmetic and algebraic geometry, and the information theory, especially cryptography and coding theory.
Event listing ID:
1172822
16
WG 2019 — 45th International Workshop on Graph-Theoretic Concepts in Computer Science
19 Jun 2019 - 21 Jun 2019 • Vall de Núria, Catalonia, Spain
Abstract:
WG conferences aim to connect theory and applications by demonstrating how graph-theoretic concepts can be applied in various areas of computer science. The goal is to present recent results and to identify and explore directions for future research.
Event listing ID:
1168148
Related subject(s):
17
BFA 2019 — The 4th International Workshop on Boolean Functions and their Application
21 Jun 2019 • Florence, Italy
Abstract:
Boolean functions and more generally all the discrete structures used in error correcting coding, cryptography or communications, are highly active areas of research. The workshop Boolean Functions and their Applications (BFA) is to provide a forum for researchers who are working on discrete functions and structures, particularly on Boolean functions, to exchange ideas and interests in open problems, and to further explore their applications in cryptography, error correcting codes and communications.
Event listing ID:
1172887
18
CCR 2019 — Fourteenth international conference on computability, complexity and randomness
23 Jun 2019 - 25 Jun 2019 • Astana, Kazakhstan
Abstract:
The conference will be co-located with The Sixteenth Asian Logic Conference
Topics:
Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic.
Event listing ID:
1180786
Related subject(s):
Event website:
19
STOC 2019 — ACM Symposium on Theory of Computing
23 Jun 2019 - 26 Jun 2019 • Phoenix, AZ, United States
Event listing ID:
1134002
Related subject(s):
20
AofA : Méthodes probabolistes, combinatoires et asymptotiques pour l'analyse d'algorithmes — AofA: Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
24 Jun 2019 - 28 Jun 2019 • CIRM – Luminy, France
Organizer:
Centre International de Rencontres Mathématiques (CIRM)
Abstract:
Analysis of Algorithms (AofA) is a field at the boundary of computer science and mathematics. The goal is to obtain a precise understanding of the asymptotic, average-case characteristics of algorithms and data structures. A unifying theme is the use of probabilistic, combinatorial, and analytic methods. This discipline is often traced back to Donald E. Knuth, whose fundamental books, “The Art of Computer Programming”, established ties between areas of study that include discrete mathematics, combinatorics, probability theory, analytic number theory, asymptotic analysis, and complexity theory. Starting in 1993, notably thanks to the efforts of Philippe Flajolet, a series of international workshops and conferences entirely devoted to the Analysis of Algorithms has been established. These are attended by the major actors of the field. Nowadays, these yearly conferences take place on a biennial schedule: conferences with submissions of articles in even-numbered years and more informal workshops by invitation in odd-numbered years as this 2019 meeting. The purpose of the workshop is to stimulate research in the field by providing a regular forum for researchers to come and exchange ideas and by attracting prominent people from related areas to the field.
Event listing ID:
1211632
21
AUTOMATA 2019 — 25th International Workshop on Cellular Automata and Discrete Complex Systems
26 Jun 2019 - 28 Jun 2019 • Guadalajara, Mexico
Abstract:
AUTOMATA 2019 is the twenty-fifth workshop in a series of events established in 1995. The workshop aims to establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of cellular automata (CA) and discrete complex systems (DCS), to support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned, and to identify and study, within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS. AUTOMATA 2019 is an official event of the International Federation for Information Processing (IFIP). Accepted full papers will appear in the proceedings published by Springer's Lecture Notes in Computer Science.
Contact:
Email: alonso.castillor@academicos.udg.mx
Topics:
Dynamic, topological, ergodic and algebraic aspects of cellular automata and discrete complex systems, algorithmic and complexity issues, emergent properties, symbolic dynamics, formal languages, tilings, models of parallelism and distributed systems, synchronous versus asynchronous models, phenomenological descriptions and scientific modelling, applications of CA and DCS.
Event listing ID:
1132274
22
CSR — 14th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2019)
01 Jul 2019 - 05 Jul 2019 • Novosibirsk, Russia
Abstract:
14th International Computer Science Symposium in Russia (CSR 2019) will be held on July 1-5, 2019, in Novosibirsk, Russia. The submission deadline is December 23, 2018. All details can be found on the website.
Topics:
algorithms and data structures, computational complexity, randomness in computing, approximation algorithms, combinatorial optimisation, constraint satisfaction, computational geometry, formal languages and automata, codes and cryptography, combinatorics in computer science, applications of logic to computer science, proof complexity, fundamentals of machine learning, theoretical aspects of big data
Event listing ID:
1122019
23
2019 IEEE International Symposium on Information Theory
07 Jul 2019 - 12 Jul 2019 • Paris , France
Abstract:
The IEEE International Symposium on Information Theory (ISIT) will take place in the center of Paris at an atypical venue and historic site, Maison de la Mutualité, France, from July 7th to 12, 2019. We seek original, unpublished contributions in all areas of information theory, including but not limited to the topics listed below. In addition, papers that broaden the reach of information theory, including emerging fields and novel applications of information theory, are encouraged.
Event listing ID:
1127060
24
ICALP — International Colloquium on Automata, Languages and Programming
08 Jul 2019 - 12 Jul 2019 • Patras, Greece
Event listing ID:
1134241
Related subject(s):
25
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:
1127656
26
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:
1095287
Related subject(s):
Event website:
27
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:
1127719
28
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
29
FOCS — 2019 IEEE 60th Annual Symposium on Foundations of Computer Science
26 Oct 2019 - 29 Oct 2019 • Baltimore, MD, United States
Event listing ID:
1038549
Event website:
30
Algorithm and Programming
04 May 2020 - 08 May 2020 • CIRM – Luminy, France
Organizer:
Centre International de Rencontres Mathématiques (CIRM)
Event listing ID:
1210322


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: 22 March 2019