Conférences - Théorie de l'information, fondations de l'informatique

Sélecionner un pays:
Chili (1) - Chine (1) - Danemark (1) - Espagne (2) - Estonie (1) - France (3) - Grèce (2) - Géorgie (1) - Italie (1) - Japon (2) - Kazakhstan (1) - Mexique (1) - Monténégro (1) - Pays-Bas (2) - Royaume-Uni (3) - Russie (1) - République tchèque (1) - Singapour (2) - États-Unis (4)

TOUS LES PAYS

1
WG 2019 — 45th International Workshop on Graph-Theoretic Concepts in Computer Science
19 jui 2019 - 21 jui 2019 • Vall de Núria, Catalonia, Espagne
Résumé:
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.
Identifiant de l'évènement:
1168071
2
BFA 2019 — The 4th International Workshop on Boolean Functions and their Application
21 jui 2019 • Florence, Italie
Résumé:
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.
Identifiant de l'évènement:
1172821
3
CCR 2019 — Fourteenth international conference on computability, complexity and randomness
23 jui 2019 - 25 jui 2019 • Astana, Kazakhstan
Résumé:
The conference will be co-located with The Sixteenth Asian Logic Conference
Sujets:
Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic.
Identifiant de l'évènement:
1180808
Sujets apparentés:
4
STOC 2019 — ACM Symposium on Theory of Computing
23 jui 2019 - 26 jui 2019 • Phoenix, AZ, États-Unis
Identifiant de l'évènement:
1134035
Sujets apparentés:
5
AofA : Méthodes probabolistes, combinatoires et asymptotiques pour l'analyse d'algorithmes — AofA: Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
24 jui 2019 - 28 jui 2019 • CIRM – Luminy, France
Organisateur:
Centre International de Rencontres Mathématiques (CIRM)
Résumé:
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.
Identifiant de l'évènement:
1211709
6
AUTOMATA 2019 — 25th International Workshop on Cellular Automata and Discrete Complex Systems
26 jui 2019 - 28 jui 2019 • Guadalajara, Mexique
Résumé:
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
Sujets:
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.
Identifiant de l'évènement:
1132296
7
CSR — 14th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2019)
01 jul 2019 - 05 jul 2019 • Novosibirsk, Russie
Résumé:
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.
Sujets:
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
Identifiant de l'évènement:
1121920
8
2019 IEEE International Symposium on Information Theory
07 jul 2019 - 12 jul 2019 • Paris , France
Résumé:
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.
Identifiant de l'évènement:
1127148
9
ICALP — International Colloquium on Automata, Languages and Programming
08 jul 2019 - 12 jul 2019 • Patras, Grèce
Identifiant de l'évènement:
1134241
Sujets apparentés:
10
CiE 2019 — 15th Conference on Computability in Europe,
15 jul 2019 - 19 jul 2019 • Durham, Royaume-Uni
Résumé:
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.
Identifiant de l'évènement:
1127601
11
ESEC/FSE'19 — Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
26 aou 2019 - 30 aou 2019 • Tallinn, Estonie
Identifiant de l'évènement:
1095243
Sujets apparentés:
12
Thirteenth International Tbilisi Symposium on Language, Logic and Computation
16 sep 2019 • Tbilisi State University, Géorgie
Résumé:
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.
Identifiant de l'évènement:
1127708
13
GD 2019 — 27th International Symposium on Graph Drawing and Network Visualization
17 sep 2019 - 20 sep 2019 • Prague, République tchèque
Résumé:
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.
Identifiant de l'évènement:
1201510
14
Beyond spectral gaps — Pansu's Fest, for the 60th birthday of Pierre Pansu
29 sep 2019 - 03 oct 2019 • Oxford, Royaume-Uni
Organisateur:
University of Oxford, Mathematical Institute
Résumé:
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.
Sujets:
The event is organised in partnership with the Clay Mathematics Institute.
Identifiant de l'évènement:
1220160
15
MESIGMA 2019 — The Second Montenegrin? Symposium on Graphs, Informatics and Algebra
11 oct 2019 - 14 oct 2019 • Budva, Monténégro
Résumé:
Basic topics of the symposium: Graphs, Informatics, Аlgebra
Identifiant de l'évènement:
1233846
16
FOCS — 2019 IEEE 60th Annual Symposium on Foundations of Computer Science
26 oct 2019 - 29 oct 2019 • Baltimore, MD, États-Unis
Identifiant de l'évènement:
1038527
17
ISAAC 2019 — 30th International Symposium on Algorithms and Computation
08 dec 2019 - 11 dec 2019 • Shanghai, Chine
Résumé:
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)
Identifiant de l'évènement:
1237583
Sujets apparentés:
18
SLALM 2019 — 18th Simposio Latinoamericano de Lógica Matemática
16 dec 2019 - 20 dec 2019 • Conception, Chili
Organisateur:
Association for Symbolic Logic (ASL)
Résumé:
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.
Identifiant de l'évènement:
1239728
Sujets apparentés:
19
CSL 2020 — Computer Science Logic
13 jan 2020 - 16 jan 2020 • Barcelona, Espagne
Organisateur:
European Association for Computer Science Logic (EACSL)
Résumé:
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.
Identifiant de l'évènement:
1239707
Sujets apparentés:
20
POPL 2020 — 47th ACM SIGPLAN Symposium on Principles of Programming Languages
19 jan 2020 - 25 jan 2020 • New Orleans, Louisiana, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Résumé:
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.
Identifiant de l'évènement:
1239560
Sujets apparentés:
21
CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
20 jan 2020 - 21 jan 2020 • New Orleans, Louisiana, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Résumé:
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.
Identifiant de l'évènement:
1239572
Sujets apparentés:
22
New Trends in Algorithms and Theory of Computation
05 fév 2020 - 07 fév 2020 • Kyoto University, Japon
Organisateur:
Kyoto University/Nagoya University
Identifiant de l'évènement:
1240487
Sujets apparentés:
23
Algebraic system, Logic, Language and Related Areas in Computer Sciences Ⅱ
17 fév 2020 - 19 fév 2020 • Kyoto University, Japon
Organisateur:
Kyoto University/Toho University
Identifiant de l'évènement:
1240489
Sujets apparentés:
24
ICDT 2020 — 23rd International Conference on Database Theory
30 mar 2020 - 02 avr 2020 • Copenhagen, Danemark
Résumé:
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.

