Conferences and Meetings on Information Theory, Foundations of Computer Science

Submit a meeting

Select a location:
China (1) - Cyprus (1) - Czech Republic (1) - Estonia (1) - Finland (1) - France (2) - Germany (2) - Italy (1) - Netherlands (1) - Singapore (1) - United States (3)

ALL COUNTRIES

1
IPEC 2018 - 13th International Symposium on Parameterized and Exact Computation
22 Aug 2018 - 24 Aug 2018 • Helsinki, Finland
2
School and Conference on Spin-based Quantum Information Processing
10 Sep 2018 - 14 Sep 2018 • Konstanz, Germany
Abstract:
This meeting covers the latest progress in quantum information science and technology with spins in solid state, and related topics. Talks will be preceded by introductory school lectures. After 2010 and 2014, Spin Qubits returns to Konstanz in 2018.
Event listing ID:
926906
3
IQIS2018 — Italian Quantum Information Science Conference
17 Sep 2018 - 20 Sep 2018 • Catania, Italy
Abstract:
The series of IQIS Conferences aim to bring together many researchers from Italy and around the world in the field of Quantum Information and related Technologies. Professors, young researchers, postdocs and students will have the opportunity to meet active research groups and establish collaborations. The Conference will continue the work of the Italian Quantum community and agenda, first set in Camerino in 2008 and then continued in Pisa (2009), Torino (2010), Vietri (2011), Padova (2012), Como (2013), Salerno (2014), Monopoli (2015), Rome (2016) and Florence (2017). The Conference will host a day dedicated to the recently announced FET-Flagship for 2018-28.
Contact:
Phone: [+390953785366];     Email: gfalci@dmfci.unict.it
Topics:
Quantum Technolologies (computation, simulation, communication, sensing and metrology). Quantum basic science (open quantum systems, decoherence, non-Markovianity, entanglement). Special topics (Quantum control, networking and many-body physiscs, thermodynamics, quantum gravity). Implementations (atoms and molecules, solid-state devices, quantum photonics)
Event listing ID:
954544
4
HIGHLIGHTS 2018 - 6th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA
18 Sep 2018 - 21 Sep 2018 • Berlin, Germany
Event listing ID:
1074217
Related subject(s):
5
FOCS — 2018 IEEE 59th Annual Symposium on Foundations of Computer Science
07 Oct 2018 - 09 Oct 2018 • Paris, France
Topics:
algorithms and data structures, computational complexity, cryptography, computational learning theory, economics and computation, parallel and distributed algorithms, quantum computing, computational geometry, computational applications of logic, algorithmic graph theory and combinatorics, optimization, randomness in computing, approximation algorithms, algorithmic coding theory, algebraic computation, and theoretical aspects of areas such as networks, privacy, information retrieval, computational biology, and databases.
Event listing ID:
976707
Related subject(s):
Event website:
6
ISITA 2018 — International Symposium on Information Theory and Its Applications
28 Oct 2018 - 31 Oct 2018 • Singapore, Singapore
Topics:
The International Symposium on Information Theory and Its Applications (ISITA) is a leading conference on information theory. Since its inception in 1990, ISITA has been an exciting forum for interdisciplinary interaction, gathering leading researchers to discuss topics of common interest in the field of information theory.
Event listing ID:
1095125
Related subject(s):
7
FSE — ACM SIGSOFT International Symposium on Foundations of Software Engineering
04 Nov 2018 - 09 Nov 2018 • Lake Buena Vista, United States
Event listing ID:
985177
Related subject(s):
8
ITW — 2018 IEEE Information Theory Workshop
25 Nov 2018 - 29 Nov 2018 • Guangzhou, China
Abstract:
Original papers on Information and Coding Theory are encouraged for submission. The scope of submission includes, but is not limited to Information Theory and its Applications Frontiers of Coding Theory and Practice Boundaries between Information Theory and Data Science, Biology and Signal Processing Network Information Theory Network Coding and Distributed Storage Information Theoretic Security
Event listing ID:
926741
Event website:
9
Syntax Meets Semantics 2019
21 Jan 2019 - 24 Jan 2019 • Doelenzaal, University Library, Netherlands
Abstract:
Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.
Event listing ID:
1086424
10
CISS 2019 — 53rd Annual Conference on Information Sciences and Systems
20 Mar 2019 - 22 Mar 2019 • Baltimore, MD, United States
Event listing ID:
1095185
Event website:
11
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:
1036950
Related subject(s):
12
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:
1094690
13
2019 European School of Information Theory
15 Apr 2019 - 19 Apr 2019 • French Riviera, France
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:
1095126
14
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):
15
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:


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!

AIP Exhibitor Management Services
Last updated: 06 July 2018