10th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)
Workshop: Logics for Unconventional Computing
Logics for Unconventional Computing is an interdisciplinary workshop which brings together computer scientists and engineers dealing with unconventional computing (such as biological, bio-inspired, chemical, physical, etc. computing) with logicians dealing with non-classical logical, algebraic, co-algebraic, topological, and category-theoretic methods to initiate development of novel bio- and nature-inspired computation paradigms. The workshop aims to exchange ideas, promote fruitful discussions and initiate development on novel paradigms, methodologies and architectures for unconventional computations as well as for applications of computational intelligence in the wide and heterogeneous fields of biology, biomechanics, medicine and health care. It can provide to take a critical glance at the design of novel and emergent computing systems to point out failures and shortcomings of both theoretical and experimental approaches. This workshop is to examine approaches towards a theory of unconventional logic, i.e. a symbolic logic in unconventional computing.
Extended versions of all accepted papers of the workshop will be considered for publication in a special issue of International Journal of Parallel, Emergent and Distributed Systems.
TOPICS
The topics of interest include, but are not limited to:
Computational biology
Biological computation
Slime mould computing
Social insects computing
Bio-molecular computing
Unconventional computing
Logics of unconventional computing
Translational bioinformatics
Novel bio-medical hardware systems
Computational intelligence methods in biology, biomechanics, medicine and health care
Knowledge management and analysis of medical data
Medical signal and image processing and techniques
Computational models of cognition
Computer-aided diagnosis in medicine
Important Dates
Submission:
December 1, 2016
Notification:
December 25, 2016
Camera ready:
January 19, 2017
Track Chair
Andrew Schumann, University of Information Technology and Management in Rzeszow, Poland
Videos of some presentations:
1. Alexandr Vladimirovich Kuznetsov
Automatic role-oriented assignment of channels in the ad hoc network of hierarchically organized agents
"https://www.youtube.com/watch?v=PaTuxQCZkpo"
2. Andrew Schumann
On Arithmetic Functions in Actin Filament Networks
"https://www.youtube.com/watch?v=1aXc76ZtEg4"
3. Andrew Schumann, Alexandr Vladimirovich Kuznetsov
Talmudic Foundations of Mathematics
"https://www.youtube.com/watch?v=WslT_SOvUPg"