posted by user: grupocole || 2882 views || tracked by 2 users: [display]

NCMA 2010 : Non-Classical Models of Automata and Applications

FacebookTwitterLinkedInGoogle


Conference Series : Non-Classical Models for Automata and Applications
 
Link: http://www.informatik.uni-giessen.de/ncma2010/
 
When Aug 23, 2010 - Aug 24, 2010
Where Jena, Germany
Submission Deadline May 28, 2010
Notification Due Jun 27, 2010
Categories    theoretical computer science
 

Call For Papers


S E C O N D C A L L F O R P A P E R S

for

NCMA 2010 - Non-Classical Models of Automata and Applications.

The deadline for submissions is May 28, 2010 (11:59pm, Samoan time). ****** Deadline is approaching fast ******


The Workshop NCMA 2010 will take place in Jena, Germany, as a satellite event of the Conference on Membrane
Computing (CMC; formerly WMC) 2010. It is supported in part by the Deutsche Forschungsgemeinschaft (DFG). The
first workshop was held in Wroclaw, Poland.


We hope that many of you will submit papers and will attend NCMA 2010.


With best wishes,

Henning Bordihn (Universitaet Potsdam, Germany)
Rudolf Freund (Technische Universitaet Wien, Austria)
Markus Holzer (Universitaet Giessen, Germany)
Martin Kutrib (Universitaet Giessen, Germany)
Friedrich Otto (Universitaet Kassel, Germany)



______________________________________________________________________________

CALL FOR PAPERS - NCMA 2010
International Workshop on
Non-Classical Models of Automata and Applications

August 23 - 24, 2010. Jena, Germany
http://www.informatik.uni-giessen.de/ncma2010/
______________________________________________________________________________

Researchers are invited to submit papers concerning original contributions on non-classical models of automata
and applications and related subjects for NCMA 2010. Many non-classical automata models are natural objects of
theoretical computer science. They are studied from different points of view in various areas, both as
theoretical concepts and as formal models for applications. The aim of this workshop is to bring together
researchers working on different aspects of different variants of non-classical automata models in order to
exchange and develop novel ideas. A deeper and interdisciplinary coverage of this particular area may gain new
insights and substantial progress.

Topics of NCMA 2010 include, but are not limited to:
-- Bio-inspired Automata
-- Cellular Automata
-- Restarting Automata, Forgetting Automata
-- Automata with Additional Resources
-- Automata Networks, Cooperation, and Communication
-- Quantum Automata
-- Other Formal Models Inspired by:
-- Linguistics
-- Bio-Computing
-- Text Processing
-- Document Engineering
-- Self-Assembling

In all these settings:
-- Application
-- Expressive Capability
-- Descriptional Complexity
-- Universality, Self-Reproduction
-- Decision Problems and their Complexity
-- Algebraic Properties

The 2nd workshop NCMA 2010 is a satellite event of the Conference on Membrane computing (CMC; formerly WMC) 2010
and is in part funded by the Deutsche Forschungsgemeinschaft (DFG). The first workshop was held in Wroclaw, Poland.



IMPORTANT DATES
Submission Deadline: May 28, 2010 (11:59pm, Samoan time). ****** Deadline is approaching fast ******
Notification Deadline: June 27, 2010


SUBMISSIONS
Papers presenting original contributions on non-classical models of automata and applications and related subjects
are being sought. Authors are invited to submit papers of no more than 12 pages preferable in LNCS style in
electronic format (PostScript or PDF). Proofs omitted due to space constraints must be put into an appendix to be
read by the program committee members at their discretion. Simultaneous submission to other conferences or
workshops with published proceedings is not allowed. All submissions will be reviewed by at least three referees.
The proceedings volume is expected to be published by the Oesterreichischen Computer Gesellschaft in its
book@ocg.at series and will be available at the workshop. Selected papers will be published in a special journal
issue. The submissions are handled by the EasyChair conference management system. To submit your paper, please
go to

http://www.easychair.org/conferences/?conf=ncma10

The website is open for submissions.

PROGRAM CHAIR & ORGANIZER
Henning Bordihn (Universitaet Potsdam, Germany)
Rudolf Freund (Technische Universitaet Wien, Austria)
Markus Holzer (Universitaet Giessen, Germany)
Martin Kutrib (Universitaet Giessen, Germany)
Friedrich Otto (Universitaet Kassel, Germany)


INVITED SPEAKERS
Tomasz Jurdzinski (Wroclaw University, Poland)
Andreas Maletti (Universitat Rovira i Virgili, Spain)


PROGRAM COMMITTEE
Henning Bordihn (Universitaet Potsdam, Germany)
Rudolf Freund (Technische Universitaet Wien, Austria)
Thomas Hinze (Friedrich-Schiller-Universitaet Jena, Germany)
Mika Hirvensalo (University of Turku, Finland)
Markus Holzer (Universitaet Giessen, Germany)
Martin Kutrib (Universitaet Giessen, Germany)
Frantisek Mraz (Charles University Prague, Czech Republic)
Alexander Okhotin (University of Turku, Finland)
Friedrich Otto (Universitaet Kassel, Germany)
Beatrice Palano (Universita degli Studi di Milano, Italy)
Daniel Reidenbach (Loughborough University, United Kingdom)
Kai Salomaa (Queen's University, Canada)
Gy"orgy Vaszil (MTA SZTAKI, Hungary)
Sergey Verlan (University Paris XII, France)
Sheng Yu (University of Western Ontario, Canada)

Related Resources

HMM 2021   Hidden Markov Models and Applications
FSEN 2021   9th IPM International Conference on Fundamentals of Software Engineering
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
MVA 2021   17th International Conference on Machine Vision Applications
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
MODELS 2020   Model Driven Engineering Languages and Systems
ITAS--EI Compendex, Scopus 2021   2021 Information Technology & Applications Symposium (ITAS 2021)--EI Compendex, Scopus