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

Sélecionner un pays
TOUS LES PAYS (35)
1
Computability Theory
25 avr 2021 - 01 mai 2021 • Oberwolfach , Allemagne
Organisateur:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1312986
2
CIRM – Research School — Ecole de Printemps d’Informatique Théorique (EPIT).
24 mai 2021 - 28 mai 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312306
3
Arithmétique, géométrie, cryptographie et théorie des codes
31 mai 2021 - 04 jui 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312305
4
Logic of Conceivability Conference 2021, Online
07 jui 2021 - 08 jui 2021 • Online, n’importe où (en ligne)
Résumé:
The ability to think about non-actual possibilities is crucial for rational decision and action. When deciding what to do in situations of uncertainty or risk, we use our powers of imagination and conception to surveil the ways the world might be for all we know, and ponder the possible consequences of our actions. What is the logic of conceivability? Do thinking and imagining exhibit sufficient structure so to be amenable to precise modeling? Under what conditions does an imaginative episode establish a non-actual scenario as a real possibility? What are the special features of thought, talk and knowledge about mere possibility and conditionality? The aim of this conference is to facilitate the conversation on these questions by bringing together both senior and rising young researchers from around the world.
Identifiant de l'évènement:
1415760
5
Logical Perspectives 2021
15 jui 2021 - 19 jui 2021 • Moscou, Russie
Résumé:
The Logical Perspectives conference series aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. The Logical Perspectives summer school and workshop series aims at giving advanced introductions into various branches of logic, and providing researchers - including early career scientists - an opportunity to present their work.
Sujets:
logical methods in mathematics; logical methods in philosophy; logical methods in computer science.
Identifiant de l'évènement:
1395406
6
STOC- ACM Symposium on Theory of Computing
21 jui 2021 - 25 jui 2021 • Rome, Italie
Identifiant de l'évènement:
1371535
7
CSR 2021 — 16th International Computer Science Symposium in Russia
28 jui 2021 - 02 jul 2021 • Sochi, Russie
Organisateur:
In partnership with European Association for Theoretical Computer Science.
Résumé:
CSR is an annual international conference held in Russia that is designed to cover a broad range of topics in Theoretical Computer Science.
Sujets:
TOPICS include, but are not limited to: (i) algorithms and data structures (ii) computational complexity, including hardness of approximation and parameterized complexity (iii) randomness in computing, approximation algorithms, fixed-parameter algorithms (iv) combinatorial optimization, constraint satisfaction, operations research (v) computational geometry (vi) string algorithms (vii) formal languages and automata, including applications to computational linguistics (viii) codes and cryptography (ix) combinatorics in computer science (x) computational biology (xi) applications of logic to computer science, proof complexity (xii) database theory (xiii) distributed computing (xiv) fundamentals of machine learning, including learning theory, grammatical inference and neural computing (xv) computational social choice (xvi) quantum computing and quantum cryptography (xvii) theoretical aspects of big data
Identifiant de l'évènement:
1395218
8
ICFCA 2021 — International Conference on Formal Concept Analysis
29 jui 2021 - 02 jul 2021 • Strasbourg, France
Résumé:
The ICFCA conference series is the major biannual event of the Formal Concept Analysis research community. The 16th International Conference on Formal Concept Analysis, ICFCA 2021, aims to bring together researchers and practitioners working on both theoretical and practical aspects of Formal Concept Analysis, as well as its applications in various application fields like data mining, machine learning, software engineering, semantic web, social and environmental sciences.
Identifiant de l'évènement:
1395237
Sujets apparentés:
9
LICS - IEEE Symposium on Logic in Computer Science
29 jui 2021 - 02 jul 2021 • Rome, Italie
Identifiant de l'évènement:
1371530
10
CiE 2021 — Computability in Europe 2021: Connecting with Computability
05 jul 2021 - 09 jul 2021 • online, Belgique
Organisateur:
Department of Mathematics: Analysis, Logic and Discrete Mathematics (WE16) of Ghent University
Résumé:
CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The Computability in Europe conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics.
Identifiant de l'évènement:
1395194
11
ICSIP 2021 — 2021 IEEE 6th International Conference on Signal and Image Processing
09 jul 2021 - 11 jul 2021 • Nanjing, Chine
Organisateur:
CZES
Résumé:
2021 IEEE 6th International Conference on Signal and Image Processing (ICSIP 2021) is hosted by School of Cyber Science and Engineering Southeast University, China, and Co-sponsored by Southeast University, China and IEEE. It will be held in Nanjing, China on July 9-11, 2021. ICSIP was held successfully in North China of Technology, Beijing, China in 2016, Nanyang Technological University, Singapore in 2017, and Shenzhen, China (hosted by Shenzhen Research Institute, Southeast University, China) in 2018, and Southeast University in Wuxi in 2019, and fully virtual conference due to COVID-19 in 2020.
Contact:
Ms. Veronica Reed;     Tél.: [+86-137-3111-1131];     Email.: Vera_qh@outlook.com
Sujets:
Signal Processing, Networking, Fixed Networks, Internet Technologies, Communications, Communication Theory and Techniques, Wireless Networks, Information Security
Identifiant de l'évènement:
1399599
12
ISIT- IEEE International Symposium on Information Theory
11 jul 2021 - 16 jul 2021 • Melbourne, Australie
Identifiant de l'évènement:
1371511
13
ICALP 2021 — 48th International Colloquium on Automata, Languages and Programming 2021
12 jul 2021 - 16 jul 2021 • Glasgow, Royaume-Uni
Organisateur:
ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS).
Identifiant de l'évènement:
1395225
Sujets apparentés:
14
CADE-28 — 28th International Conference on Automated Deduction
12 jul 2021 - 16 jul 2021 • Pittsburgh, Pennsylvania or Virtual, États-Unis
Organisateur:
CADE-28 is organized in cooperation with ACM SIGLOG. The conference will be hosted in the Gates Hillman Center at Carnegie Mellon University.
Résumé:
The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented.
Identifiant de l'évènement:
1395256
15
13th Panhellenic Logic Symposium
14 jul 2021 - 18 jul 2021 • Volos, Grèce
Organisateur:
University of Thessaly
Résumé:
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
Identifiant de l'évènement:
1395273
16
FSCD 2021 — 6th International Conference on Formal Structures for Computation and Deduction
17 jul 2021 - 24 jul 2021 • Virtual, Argentine
Identifiant de l'évènement:
1395350
17
ISSAC'2021 — International Symposium on Symbolic and Algebraic Computation
18 jul 2021 - 22 jul 2021 • Saint Petersburg, Russie
Résumé:
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2021 will be the 46th 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.
Identifiant de l'évènement:
1398632
18
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:
1240750
19
CCC2021 — Computational Complexity Conference
20 jul 2021 - 23 jul 2021 • The Fields Institute –Toronto, Ontario, Canada
Organisateur:
The Fields Institute for Research in Mathematical Sciences
Résumé:
The conference aims to foster research in all areas of computational complexity theory, studying the absolute and relative power of computational models under resource constraints. Typical models include deterministic, nondeterministic, randomized, and quantum models; uniform and nonuniform models; Boolean, algebraic, and continuous models. Typical resource constraints involve time, space, randomness, program size, input queries, communication, and entanglement; worst-case as well as average case. Other, more specific, topics include: probabilistic and interactive proof systems, inapproximability, proof complexity, descriptive complexity, and complexity-theoretic aspects of cryptography and machine learning. The conference also encourages results from other areas of computer science and mathematics motivated by computational complexity theory.
Identifiant de l'évènement:
1385951
20
DEON 2020/21 — 15th International Conference on Deontic Logic and Normative Systems
21 jul 2021 - 24 jul 2021 • Munich, Allemagne
Résumé:
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to the general theme of the DEON conferences, DEON 2020/21 will encourage a special focus on the topic: Norms in Social Perspective.
Identifiant de l'évènement:
1395254
Sujets apparentés:
21
ESSLLI 2021 — 32nd European Summer School in Logic, Language and Information
02 aou 2021 - 13 aou 2021 • Utrecht, Pays-Bas
Identifiant de l'évènement:
1395120
22
Workshop at ESSLLI 2021 — Computing Semantics with Types, Frames and Related Structures
02 aou 2021 - 13 aou 2021 • Utrecht, Pays-Bas
Identifiant de l'évènement:
1395315
Sujets apparentés:
23
Workshop at ESSLLI 2021 — Approaches to implicature: Rational choice and/or exhaustification
09 aou 2021 - 13 aou 2021 • Utrecht, Pays-Bas
Résumé:
Recent work in implicature has seen a great deal of activity within two lines of research: the rational choice approach associated with game-theoretic pragmatics and the Bayesian Rational Speech Act framework, and the exhaustification-based approach. While these frameworks have generally been thought to be in theoretical tension, there are also underexplored ways to combine them, with the potential to benefit both approaches. The workshop will explore explicit comparisons between the two frameworks as well as efforts to combine them, with the hope of producing a more unified theory of implicature and a more general understanding of the data that such a theory must account for.
Sujets:
Applications of RSA or other probabilistic pragmatics models to phenomena in semantics/pragmatics; Applications of exhaustification-based approaches to phenomena in semantics/pragmatics, ; Approaches to pragmatic inference that explicitly compare and/or combine theoretical perspectives; Implicature, presupposition, not-at-issue content, expressive meaning, social meaning
Identifiant de l'évènement:
1395415
24
Algebraic Techniques in Theoretical Computer Science
29 aou 2021 - 03 sep 2021 • Oaxaca, Mexique
Organisateur:
Casa Matemática Oaxaca (CMO) in Mexico, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, Canada
Résumé:
Algebraic techniques have become influential in many areas in theoretical computer science, such as: coding theory, hardness of approximation, communication complexity, learning theory, cryptography, sublinear algorithms, coding theory, communication complexity, social choice theory, and more. The workshop will bring together researchers in these areas, allowing them to learn from each other and facilitate new collaborations.
Identifiant de l'évènement:
1364711
25
AGACSE — Applied Geometric Algebras in Computer Science and Engineering
06 sep 2021 - 10 sep 2021 • Brno, République tchèque
Organisateur:
Brno University of Technology, Faculty of Mechanical Engineering, Brno, Czech Republic.
Résumé:
The conference has three main goals: To promote the development of the geometric algebra and geometric calculus. To spread geometric algebra technologies within industry and business by showing a range of applications (image processing, computer vision, robotics, flight navigation, molecular geometry, etc.). To make progress on the inclusion of geometric algebra ideas into the mathematics, physics, computer science and engineering curricula.
Identifiant de l'évènement:
1376507
Sujets apparentés:
26
Autumn school "Proof and Computation"
20 sep 2021 - 26 sep 2021 • Fischbachau, Allemagne
Résumé:
An international autumn school "Proof and Computation" will be held from 20th to 26th September 2020 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
Sujets:
Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs
Identifiant de l'évènement:
1395477
27
Diagrams 2021 — 12th International Conference on the Theory and Application of Diagrams
28 sep 2021 - 30 sep 2021 • Virtual Conference, Royaume-Uni
Résumé:
Diagrams is the only conference series that provides a united forum for all areas that are concerned with the study of diagrams and has a multidisciplinary emphasis. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.
Identifiant de l'évènement:
1395305
28
LORI 2021 — 8th International Conference on Logic, Rationality and Interaction
16 oct 2021 - 18 oct 2021 • Xi’an, Chine
Résumé:
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.
Identifiant de l'évènement:
1395231
29
ADT 2021 — The 7th International Conference on Algorithmic Decision Theory
28 oct 2021 - 30 oct 2030 • Toulouse, France
Résumé:
The ADT 2021 conference focus is on algorithmic decision theory broadly defined, seeking to bring together researchers and practitioners coming from diverse areas of Computer Science, Economics and Operations Research in order to improve the theory and practice of modern decision support. The conference topics include research in Algorithms, Argumentation Theory, Artificial Intelligence, Computational Social Choice, Database Systems, Decision Analysis, Discrete Mathematics, Game Theory, Machine Learning, Matching, Multi-agent Systems, Multiple Criteria Decision Aiding, Networks, Optimization, Risk Management, and Utility Theory.
Identifiant de l'évènement:
1409484
30
9th International Conference on Relational and Algebraic Methods in Computer Science
01 nov 2021 - 05 nov 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312440
Sujets apparentés:
31
KR 2021 — 18th International Conference on Principles of Knowledge Representation and Reasoning
06 nov 2021 - 12 nov 2021 • Hanoi, Viêt Nam
Résumé:
Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.
Identifiant de l'évènement:
1395241
32
Data Assimilation – Mathematical Foundation and Applications
20 fév 2022 - 26 fév 2022 • Oberwolfach , Allemagne
Organisateur:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1395863
33
Nouvelles directions en calculabilité — New Directions in Computability Theory
07 mar 2022 - 11 mar 2022 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Sujets:
CONFERENCE
Identifiant de l'évènement:
1369290
34
New Mathematical Techniques in Information Theory
13 mar 2022 - 19 mar 2022 • Oberwolfach , Allemagne
Organisateur:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1395870
35
Ecole de printemps d'informatique théorique : Apprentissage automatique — Theoretical Computer Science Spring School: Machine Learning
23 mai 2022 - 27 mai 2022 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Sujets:
RESEARCH SCHOOL
Identifiant de l'évènement:
1369391


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!

Dernière mise à jour: 22 Mars 2021