Tagungen und Workshops zum Thema Informationstheorie und Grundlagen der Informatik

Wählen Sie ein Land aus:
Deutschland (1) - Estland (1) - Frankreich (2) - Georgien (1) - Griechenland (1) - Großbritannien (1) - Indien (1) - Italien (1) - Japan (3) - Mexiko (1) - Niederlande (3) - Russische Föderation (1) - Slowenien (1) - Spanien (1) - Tschechische Republik (1) - Ungarn (1) - Vereinigte Staaten (3) - Zypern (1)

ALLE LÄNDER

1
IndoQuant 2019 — Workshop on Quantum Computing and Information
12. Jan 2019 - 13. Jan 2019 • Hyderabad, Indien
Zusammenfassung:
Topics covered are Quantum algorithms and complexity, Quantum information theory, Quantum communication, repeater networks, Quantum cryptography and related topics; Implementations and Challenges, Quantum programming languages and compilers, Quantum circuit minimization, Quantum computer: Design and Implementation. We are bringing together both researchers and industry leaders to chalk out a plan of action to use QI in near future.
Kontakt:
Email: indoquant2019@iith.ac.in
Themen:
Quantum Information
Eintrags-ID:
1152104
2
Syntax Meets Semantics 2019
21. Jan 2019 - 24. Jan 2019 • Doelenzaal, University Library, Niederlande
Zusammenfassung:
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.
Eintrags-ID:
1086424
3
Finite Geometry Workshop 2019
31. Jan 2019 - 03. Feb 2019 • Szeged , Ungarn
Zusammenfassung:
A 4-days workshop about finite geometry, Galois fields, coding theory and combinatorics
Themen:
Finite fields and Galois geometries, Algebraic graph theory, Independent sets in hypergraphs, Arcs and caps from cubic curves and their applications in coding theory, Geometry of the Hermitian varieties, Objects in finite planes and their collineation groups
Eintrags-ID:
1127114
4
Recent Trends in Algorithms and Computation
04. Feb 2019 - 06. Feb 2019 • Kyoto, Japan
5
Algebraic System, Logic, Language and Related Areas in Computer Science
20. Feb 2019 - 22. Feb 2019 • Kyoto, Japan
Eintrags-ID:
1110007
Verwandte Fachgebiete:
6
DIP Colloquium, Jacopo Romoli
22. Feb 2019 • Amsterdam, Niederlande
7
Contemporary Coding Theory
17. Mär 2019 - 23. Mär 2019 • Oberwolfach, Deutschland
Eintrags-ID:
1140132
8
CISS 2019 — 53rd Annual Conference on Information Sciences and Systems
20. Mär 2019 - 22. Mär 2019 • Baltimore, MD, Vereinigte Staaten
Eintrags-ID:
1095163
9
CTRQ 2019 — The Twelfth International Conference on Communication Theory, Reliability, and Quality of Service
24. Mär 2019 - 28. Mär 2019 • Valencia, Spanien
Eintrags-ID:
1110324
Verwandte Fachgebiete:
10
ETAPS 2019 — The European Joint Conferences on Theory and Practice of Software
06. Apr 2019 - 12. Apr 2019 • Prag, Tschechische Republik
Zusammenfassung:
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.
Themen:
Formal methods, computer science, software
Eintrags-ID:
1036983
Verwandte Fachgebiete:
11
MiDOS @ SAC — Microservices, DevOps, and Service-Oriented Architecture
08. Apr 2019 - 12. Apr 2019 • Limassol, Zypern
Zusammenfassung:
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.
Kontakt:
Email: concurrency@sdu.dk
Themen:
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
Eintrags-ID:
1094745
12
TAMC 2019 — 15th Annual Conference on Theory and Applications of Models of Computation
13. Apr 2019 - 16. Apr 2019 • Kitakyushu, Japan
Zusammenfassung:
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”.
Eintrags-ID:
1127562
Verwandte Fachgebiete:
13
2019 European School of Information Theory
15. Apr 2019 - 19. Apr 2019 • French Riviera, Frankreich
Themen:
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.
Eintrags-ID:
1095115
14
COMPUTATION TOOLS 2019 — The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
05. Mai 2019 - 09. Mai 2019 • Venedig, Italien
Zusammenfassung:
Part of ComputationWorld 2019
Eintrags-ID:
1110123
Verwandte Fachgebiete:
15
DIP Colloquium, Una Stojnic
24. Mai 2019 • Amsterdam, Niederlande
16
ESWC — International Conference on the Semantic Web
02. Jun 2019 - 06. Jun 2019 • Portoroz, Slowenien
Zusammenfassung:
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
Eintrags-ID:
1134145
17
STOC 2019 — ACM Symposium on Theory of Computing
23. Jun 2019 - 26. Jun 2019 • Phoenix, AZ, Vereinigte Staaten
Eintrags-ID:
1134046
Verwandte Fachgebiete:
18
AUTOMATA 2019 — 25th International Workshop on Cellular Automata and Discrete Complex Systems
26. Jun 2019 - 28. Jun 2019 • Guadalajara, Mexiko
Zusammenfassung:
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.
Kontakt:
Email: alonso.castillor@academicos.udg.mx
Themen:
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.
Eintrags-ID:
1132307
19
CSR — 14th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2019)
01. Jul 2019 - 05. Jul 2019 • Novosibirsk, Russische Föderation
Zusammenfassung:
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.
Themen:
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
Eintrags-ID:
1121942
20
2019 IEEE International Symposium on Information Theory
07. Jul 2019 - 12. Jul 2019 • Paris , Frankreich
Zusammenfassung:
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.
Eintrags-ID:
1127082
21
ICALP — International Colloquium on Automata, Languages and Programming
08. Jul 2019 - 12. Jul 2019 • Patras, Griechenland
Eintrags-ID:
1134329
Verwandte Fachgebiete:
22
CiE 2019 — 15th Conference on Computability in Europe,
15. Jul 2019 - 19. Jul 2019 • Durham, Großbritannien
Zusammenfassung:
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.
Eintrags-ID:
1127656
23
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, Estland
Eintrags-ID:
1095210
Verwandte Fachgebiete:
24
Thirteenth International Tbilisi Symposium on Language, Logic and Computation
16. Sep 2019 • Tbilisi State University, Georgien
Zusammenfassung:
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.
Eintrags-ID:
1127642
25
FOCS — 2019 IEEE 60th Annual Symposium on Foundations of Computer Science
26. Okt 2019 - 29. Okt 2019 • Baltimore, MD, Vereinigte Staaten
Eintrags-ID:
1038494


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.

Organisatoren können kostenlos ihre Konferenzankündigungen veröffentlichen.

Stand vom 28. November 2018