Giancarlo Mauri

Alberto Leporati

This book constitutes the refereed proceedings of the 15th International Conference on Developments in Language Theory, DLT 2011, held in Milano, Italy, in July 2011. The 34 regular papers presented were carefully reviewed and selected from numerous submissions. The volume also contains the papers or abstracts of 5 invited speakers, as well as a 2-page abstract for each of the 7 poster papers. The topics covered include grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; codes; symbolic dynamics; algorithmic, combinatorial and algebraic properties of words and languages; decidability questions; applications of language theory, including: natural computing, image manipulation and compression, text algorithms, cryptography, concurrency, complexity theory and logic; cellular automata and multidimensional patterns; language theory aspects of quantum computing and bio-computing.

15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

Development in Language Theory

Luke Ong

Juhani Karhumäki

Giorgio Ausiello

The papers containedin this volume were presentedat the 5th IFIP InternationalC- ference on Theoretical Computer Science (IFIP TCS), 7-10 September 2008, Milan, Italy. TCS is a bi-annual conference.The ?rst conferenceof the series was held in Sendai (Japan, 2000), followed by Montreal (Canada, 2002), Toulouse (France, 2004) and Santiago (Chile, 2006).TCS is organizedby IFIP TC1 (Technical Committee 1: Fo- dations of Computer Science) and Working Group 2.2 of IFIP TC2 (Technical C- mittee 2: Software: Theory and Practice). TCS 2008 was part of the 20th IFIP World Computer Congress (WCC 2008), constituting the TC1 Track of WCC 2008. The contributed papers were selected from 36+45 submissions from altogether 30 countries. A total of 14+16 submissions were accepted as full papers. Papers in this volume are original contributions in two general areas: Track A: Algorithms, C- plexity and Models of Computation;and Track B: Logic, Semantics, Speci?cation and Veri?cation. The conference also included seven invited presentations, from Luca Cardelli, Thomas Ehrhard, Javier Esparza, Antonio Restivo, Tim Roughgarden, Gr- gorz Rozenberg and Avraham Trakhtman. These presentations are included (except one) in this volume. In particular, Luca Cardelli, Javier Esparza, Antonio Restivo, Tim Roughgarden and Avraham Trakhtman accepted our invitation to write full papers - lated to their talks.

IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit www.springer.com. For more information about IFIP, please visit www.ifip.org.

S. Bandini

ACRI'96 is the second conference on Cellular Automata for Research and Industry; the first one was held in Rende (Cosenza), on September 29-30, 1994. This second edition confirms the growing interest in Cellular Automata currently present both in the scientific community and within the industrial applications world. Cellular Automata-based computational models, besides capturing the attention of scientists working in different fields, open new perspectives of intersection between different and historically distant areas of scientific knowledge, from Physics to Biology, to Computer Science. ACRI'96 aims at providing a forum both for researchers working in the Cellular Automata field, and for those who foresee the possibility to verify on concrete domains of application the impact of their solutions, as well as for those who are looking for a possibility of reflection upon the specific concept of parallel and distributed computation provided by Cellular Automata. This book contains the works presented at the conference. The invited papers cover different aspects of Cellular Automata. T. Worsch gives a classification of Cellular Automata mapping on the existent computational frameworks for the simulation of their behavior. One of the most mature areas where Cellular Automata showed their value is Physics: B. Chopard illustrates recent results on wave modeling, and some possible applications. According to the general purpose of ACRI'96 of transfering research results to the industrial world, F.

Proceedings of the Second Conference on Cellular Automata for Research and Industry, Milan, Italy, 16–18 October 1996

ACRI ’96

Riccardo Dondi

Guillaume Fertin

This volume constitutes the proceedings of the 11th International Conference on Algorithmic Aspects in Information and Management, AAIM 2016, held in Bergamo, Italy, in July 2016. The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers deal with current trends of research on algorithms, data structures, operation research, combinatorial optimization and their applications.

11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings

Algorithmic Aspects in Information and Management

Katsuhiro Nishinari

Samira El Yacoubi

Alberto Dennunzio

Luca Manzoni

This book constitutes the proceedings of the 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, held in Como, Italy, in September 2018. The 47 full papers presented in this volume were carefully reviewed and selected from 64 submissions. This volume contains invited contributions and accepted papers from the main track and from the three organized workshops. The volume is organized in the following topics: biological systems modeling; simulation and other applications of CA; multi-agent systems; pedestrian and traffic dynamics; synchronization and control; theory and cryptography; asynchronous cellular automata; and crowds, traffic and cellular automata.

13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings

Cellular Automata

Claudio Ferretti

Claudio Zandron

The meeting took place at the University of Milano-Bicocca, Milan, Italy, from June 7 to June 10, 2004, and it was organized by the University of Milano-Bicocca and the Department of Informatics of the University of Milano-Bicocca.

Giancarlo Mauri

About

Books

Join the club