Identifiant de l'évènement:
1239759
25
Algorithm and Programming
04 mai 2020 - 08 mai 2020 • CIRM – Luminy, France
Organisateur:
Centre International de Rencontres Mathématiques (CIRM)
Identifiant de l'évènement:
1210366
Sujets apparentés:
26
ISSAC 2020 — International Symposium on Symbolic and Algebraic Computation
20 jul 2020 - 23 jul 2020 • Kalamata, Messinia, Grèce
Résumé:
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.
Sujets:
All areas of computer algebra and symbolic computation are of interest at ISSAC 2020.
Identifiant de l'évènement:
1239744
27
ESSLLI 2020 — 32nd European Summer School in Logic, Language and Information
03 aou 2020 - 13 aou 2020 • Utrecht, Pays-Bas
Résumé:
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.
Identifiant de l'évènement:
1227680
Sujets apparentés:
28
ESSLLI 2020 — 32nd European Summer School in Logic, Language and Information
03 aou 2020 - 14 aou 2020 • Utrecht, Pays-Bas
Résumé:
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.
Identifiant de l'évènement:
1239725
29
26th International Conference on DNA Computing and Molecular Programming
13 sep 2020 - 18 sep 2020 • University of Oxford, Royaume-Uni
Organisateur:
Institute of Physics – IOP
Résumé:
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.
Identifiant de l'évènement:
1231855
30
Automata Theory and Applications: Games, Learning and Structures
21 sep 2020 - 25 sep 2020 • Singapore, Singapour
Organisateur:
Institute for Mathematical Sciences/National University of Singapore
Identifiant de l'évènement:
1240727
31
Information Theory and Data Science Workshop
19 jul 2021 - 23 jul 2021 • Singapore, Singapour
Organisateur:
Institute for Mathematical Sciences/National University of Singapore
Résumé:
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.
Identifiant de l'évènement:
1240761
Sujets apparentés:


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Les organisateurs peuvent soumettre une réunion ou une conférence pour inclusion dans nos listes, et ceci gratuitement.

Dernière mise à jour: 18 Juin 2019