! Mathematics ∩ ICT = ∅ : an artbotics extravaganza
Topdrim presented the world’s first Artbotics-Mathematics Extravaganza session at the Lisbon ICT 2015 conference. The conference was organized by the European Commission and the Portuguese Science Foundation and comprised many parallel activities, including a conference on policy, networking sessions, H2020 thematic sessions and a startup forum.
The Artbotics-Mathematics event was a networking opportunity aimed to increase the visibility of mathematics research as a fundamental pillar of future ICT calls. It was also an opportunity to discuss with fellow participants the need of establishing a roadmap for mathematics within the EU funding schemes and in particular in the context of the DyM-CS projects.
The idea behind Artbotics is to capture the views of the audience by them waving greed cards (I agree) or red cards (I don’t agree). This audience participation is captured by machine vision systems and used for interaction with a robot artist influencing the way it creates dramatic animated displays. This was the world premier of a new Artbotics Project initiated by Topdrim and the Open University, aimed at engaging wide audiences for the dissemination of socially important new ideas in mathematics, science and ICT. This event targeted the European ICT community, while future events will be aimed at other audiences including policy makers, industry, students, and the general public. The underlying principle is engaging audiences to disseminate scientific ideas and their applications through a combination of interactivity, art, creativity and fun.
Participants of the event involved Topdrim partners Jeffrey Johnson, David Sousa-Rodrigues, Armando Marino from The Open University and Emanuela Merelli from the University of Camerino. The Artbotics team also included Jorge Louçã from the Lisbon University Institute, and Mariana Louçã as the Robot.
Topdrim organised the DyM-CS cluster workshop during ECCS’14. The aim of this workshop is to gather researchers involved in the DyM-CS running projects to share preliminary results, methods and theories.
The workshop chaired by professor Jeffrey Johnson was an half-day meeting that allowed for presentations by different projects representatives of their main results and contributions towards the study of the Dynamics of Multilevel Complex Systems.
Topdrim partners Mario Rasetti and Giovanni Petri from the ISI Foundation, are organising Toponets’14. Toponets’14 is a Satellite Meeting at Netsci 2014 conference. The call for abstracts is now published and the event will take place at Berkeley, California at the Clark Kerr Campus of the University of California Monday, June 2nd, 2014.
The aim of this workshop is to review and promote advances at the interface between network science and computational topology.
The list of topics that we aim to cover at the satellite is the following:
Empirical characterisation and analysis of statistical properties of static and dynamical simplicial complexes obtained from social, technological and biological systems
Extension of network-theoretic concepts to simplicial complexes (connectivity patterns, centralities, community structure etc)
Generative and null models for observed complexes
Topological characterisation of dynamical processes defined on networks and simplicial complexes
Biological systems are complex systems whose modeling requires a dramatic change in paradigms that has seen reductionism challenged by holism and Systems Biology a stimulating field to let evolve the science of Complex Systems as a convergent branch (a sort of hyperedge) of Computer Science, Mathematics and Physics.
The aim of this workshop is to gather researchers interested in the convergence of Computer Science, Biology and the Life Sciences. In particular, in this 5th edition, we solicit the contribution of original results, from any research areas, such as Mathematics, Physics, Complex Systems, and Computational Science that address both theoretical aspects of modelling and applied work on the comprehension of biological behaviour. Furthermore, to facilitate the integration of different research areas we encourage the presentation of main objectives and preliminary results of active projects on the CS2Bio topics conducted by interdisciplinary teams.
Papers selected for presentation at CS2Bio should either present the modelling of a specific biological phenomenon using formal techniques, or a modelling, simulation, testing or verification approach in computer science that leads to a novel and promising application to a range of biological or medical systems. In the latter case, some emphasis on the scope and scalability of the approach will be required. The workshop intends to attract researchers interested in models, verification, tools, and programming primitives concerning the complex interactions encountered. In general, topics of interest include, but are not limited to:
Formal Biological Modelling
Formal methods for the representation of biological systems and their dynamics;
Theoretical links and comparisons between different formal models for the modelling of biological processes;
Quantitative (probabilistic, timed, stochastic, etc.) languages and calculi;
Spatial (geometrical, topological) languages and calculi;
Prediction of biological behaviour from incomplete information;
Model checking, abstract interpretation, type systems, etc.
Novel Computational Paradigms for Understanding Biological Complex Systems
Quantum information and life sciences;
Computational topology and biomathematics;
Information processing and biomedicine;
Statistical mechanics and biophysics;
Complex Networks and biomolecular dynamics
Tools and Simulations
Modelling, analysis and simulation tools for systems biology;
Emergence of properties in complex biological and medical systems;
Tools for parallel, distributed, and multi-resolution simulation methods;
Detailed biological case-studies.
We solicit three kinds of contributions:
Regular papers: must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings (limited to 14 pages).
Tool presentations: describing new tools or platforms for the modelling of biological systems (limited to 14 pages).
Dissemination of project results: concern recent or ongoing work on topics relevant to CS2Bio and are intended to provide discussion and stimulate feedback during the workshop. The focus of a dissemination should be put on the main objectives and preliminary results of active projects on topics relevant to the workshop. There are no restrictions about previous or future publication of the contents of a dissemination, it could also be based on a recently published paper or on a work which has not yet been submitted (limited to 4 pages).
Authors should submit their contributions via EasyChair in the form of a pdf file compiled using the ENTCS style for the workshop proceedings. If necessary, detailed proofs or other additional material can be added in an appendix (referees might review it at their discretion).
The CS2Bio 2014 proceedings will be published in a volume of the Elsevier series “Electronic Notes on Theoretical Computer Science”. After the event, papers presented at the workshop will be invited to be further extended and submitted to a special issue of the journal “Theoretical Computer Science”. The special issue will have an open call and a separate review process up to the usual scientific standards of the journal.
Submission deadline: 24 March 2014
Notification to authors: 02 May 2014
Workshop: 06 June 2014
Tutorial day: 07 June 2014
Luca Cardelli, Microsoft Research Cambridge, UK
Erik de Vink, Technische Universiteit Eindhoven, the Netherlands
François Fages, INRIA Rocquencourt, France
Paola Giannini, Università del Piemonte Orientale, Italy
Radu Grosu, Stony Brook University, USA
Russ Harmer, CNRS & ENS Lyon, France
Jean Krivine, CNRS & Paris Diderot University, France
Pietro Lio, University of Cambridge, UK
Emanuela Merelli, University of Camerino, Italy (co-chair)
Ion Petre, Åbo Akademi University, Finland (co-chair)
Ovidiu Radulescu, University of Montpellier 2, France
David Safranek, Masaryk University, Czech Republic
Toprdim had its first project review meeting in Brussels on November 19th. The meeting counted with the presence of members of all consortium partners and over the entire day a review of all the science produced by the project during the first year was presented.
The members participating in the review meeting took the opportunity to do a pre-review work meeting on the 18th. This meeting was aimed at organising the presentations of the different partners and to finalise the programme for the review meeting.
While the morning of the review meeting focused more on the scientific advances and outputs from the project, the afternoon was reserved for the review of the dissemination, financial and management aspects.
After the presentations made by the participants the reviewers agreed that the project was on a good track. The positive outcome of the first year of the project pleased the project members and show how the collaborative efforts of the different partners are being fruitful.
Emanuela Merelli from University of Camerino visited the Topdrim partner SDU at IMADA in the period of 16th-23th Oct., 2013, where she gave a talk on October, 21 on Topology driven modelling – the IS metaphor.
Abstract: In my talk I will introduce a new approach for data-driven modelling based on a model of the immune system (IS), that is a generalization of the IS à la Hopfiel-Parisi model, in which only two-body interaction are present, by many-body interactions (n-ary relations) based on a mean field approach, as is the case of many models in the literature. The novelty is the multilinearity in the configurational variables that allows us to extend the mean field from local to non-local. This peculiarity allows us to show that the partition function Z is similar to that in a topological field theory, as it contains the same global information about the system configurations. One of its functors is the generating function of the Betti numbers of the state manifold of the system. Comparison between the Betti numbers of the model and the real Betti numbers obtained from the topological analysis of phenomenological data of immune systems, is expected to discover hidden n-ary relations among idiotypes and anti-idiotypes: in fact the topological analysis allows to select global features that cannot be reduced neither to a mere subgraph nor to a metric or vector space. The n-ary relations reveal that living matter is not only complex, but relies on the evolution of those constraints, which harness the execution and the emergence of collective functions; principle underlying the S[B] modeling framework proposed in TOPDRIM project (FP7-ICT-2011-8/318121).
Also, a series of talks on Algebraic Topology are presented to Emanuela Merelli by the group members of SDU. The programme of these talks was:
Introduction to Topology space, quotient topology, 3 hours
surface, connected sum, gluing and slicing of polygon, 3 hours
fundamental groups, 3 hours
homology, 3 hours.
Delta and singular homology, Euler Characteristics 3 hours.
Mario Rasetti gave the introductory talk on “The Mapping Class Group in Big Data” to the Topdrim partners in the meeting the consortium held in San Benedetto del Tronto, Italy on July 30-31.
The meeting was the opportunity for partners to present their latest developments and to coordinate next tasks and collaborations as the project first year draws to a close. The two day meeting also allowed the partners to work in parallel sessions to advance their respective collaborations.
All systems in nature have one thing in common: they process information. Information is registered in the state of a system and its elements, implicitly and invisibly. As elements interact, information is transferred. Indeed, bits of information about the state of one element will travel – imperfectly – to the state of the other element, forming its new state. This storage and transfer of information, possibly between levels of a multi level system, is imperfect due to randomness or noise. From this viewpoint, a system can be formalized as a collection of bits that is organized according to its rules of dynamics and its topology of interactions. Mapping out exactly how these bits of information percolate through the system could reveal new fundamental insights in how the parts orchestrate to produce the properties of the system. A theory of information processing would be capable of defining a set of universal properties of dynamical multi level complex systems, which describe and compare the dynamics of diverse complex systems ranging from social interaction to brain networks, from financial markets to biomedicine. Each possible combination of rules of dynamics and topology of interactions, with disparate semantics, would reduce to a single language of information processing.
For more information about this satellite meeting and on how to submit your contribution please visit IPCS’13 website.