Conferences and Meetings on Information Theory, Foundations of Computer Science

Conference-Service.com offers, as part of our 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!

Meeting organisers can submit meetings free of charge for inclusion into the listing.

ALL COUNTRIES

1.
 
CogSIMA — 2017 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support
ID
837929
Dates
27 Mar 2017 - 31 Mar 2017
Location
Savannah, GA, United States
Abstract
The IEEE CogSIMA conference aims to provide an annual venue for presenting multidisciplinary research on complex heterogeneous dynamical systems including humans, physical systems, computer agents and networks whose individual and/or collective behavior depends on complex situations. Common to these systems is the need to adequately perceive, reflect, act, and communicate according to the current situation and expected changes, both in the surrounding environment and within the systems themselves. The amount of information that needs to be processed in order to derive decisions typically poses significant challenges for both human cognitive capabilities and computer processing power. Consequently, there is a need to develop novel situation awareness and decision support approaches for augmenting the capabilities of collaborating humans and computer agents.
2.
 
IWCIT — 2017 Iran Workshop on Communication and Information Theory
ID
849277
Dates
03 May 2017 - 04 May 2017
Location
Tehran, Iran
Abstract
The scope of the workshop includes the following topics: Shannon Theory, Communication Theory, Coding Theory, Applications of Information Theory
Event website
3.
 
CWIT — 2017 15th Canadian Workshop on Information Theory
ID
856209
Dates
11 Jun 2017 - 14 Jun 2017
Location
Quebec City, QC, Canada
Abstract
The scope of the conference is communications, information theory, and signal processing.
Event website
4.
 
LICS — 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
ID
837245
Dates
20 Jun 2017 - 23 Jun 2017
Location
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.
5.
 
FUZZ-IEEE — 2017 IEEE International Conference on Fuzzy Systems
ID
837353
Dates
09 Jul 2017 - 12 Jul 2017
Location
Napels, Italy
Abstract
The scope of Fuzz-IEEE 2017 is to disseminate the latest research on the theory and application of fuzzy sets.
6.
 
ICAC — 2017 IEEE International Conference on Autonomic Computing
ID
837912
Dates
17 Jul 2017 - 21 Jul 2017
Location
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.
7.
 
Aspects of Computation
ID
832268
Dates
21 Aug 2017 - 15 Sep 2017
Location
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
8.
 
Trends XVII — Trends in Logic XVII
ID
873099
Dates
12 Sep 2017 - 15 Sep 2017
Location
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
Related subject(s)
9.
 
QINFO17 — Quantum Physics of Information
ID
834889
Dates
18 Sep 2017 - 15 Dec 2017
Location
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

10.
 
ParaoptXI — 11th International Conference on Parametric Optimization and Related Topics
ID
832211
Dates
19 Sep 2017 - 22 Sep 2017
Location
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.
11.
 
ITW — 2017 IEEE Information Theory Workshop
ID
837849
Dates
06 Nov 2017 - 10 Nov 2017
Location
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 website
12.
 
Building Bridges II: Laszlo Lovasz is 70
ID
848754
Dates
02 Jul 2018 - 06 Jul 2018
Location
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
Related subject(s)

Good to know...

You can advertise your event or services in this space.

Last updated: 23 January 2017