Conferences and Meetings on Information Theory, Foundations of Computer Science

Submit a meeting

Select a location:
Canada (1) - Czech Republic (1) - Hungary (1) - Iceland (1) - Italy (1) - Poland (1) - Singapore (1) - Taiwan (2) - United States (3)

ALL COUNTRIES

1
CWIT — 2017 15th Canadian Workshop on Information Theory
11 Jun 2017 - 14 Jun 2017 • Quebec City, QC, Canada
Abstract:
The scope of the conference is communications, information theory, and signal processing.
Event listing ID:
856209
Event website:
2
LICS — 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
20 Jun 2017 - 23 Jun 2017 • Reykjavik, Iceland
Abstract:
Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.
Event listing ID:
837223
3
FUZZ-IEEE — 2017 IEEE International Conference on Fuzzy Systems
09 Jul 2017 - 12 Jul 2017 • Napels, Italy
Abstract:
The scope of Fuzz-IEEE 2017 is to disseminate the latest research on the theory and application of fuzzy sets.
Event listing ID:
837320
4
ICAC — 2017 IEEE International Conference on Autonomic Computing
17 Jul 2017 - 21 Jul 2017 • Columbus, OH, United States
Abstract:
ICAC is the leading conference on autonomic computing, its foundations, principles, engineering, technologies, and applications. Nowadays, complex systems of all types, like large-scale data centers, cloud computing infrastructures, cyber-physical systems, the internet of things, self-organizing systems, organic computing systems, cognitive computing systems, or self-aware computing systems, are increasingly complex, involving many active, interconnected components requiring careful coordination. Being impossible for a human to manage such systems, the autonomic computing paradigm with its support for self-management capabilities becomes increasingly indispensable for the components of our IT world. The conference seeks latest research advances on science and engineering concerning all aspects of autonomic computing.
Event listing ID:
837890
5
Aspects of Computation
21 Aug 2017 - 15 Sep 2017 • Singapore, Singapore
Abstract:
This four-week program on aspects of computation will focus on recent developments in parametric complexity theory, computability theory with applications in algebra, algorithmic randomness, model theory, etc. The program will focus on the following topics: (i) Parametric Complexity; (ii) Algorithmic Randomness; (iii) Classic Computability Theory; and (iv) Computable Structures and Reverse Mathematics
Event listing ID:
832235
6
Trends XVII — Trends in Logic XVII
12 Sep 2017 - 15 Sep 2017 • Lublin, Poland
Abstract:
The 17th Trends in Logic international conference will be held at The John Paul II Catholic University of Lublin, Poland, from September 12 to September 15, 2017 under the title “Traditional and new perspectives on deontic logic and agency modeling”. It is organized by the Department of the Foundations of Computer Science at the Faculty of Philosophy of the John Paul II Catholic University of Lublin, in co-operation with the journal Studia Logica (see http://www.studialogica.org and http://link.springer.com/journal/11225). We call for relevant contributions applying the different approaches to: deontic logic, normative aspects of action theory, formal ethics,legal theory, handling norms in computer systems. A special session on obligations derived from permissions, related to the a special issue of Studia Logica, will be a part of the conference. Extended abstracts of a length between 1 and 3 pages (including references), which will undergo a short reviewing process should be submitted in LaTeX preferably (but not mandatorily) according to the Trends style, available for downloading at http://www.studialogica.org. All papers should be submitted via EasyChair (https://easychair.org/conferences/?conf=trends2017), by May 31, 2017. At least one of the authors of an accepted paper must register for and attend the conference for the contribution to be presented.
Contact:
Michael Musielewicz;     Email: trends@kul.pl
Topics:
deontic logic, normative aspects of action theory, formal ethics, legal theory, handling norms in computer systems
Event listing ID:
873033
Related subject(s):
7
QINFO17 — Quantum Physics of Information
18 Sep 2017 - 15 Dec 2017 • Santa Barbara, California, United States
Abstract:
This program will explore the new possibilities offered by quantum information science (quantum mechanics and computer science) to information processing and computation as well as applications to condensed matter, thermodynamics and quantum gravity.

Contact form: https://www.kitp.ucsb.edu/contact/program-manager

Event listing ID:
834845
8
ParaoptXI — 11th International Conference on Parametric Optimization and Related Topics
19 Sep 2017 - 22 Sep 2017 • Charles University, Prague, Czech Republic
Abstract:
Parametric optimization is a part of mathematical programming and has emerged as an exciting research area in theory, numerics and applications. It investigates the properties of solutions to optimization problems under data perturbations or uncertainty. Many relations to other disciplines of operations research, like stochastic programming, complementary problems, mixed-integer problems, model-building, numerical methods, multi-objective optimization and optimal control, originate from these properties. ParaoptXI welcomes papers as well as proposals for special sessions on any area in parametric optimization or related topics.
Event listing ID:
832200
9
2017 51st Asilomar Conference on Signals, Systems, and Computers
29 Oct 2017 - 01 Nov 2017 • Pacific Grove, CA, United States
Abstract:
The Asilomar Conference provides an informal venue for technical exchange in the areas of signal processing, communication, system theory, biomedical signal processing, array processing, and computer architecture and arithmetic.
Event listing ID:
896421
10
ITW — 2017 IEEE Information Theory Workshop
06 Nov 2017 - 10 Nov 2017 • Kaohsiung, Taiwan
Abstract:
The scope of IEEE ITW2017 will be in all areas of information theory with special emphasis on the following: • Information Theory for Content Distribution − Distributed data storage − Peer-to-peer network coded broadcasting − Coded caching for wireless and wireline transmissions − Delay-constrained communications • Information Theory and Biology − Information theory and intercellular communication − Information theory and neuroscience − Information-theoretical analysis of biologically-inspired communication systems • Information Theory and Quantum Communication − Quantum information − Quantum computation − Quantum cryptography • Information Theory and Coding for Memories − Inter-cell interference in nonvolatile memories − Rank modulation and constrained codes for nonvolatile memories
Event listing ID:
837827
Event website:
11
iFUZZY — 2017 International Conference on Fuzzy Theory and Its Applications
13 Nov 2017 - 15 Nov 2017 • Pingtung, Taiwan
Abstract:
2017 International Conference on Fuzzy Theory and Its Applications (iFUZZY 2017) will be hosted by National Ilan University (NIU), Yilan, Taiwan, on November 13-15, 2017. iFUZZY 2017 is soliciting novel research results on fuzzy theory and its applications on related topics. Jointly organized by Taiwan Fuzzy Systems Association (TFSA) and National FORMOSA University (NFU), this conference provides a very good opportunity for research scientists, investigators, industrial practitioners and government representatives to present their results and to exchange their ideas.
Event listing ID:
896318
12
Building Bridges II: Laszlo Lovasz is 70
02 Jul 2018 - 06 Jul 2018 • Budapest, Hungary
Abstract:
Celebrating the achievments of László Lovász in Combinatorics and Computer Science.
Contact:
Sali Attila;     Phone: [+3614838300];     Email: ll70@renyi.mta.hu
Event listing ID:
848754
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!