Conferences and Meetings on Information Theory, Foundations of Computer Science

Select a location
ALL COUNTRIES (20)
1
SAT 2020 — 23rd International Conference on Theory and Applications of Satisfiability Testing
05 Jul 2020 - 09 Jul 2020 • Alghero, Italy
Abstract:
The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. Many hard combinatorial problems can be tackled using SAT-based techniques including problems that arise in Formal Verification, Artificial Intelligence, operations Research, Computational Biology, Cryptography, Data Mining, Machine Learning, Mathematics, etc. Indeed, the theoretical and practical advances in SAT research over the past twenty years have contributed to making SAT technology an indispensable tool in a variety of domains. SAT 2020 aims to further advance the field by soliciting original theoretical and practical contributions in these areas with a clear connection to satisfiability.
Event listing ID:
1293208
Related subject(s):
2
LICS — IEEE Symposium on Logic in Computer Science
08 Jul 2020 - 12 Jul 2020 • Beijing, China
Event listing ID:
1249798
3
ISSAC 2020 — International Symposium on Symbolic and Algebraic Computation
20 Jul 2020 - 23 Jul 2020 • Kalamata, Messinia, Greece
Abstract:
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.
Topics:
All areas of computer algebra and symbolic computation are of interest at ISSAC 2020.
Event listing ID:
1239744
4
ESSLLI 2020 — 32nd European Summer School in Logic, Language and Information
03 Aug 2020 - 13 Aug 2020 • Utrecht, Netherlands
Abstract:
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.
Event listing ID:
1227735
Event website:
5
ESSLLI 2020 — 32nd European Summer School in Logic, Language and Information
03 Aug 2020 - 14 Aug 2020 • Utrecht, Netherlands
Abstract:
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.
Event listing ID:
1239681
Event website:
6
KR2020 — 17th Conference on Principles of Knowledge Representation and Reasoning
12 Sep 2020 - 18 Sep 2020 • Rhodes, Greece
Event listing ID:
1293134
7
26th International Conference on DNA Computing and Molecular Programming
13 Sep 2020 - 18 Sep 2020 • University of Oxford, United Kingdom
Organizer:
Institute of Physics – IOP
Abstract:
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.
Event listing ID:
1231822
Related subject(s):
8
Automata Theory and Applications: Games, Learning and Structures
21 Sep 2020 - 25 Sep 2020 • Singapore, Singapore
Organizer:
Institute for Mathematical Sciences/National University of Singapore
Event listing ID:
1240672
9
IU2020 — THE 3RD INFORMATION UNIVERSE CONFERENCE
30 Sep 2020 - 03 Oct 2020 • Groningen, Netherlands
Organizer:
Kapteyn Astronomical Institute, University of Groningen
Abstract:
A multi-disciplinary conference on the role of information in our universe. Including sessions on: (1) The ΛCDM tension, Euclid and the Dark Universe (2) Emergent gravity and space-time (3) Quantum computing, neuromorphic computing and machine learning (4) Complexity and chaos in nature and computers. The organizers understand that registering for an international conference is quite a step in these corona virus dominated days. They therefore encourage you to register, without any payment obligation. They can then inform you by e-mail about the status of affairs.
Contact:
Phone: [+31 50 363 4036];     Email: informationuniverse@rug.nl
Topics:
Cosmology, ΛCDM tension, Euclid and the Dark Universe, Emergent gravity and space-time, Quantum computing, Neuromorphic computing, Machine learning, Complexity and chaos
Event listing ID:
1353936
10
Workshop — Algebraic Methods in Coding Theory and Communication
25 Oct 2020 - 30 Oct 2020 • Oaxaca, Mexico
Organizer:
BIRS-affiliated mathematics research centre, Casa Matemática Oaxaca (CMO)
Abstract:
The workshop will concentrate on three contemporary, central themes in coding theory and its applications. Algebraic coding theory tackles classical communication problems, such as error-free communication between a source and a receiver over a noisy channel, using a wide range of tools from computational algebra, algebraic geometry, and probability theory. More recently coding theory has found applications to emerging challenges in communication. The kind of problems that arise has been shifting, as our digital lives got more and more interconnected. Network Coding seeks answers to problems of maximization of information flow over networks. These answers often require establishing new communication schemes, relying on mathematical structures which were not used in this context before. In the last few years a new set of problems with local features arose from practical applications such as distributed storage of large amounts of data. Locally recoverable codes allow the recovery of a codeword symbol's erasure by mean of a small set of other codeword symbols. These codes are a central topic of research of the last few years, due also to their applicability to these problems.
Event listing ID:
1330285
11
TLLM 2020 — Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning
30 Oct 2020 - 01 Nov 2020 • Beijing, China
Organizer:
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Abstract:
Monotonicity, in various forms, is a pervasive phenomenon in logic, linguistics, and related areas. In theoretical linguistics, monotonicity properties are relevant to a large array of semantic phenomena and to the presence of pragmatic inferences such as scalar implicatures. In logic and mathematics, monotonicity guarantees the existence of fixed points and the well-formedness of inductive definitions. Also, monotonicity is closely tied to reasoning, in formal as well as natural languages. Recent logical and linguistic work on monotonicity has also found its way into computation systems for natural language processing and cognitive models of human reasoning. The goal of our workshop is to bring together researchers working on monotonicity or related properties, from different fields and perspectives.
Event listing ID:
1356676
12
ER 2020 Conceptual Modeling — 39th International Conference on Conceptual Modeling
03 Nov 2020 - 06 Nov 2020 • Vienna, Austria
Abstract:
The world is being reconstructed through software and data. Conceptual models seem mandatory to cope with this gigantic transformation that is unprecedented in the history of humankind. Not only do they build a solid foundation for designing software system, they also foster the empowerment of users and help us to develop images of possible future worlds. However, recent developments in AI challenge this pivotal role of conceptual models. Some AI proponents go so far as to predict the end of conceptual modeling, for an ostensibly convincing reason: machine learning will enable automated software construction, both faster and at much lower costs. These contradictory assessments make it especially exciting to reflect upon the foundations of conceptual modeling and the limitations of inductive approaches to software creation. The ER conference has been the leading conference on conceptual modeling for many years. In continuation of this tradition, ER 2020 is dedicated to providing a forum for discussing the present and future role of conceptual modeling with regard to enabling and managing change.
Event listing ID:
1292778
Related subject(s):
13
FOCS 2020 — 61st Annual IEEE Symposium on Foundations of Computer Science
16 Nov 2020 - 19 Nov 2020 • Durham, United States
Organizer:
FOCS 2020 is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
Event listing ID:
1359644
14
AISCA 2020 — 4th International Conference on Artificial Intelligence, Soft Computing And Applications
28 Nov 2020 - 29 Nov 2020 • Dubai, United Arab Emirates
Abstract:
4th International Conference on Artificial Intelligence, Soft Computing And Applications (AISCA 2020) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Artificial Intelligence, Soft Computing and Applications. The aim of the conference is to provide a platform to the researchers and practitioners from both academia as well as industry to meet and share cutting-edge development in the field
Contact:
Email: aisca@aisca2020.org
Topics:
Artificial Intelligence 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 Fuzzy Logic Heuristic and AI Planning Strategies and Tools Computational Theories of Learning Hybrid Intelligent Systems Information Retrieval Intelligent System Architectures Knowledge Representation Knowledge-based Systems Mechatronics Multimedia & Cognitive Informatics Neural Networks Parallel Processing Pattern Recognition Robotics Semantic Web Techniques and Technologies Soft computing theory and applications Software & Hardware Architectures Soft Computing Fuzzy Systems Neural Networks Machine learning Probabilistic Reasoning Evolutionary Computing Pattern recognition Hybrid intelligent systems Software agents Morphic Computing Image processing E-commerce, e-medicine Rough Sets Symbolic machine learning Wavelet Signal or Image Processing Vision Recognition Biomedical Engineering Telecommunications Reactive Distributed AI Nano & Micro-systems Data Visualization Pervasive computing and ambient intelligence Programming Languages Reasoning and Evolution Recent Trends and Developments Web Intelligence Applications & Search
Event listing ID:
1354007
Event website:
15
CSL'21 — Computer Science Logic
25 Jan 2021 - 28 Jan 2021 • Ljubljana, Slovenia
Organizer:
European Association for Computer Science Logic (EACSL)
Abstract:
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.
Event listing ID:
1356600
16
Computability Theory
25 Apr 2021 - 01 May 2021 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1313019
17
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:
1312273
18
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:
1312305
19
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
20
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:
1312451
Related subject(s):


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: 02 June 2020