Conferences and Meetings on Information Theory, Foundations of Computer Science

Select a location
ALL COUNTRIES (32)
1
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:
1395439
Event website:
2
STOC- ACM Symposium on Theory of Computing
21 Jun 2021 - 25 Jun 2021 • Rome, Italy
Event listing ID:
1371502
3
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:
1395152
4
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:
1395182
Related subject(s):
5
LICS - IEEE Symposium on Logic in Computer Science
29 Jun 2021 - 02 Jul 2021 • Rome, Italy
Event listing ID:
1371596
6
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:
1395161
7
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:
1399500
Event website:
8
ISIT- IEEE International Symposium on Information Theory
11 Jul 2021 - 16 Jul 2021 • Melbourne, Australia
Event listing ID:
1371500
9
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:
1395269
Related subject(s):
10
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:
1395234
11
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:
1395328
12
FSCD 2021 — 6th International Conference on Formal Structures for Computation and Deduction
17 Jul 2021 - 24 Jul 2021 • Virtual, Argentina
Event listing ID:
1395383
13
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:
1398610
14
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:
1240849
15
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:
1386028
16
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:
1395210
Related subject(s):
17
ESSLLI 2021 — 32nd European Summer School in Logic, Language and Information
02 Aug 2021 - 13 Aug 2021 • Utrecht, Netherlands
Event listing ID:
1395186
Event website:
18
Workshop at ESSLLI 2021 — Computing Semantics with Types, Frames and Related Structures
02 Aug 2021 - 13 Aug 2021 • Utrecht, Netherlands
Event listing ID:
1395282
Related subject(s):
19
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:
1395459
20
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:
1419692
Event website:
21
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:
1364799
22
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):
23
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:
1376529
Related subject(s):
24
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:
1395422
25
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:
1395305
26
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
27
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):
28
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
29
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
30
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:
1369356
31
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:
1395881
32
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:
1369457


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