Conferences and Meetings on Information Theory, Foundations of Computer Science

Select a location
ALL COUNTRIES (36)
1
CIRM – Research School — Spring School in Theoretical Computer Science
24 May 2021 - 28 May 2021 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Event listing ID:
1312306
2
Arithmetic, Geometry, Cryptography and Coding Theory
31 May 2021 - 04 Jun 2021 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Event listing ID:
1312327
3
Logic of Conceivability Conference 2021, Online
07 Jun 2021 - 08 Jun 2021 • Online, Any Location (virtual event)
Abstract:
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.
Event listing ID:
1415804
4
Logical Perspectives 2021
15 Jun 2021 - 19 Jun 2021 • Moscow, Russia
Abstract:
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.
Topics:
logical methods in mathematics; logical methods in philosophy; logical methods in computer science.
Event listing ID:
1395406
Event website:
5
STOC- ACM Symposium on Theory of Computing
21 Jun 2021 - 25 Jun 2021 • Rome, Italy
Event listing ID:
1371546
6
CSR 2021 — 16th International Computer Science Symposium in Russia
28 Jun 2021 - 02 Jul 2021 • Sochi, Russia
Organizer:
In partnership with European Association for Theoretical Computer Science.
Abstract:
CSR is an annual international conference held in Russia that is designed to cover a broad range of topics in Theoretical Computer Science.
Topics:
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
Event listing ID:
1395130
7
ICFCA 2021 — International Conference on Formal Concept Analysis
29 Jun 2021 - 02 Jul 2021 • Strasbourg, France
Abstract:
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.
Event listing ID:
1395259
Related subject(s):
8
LICS - IEEE Symposium on Logic in Computer Science
29 Jun 2021 - 02 Jul 2021 • Rome, Italy
Event listing ID:
1371629
9
CiE 2021 — Computability in Europe 2021: Connecting with Computability
05 Jul 2021 - 09 Jul 2021 • online, Belgium
Organizer:
Department of Mathematics: Analysis, Logic and Discrete Mathematics (WE16) of Ghent University
Abstract:
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.
Event listing ID:
1395183
10
ICSIP 2021 — 2021 IEEE 6th International Conference on Signal and Image Processing
09 Jul 2021 - 11 Jul 2021 • Nanjing, China
Organizer:
CZES
Abstract:
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;     Phone: [+86-137-3111-1131];     Email: Vera_qh@outlook.com
Topics:
Signal Processing, Networking, Fixed Networks, Internet Technologies, Communications, Communication Theory and Techniques, Wireless Networks, Information Security
Event listing ID:
1399577
Event website:
11
ISIT- IEEE International Symposium on Information Theory
11 Jul 2021 - 16 Jul 2021 • Melbourne, Australia
Event listing ID:
1371544
12
ICALP 2021 — 48th International Colloquium on Automata, Languages and Programming 2021
12 Jul 2021 - 16 Jul 2021 • Glasgow, United Kingdom
Organizer:
ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS).
Event listing ID:
1395258
Related subject(s):
13
CADE-28 — 28th International Conference on Automated Deduction
12 Jul 2021 - 16 Jul 2021 • Pittsburgh, Pennsylvania or Virtual, United States
Organizer:
CADE-28 is organized in cooperation with ACM SIGLOG. The conference will be hosted in the Gates Hillman Center at Carnegie Mellon University.
Abstract:
The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented.
Event listing ID:
1395212
14
13th Panhellenic Logic Symposium
14 Jul 2021 - 18 Jul 2021 • Volos, Greece
Organizer:
University of Thessaly
Abstract:
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.
Event listing ID:
1395240
15
FSCD 2021 — 6th International Conference on Formal Structures for Computation and Deduction
17 Jul 2021 - 24 Jul 2021 • Virtual, Argentina
Event listing ID:
1395449
16
ISSAC'2021 — International Symposium on Symbolic and Algebraic Computation
18 Jul 2021 - 22 Jul 2021 • Saint Petersburg, Russia
Abstract:
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.
Event listing ID:
1398665
17
Information Theory and Data Science Workshop
19 Jul 2021 - 23 Jul 2021 • Singapore, Singapore
Organizer:
Institute for Mathematical Sciences/National University of Singapore
Abstract:
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.
Event listing ID:
1240805
18
CCC2021 — Computational Complexity Conference
20 Jul 2021 - 23 Jul 2021 • The Fields Institute –Toronto, Ontario, Canada
Organizer:
The Fields Institute for Research in Mathematical Sciences
Abstract:
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.
Event listing ID:
1385951
19
DEON 2020/21 — 15th International Conference on Deontic Logic and Normative Systems
21 Jul 2021 - 24 Jul 2021 • Munich, Germany
Abstract:
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.
Event listing ID:
1395232
Related subject(s):
20
ESSLLI 2021 — 32nd European Summer School in Logic, Language and Information
02 Aug 2021 - 13 Aug 2021 • Utrecht, Netherlands
Event listing ID:
1395208
Event website:
21
Workshop at ESSLLI 2021 — Computing Semantics with Types, Frames and Related Structures
02 Aug 2021 - 13 Aug 2021 • Utrecht, Netherlands
Event listing ID:
1395359
Related subject(s):
22
Workshop at ESSLLI 2021 — Approaches to implicature: Rational choice and/or exhaustification
09 Aug 2021 - 13 Aug 2021 • Utrecht, Netherlands
Abstract:
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.
Topics:
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
Event listing ID:
1395404
23
AITC 2021 — The 3rd International Artificial Intelligence Technology Conference
18 Aug 2021 - 20 Aug 2021 • Beijing, China
Organizer:
ACMSC
Abstract:
AITC 2021 is the workshop of SPML 2021. It will be held together with SPML 2021 in Beijing, China during 18-20 August, 2021.
Contact:
Email: amychou2020@163.com
Topics:
AI Algorithms; Artificial Intelligence tools & Applications; Automatic Control; Bioinformatics; Natural Language Processing; CAD Design & Testing; Computer Vision and Speech Understanding; Data Mining and Machine Learning Tools; Soft computing theory and applications; Software & Hardware Architectures; Web Intelligence Applications & Search
Event listing ID:
1419769
Event website:
24
Algebraic Techniques in Theoretical Computer Science
29 Aug 2021 - 03 Sep 2021 • Oaxaca, Mexico
Organizer:
Casa Matemática Oaxaca (CMO) in Mexico, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, Canada
Abstract:
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.
Event listing ID:
1364711
25
CALCO 2021 — 9th International Conference on Algebra and Coalgebra in Computer Science
31 Aug 2021 - 03 Sep 2021 • Salzburg, Austria
Event listing ID:
1422960
Related subject(s):
26
AGACSE — Applied Geometric Algebras in Computer Science and Engineering
06 Sep 2021 - 10 Sep 2021 • Brno, Czech Republic
Organizer:
Brno University of Technology, Faculty of Mechanical Engineering, Brno, Czech Republic.
Abstract:
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.
Event listing ID:
1376518
Related subject(s):
27
Autumn school "Proof and Computation"
20 Sep 2021 - 26 Sep 2021 • Fischbachau, Germany
Abstract:
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.
Topics:
Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs
Event listing ID:
1395455
28
Diagrams 2021 — 12th International Conference on the Theory and Application of Diagrams
28 Sep 2021 - 30 Sep 2021 • Virtual Conference, United Kingdom
Abstract:
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.
Event listing ID:
1395349
29
LORI 2021 — 8th International Conference on Logic, Rationality and Interaction
16 Oct 2021 - 18 Oct 2021 • Xi’an, China
Abstract:
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.
Event listing ID:
1395231
30
ADT 2021 — The 7th International Conference on Algorithmic Decision Theory
28 Oct 2021 - 30 Oct 2030 • Toulouse, France
Abstract:
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.
Event listing ID:
1409539
31
9th International Conference on Relational and Algebraic Methods in Computer Science
01 Nov 2021 - 05 Nov 2021 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Event listing ID:
1312473
Related subject(s):
32
KR 2021 — 18th International Conference on Principles of Knowledge Representation and Reasoning
06 Nov 2021 - 12 Nov 2021 • Hanoi, Vietnam
Abstract:
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.
Event listing ID:
1395230
33
Data Assimilation – Mathematical Foundation and Applications
20 Feb 2022 - 26 Feb 2022 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1395918
34
New Directions in Computability Theory
07 Mar 2022 - 11 Mar 2022 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Topics:
CONFERENCE
Event listing ID:
1369323
35
New Mathematical Techniques in Information Theory
13 Mar 2022 - 19 Mar 2022 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1395892
36
Theoretical Computer Science Spring School: Machine Learning
23 May 2022 - 27 May 2022 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Topics:
RESEARCH SCHOOL
Event listing ID:
1369468


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: 09 May 2021