- SIPTA News - lists.sipta.org

[SIPTA] TPNC 2014: 2nd call for papers

by GRLMC

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ************** 3rd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2014 Granada, Spain December 9-11, 2014 Organized by: Soft Computing and Intelligent Information Systems (SCI2S) University of Granada Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/tpnc2014/ **************************************************************************** ************** AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2014 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2014 will take place in Granada, in the region of Andalucía, to the south of Spain. The city is the seat of a rich Islamic historical legacy, including the Moorish citadel and palace called Alhambra. SCOPE: Topics of either theoretical, experimental, or applied interest include, but are not limited to: * Nature-inspired models of computation: - amorphous computing - cellular automata - chaos and dynamical systems based computing - evolutionary computing - membrane computing - neural computing - optical computing - swarm intelligence * Synthesizing nature by means of computation: - artificial chemistry - artificial immune systems - artificial life * Nature-inspired materials: - computing with DNA - nanocomputing - physarum computing - quantum computing and quantum information - reaction-diffusion computing * Information processing in nature: - developmental systems - fractal geometry - gene assembly in unicellular organisms - rough/fuzzy computing in nature - synthetic biology - systems biology * Applications of natural computing to: algorithms, bioinformatics, control, cryptography, design, economics, graphics, hardware, learning, logistics, optimization, pattern recognition, programming, robotics, telecommunications etc. A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2014 will consist of: - invited talks - peer-reviewed contributions INVITED SPEAKERS: Kalyanmoy Deb (East Lansing, US), Multi-Criterion Problem Solving: A Niche for Natural Computing Methods Marco Dorigo (Brussels, BE), Swarm Intelligence Francisco Herrera (Granada, ES), Bioinspired Real Parameter Optimization: Where We Are and Whats Next PROGRAMME COMMITTEE: Hussein A. Abbass (Canberra, AU) Uwe Aickelin (Nottingham, UK) Thomas Bäck (Leiden, NL) Christian Blum (San Sebastián, ES) Jinde Cao (Nanjing, CN) Vladimir Cherkassky (Minneapolis, US) Sung-Bae Cho (Seoul, KR) Andries P. Engelbrecht (Pretoria, ZA) Terence C. Fogarty (London, UK) Fernando Gomide (Campinas, BR) Inman Harvey (Brighton, UK) Francisco Herrera (Granada, ES) Tzung-Pei Hong (Kaohsiung, TW) Thomas Jansen (Aberystwyth, UK) Yaochu Jin (Guildford, UK) Okyay Kaynak (Istanbul, TR) Satoshi Kobayashi (Tokyo, JP) Soo-Young Lee (Daejeon, KR) Derong Liu (Chicago, US) Manuel Lozano (Granada, ES) Carlos Martín-Vide (Tarragona, ES, chair) Ujjwal Maulik (Kolkata, IN) Risto Miikkulainen (Austin, US) Frank Neumann (Adelaide, AU) Leandro Nunes de Castro (São Paulo, BR) Erkki Oja (Aalto, FI) Lech Polkowski (Warsaw, PL) Brian J. Ross (St. Catharines, CA) Marc Schoenauer (Orsay, FR) Biplab Kumar Sikdar (Shibpur, IN) Dipti Srinivasan (Singapore, SG) Darko Stefanovic (Albuquerque, US) Umberto Straccia (Pisa, IT) Thomas Stützle (Brussels, BE) Ponnuthurai N. Suganthan (Singapore, SG) Johan Suykens (Leuven, BE) El-Ghazali Talbi (Lille, FR) Jon Timmis (York, UK) Fernando J. Von Zuben (Campinas, BR) Michael N. Vrahatis (Patras, GR) Xin Yao (Birmingham, UK) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos García-Martínez (Córdoba) Carlos Martín-Vide (Tarragona, co-chair) Manuel Lozano (Granada, co-chair) Francisco Javier Rodríguez (Granada) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, etc.) and should be prepared according to the standard format for the Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=tpnc2014 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from April 5 to December 9, 2014. The registration form can be found at: http://grammars.grlmc.com/tpnc2014/Registration.php DEADLINES: Paper submission: July 17, 2014 (23:59h, CET) Notification of paper acceptance or rejection: August 24, 2014 Final version of the paper for the LNCS proceedings: September 7, 2014 Early registration: September 7, 2014 Late registration: November 25, 2014 Submission to the post-conference journal special issue: March 11, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu(a)urv.cat POSTAL ADDRESS: TPNC 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universidad de Granada Universitat Rovira i Virgili

May 10, 2014

[SIPTA] EVENT: `Imprecise Probabilities' at Durham University, Fri 23 May

by COOLEN F.P.A.

May 7, 2014

[SIPTA] SLSP 2014: extended submission deadline 14 May

by GRLMC

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: May 14 ***** ---------------------------------------------------------------------------- **************************************************************************** ****** 2nd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2014 Grenoble, France October 14-16, 2014 Organised by: Équipe GETALP Laboratoire dInformatique de Grenoble Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/slsp2014/ **************************************************************************** ****** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2014, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2014 will take place in Grenoble, at the foot of the French Alps. SCOPE: The conference invites submissions discussing the employment of statistical methods (including machine learning) within language and speech processing. The list below is indicative and not exhaustive: phonology, phonetics, prosody, morphology syntax, semantics discourse, dialogue, pragmatics statistical models for natural language processing supervised, unsupervised and semi-supervised machine learning methods applied to natural language, including speech statistical methods, including biologically-inspired methods similarity alignment language resources part-of-speech tagging parsing semantic role labelling natural language generation anaphora and coreference resolution speech recognition speaker identification/verification speech transcription speech synthesis machine translation translation technology text summarisation information retrieval text categorisation information extraction term extraction spelling correction text and web mining opinion mining and sentiment analysis spoken dialogue systems author identification, plagiarism and spam filtering STRUCTURE: SLSP 2014 will consist of: invited talks peer-reviewed contributions INVITED SPEAKERS: Claire Gardent (LORIA, Nancy, FR), Grammar Based Sentence Generation and Statistical Error Mining Roger K. Moore (Sheffield, UK), Spoken Language Processing: Time to Look Outside? Martti Vainio (Helsinki, FI), Phonetics and Machine Learning: Hierarchical Modelling of Prosody in Statistical Speech Synthesis PROGRAMME COMMITTEE: Sophia Ananiadou (Manchester, UK) Srinivas Bangalore (Florham Park, US) Patrick Blackburn (Roskilde, DK) Hervé Bourlard (Martigny, CH) Bill Byrne (Cambridge, UK) Nick Campbell (Dublin, IE) David Chiang (Marina del Rey, US) Kenneth W. Church (Yorktown Heights, US) Walter Daelemans (Antwerpen, BE) Thierry Dutoit (Mons, BE) Alexander Gelbukh (Mexico City, MX) James Glass (Cambridge, US) Ralph Grishman (New York, US) Sanda Harabagiu (Dallas, US) Xiaodong He (Redmond, US) Hynek Hermansky (Baltimore, US) Hitoshi Isahara (Toyohashi, JP) Lori Lamel (Orsay, FR) Gary Geunbae Lee (Pohang, KR) Haizhou Li (Singapore, SG) Daniel Marcu (Los Angeles, US) Carlos Martín-Vide (Tarragona, ES, chair) Manuel Montes-y-Gómez (Puebla, MX) Satoshi Nakamura (Nara, JP) Shrikanth S. Narayanan (Los Angeles, US) Vincent Ng (Dallas, US) Joakim Nivre (Uppsala, SE) Elmar Nöth (Erlangen, DE) Maurizio Omologo (Trento, IT) Mari Ostendorf (Seattle, US) Barbara H. Partee (Amherst, US) Gerald Penn (Toronto, CA) Massimo Poesio (Colchester, UK) James Pustejovsky (Waltham, US) Gaël Richard (Paris, FR) German Rigau (San Sebastián, ES) Paolo Rosso (Valencia, ES) Yoshinori Sagisaka (Tokyo, JP) Björn W. Schuller (London, UK) Satoshi Sekine (New York, US) Richard Sproat (New York, US) Mark Steedman (Edinburgh, UK) Jian Su (Singapore, SG) Marc Swerts (Tilburg, NL) Jun'ichi Tsujii (Beijing, CN) Gertjan van Noord (Groningen, NL) Renata Vieira (Porto Alegre, BR) Dekai Wu (Hong Kong, HK) Feiyu Xu (Berlin, DE) Roman Yangarber (Helsinki, FI) Geoffrey Zweig (Redmond, US) ORGANISING COMMITTEE: Laurent Besacier (Grenoble, co-chair) Adrian Horia Dediu (Tarragona) Benjamin Lecouteux (Grenoble) Carlos Martín-Vide (Tarragona, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, etc.) and should be prepared according to the standard format for Springer Verlag's LNAI/LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=slsp2014 PUBLICATIONS: A volume of proceedings published by Springer in the LNAI/LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from January 16, 2014 to October 14, 2014. The registration form can be found at: http://grammars.grlmc.com/slsp2014/Registration.php DEADLINES: Paper submission: May 14, 2014 (23:59h, CET) EXTENDED Notification of paper acceptance or rejection: June 18, 2014 Final version of the paper for the LNAI/LNCS proceedings: June 25, 2014 Early registration: July 2, 2014 Late registration: September 30, 2014 Submission to the post-conference journal special issue: January 16, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu(a)urv.cat POSTAL ADDRESS: SLSP 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Laboratoire dInformatique de Grenoble Universitat Rovira i Virgili

May 4, 2014

[SIPTA] SUM 2014 CfP -- Abstract submission deadline approaching!

by Andrea Cali

April 30, 2014

[SIPTA] FW: FW: new books on imprecise probabilities

by Kreinovich

FYI, info about the books appeared on THE REASONER Volume 8, Number 5 - May 2014, http://www.thereasoner.org/

April 30, 2014

[SIPTA] FW: new books on imprecise probabilities

by Kreinovich

FW: ********************* The rather broad research field which goes by the name of imprecise probability has enjoyed an ever increasing popularity over the past two decades. Imprecise probability appears, in one or another of its many guises, in a variety of areas of artificial intelligence, statistics, decision theory and epistemology. Interested readers can get a flavour of the field from The Society for Imprecise Probability: Theories and Applications (SIPTA) website. Building on several forerunners, P. Walley's monumental book (1991, Statistical Reasoning with Imprecise Probabilities, Wiley) has long been the central reference for this area. This spring, however, two volumes will be filling the shelves of the imprecise probability enthusiasts, both of which have been recently announced by Gert de Cooman on his blog. The first is titled Introduction to Imprecise Probabilities and is edited for Wiley by Thomas Augustin, Frank P.A. Coolen, Gert de Cooman and Matthias C.M. Troffaes. It is a 448 page strong collection of 16 chapters spanning the foundations and applications of imprecise probabilities which is due to be published in May 2014. The second is a monograph written by Matthias C.M. Troffaes and Gert de Cooman, entitled Lower Previsions. This volume is also to be published by Wiley in May 2014 and, as a matter of an interesting coincidence, is also 448 pages. There is little doubt that both volumes will contribute to widening the impact of the imprecise probability approach in the uncertain reasoning community. Hykel Hosni Marie Curie Fellow, CPNSS, London School of Economics

April 30, 2014

[SIPTA] BELIEF 2014 - 3rd International Conference on Belief Functions - EXTENDED DEADLINE

by Fabio Cuzzolin

April 28, 2014

[SIPTA] SSTiC 2014: May 10, 6th registration deadline

by GRLMC

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2014 Tarragona, Spain July 7-11, 2014 Organized by Rovira i Virgili University http://grammars.grlmc.com/sstic2014/ ********************************************************************* --- May 10, 6th registration deadline --- ********************************************************************* AIM: SSTiC 2014 is the second edition in a series started in 2013. For the previous event, see http://grammars.grlmc.com/SSTiC2013/ SSTiC 2014 will be a research training event mainly addressed to PhD students and PhD holders in the first steps of their academic career. It intends to update them about the most recent developments in the diverse branches of computer science and its neighbouring areas. To that purpose, renowned scholars will lecture and will be available for interaction with the audience. SSTiC 2014 will cover the whole spectrum of computer science through 6 keynote lectures and 23 six-hour courses dealing with some of the most lively topics in the field. The organizers share the idea that outstanding speakers will really attract the brightest students. ADDRESSED TO: Graduate students from around the world. There are no formal pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, reference may be made to specific knowledge background in the description of some of them. SSTiC 2014 is also appropriate for more senior people who want to keep themselves updated on developments in their own field or in other branches of computer science. They will surely find it fruitful to listen and discuss with scholars who are main references in computing nowadays. REGIME: In addition to keynotes, 3 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Larry S. Davis (U Maryland, College Park), A Historical Perspective of Computer Vision Models for Object Recognition and Scene Analysis David S. Johnson (Columbia U, New York), Open and Closed Problems in NP-Completeness George Karypis (U Minnesota, Twin Cities), Top-N Recommender Systems: Revisiting Item Neighborhood Methods Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One Coin Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style Ronald R. Yager (Iona C, New Rochelle), Social Modeling COURSES AND PROFESSORS: Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing John M. Carroll (Pennsylvania State U, University Park), [introductory] Usability Engineering and Scenario-based Design Kwang-Ting (Tim) Cheng (U California, Santa Barbara), [introductory/intermediate] Smartphones: Hardware Platform, Software Development, and Emerging Apps Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed Foundations of Data Management in the Cloud Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and Distributed Simulation Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science David S. Johnson (Columbia U, New York), [introductory] The Traveling Salesman Problem in Theory and Practice George Karypis (U Minnesota, Twin Cities), [intermediate] Programming Models/Frameworks for Parallel & Distributed Computing Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate] Optimization Techniques for Sparse/Low-rank Recovery Problems in Image Processing and Machine Learning Arie E. Kaufman (U Stony Brook), [intermediate/advanced] Visualization Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate] Robot Motion Planning Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in Computer Science Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate] Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance Handover System Designs Robert Sargent (Syracuse U), [introductory] Validation of Models Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd Analysis Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection for Twitter and the Social Web Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate] Distributed Consensus: Theory and Applications Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and Life ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/sstic2014/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed when the capacity of the venue will be complete. It is very convenient to register prior to the event. FEES: As far as possible, participants are expected to attend for the whole (or most of the) week (full-time). Fees are a flat rate allowing one to participate to all courses. They vary depending on the registration deadline. ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu(a)urv.cat POSTAL ADDRESS: SSTiC 2014 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Departament dEconomia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili

April 27, 2014

[SIPTA] PRUV call for papers --- deadline extension

by Thomas Lukasiewicz

****************************************************************** CALL FOR PAPERS First International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2014) Vienna, Austria, July 23-24, 2014 http://vsl2014.at/pruv/ ****************************************************************** ***** DEADLINE EXTENDED TO MAY 15. ***** PRUV 2014 is the first Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. The aim of PRUV is to bring together people from different communities (such as the Artificial Intelligence, Theory and the Semantic Web community, among others), including theorists and practitioners, working on logics for reasoning about preferences, uncertainty, and vagueness. Making researchers aware of and fruitfully discuss the most recent application areas, new challenges, and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness is the main goal of this meeting. PRUV 2014 is part of the Vienna Summer of Logic, a major event hosting logic conferences and workshops (http://vsl2014.at/) In particular, PRUV will be hosted by FLoC (http://vsl2014.at/floc/) and associated to IJCAR (http://vsl2014.at/ijcar/) == IMPORTANT DATES == - Paper submission: May 15, 2014 - Notification of acceptance: May 30, 2014 - Camera-ready submission: June 7, 2014 == TOPICS == PRUV welcomes submissions relating logic with preferences, uncertainty and vagueness in the wider sense. Some logics of interest are: - first-order logic, - propositional logic, - probabilistic logic, - logic programming, - answer set programming, - description logics, - modal logics, - hybrid logics, - defeasible logic, - multi-valued logics, - dynamic logic, - temporal logics, - agent logics. Formalisms for handling preferences, uncertainty, and vagueness include, but are not limited to - probability measures, - Bayesian networks, - possibility measures, - preference networks, - CP-networks, - rough sets, - fuzzy set theory. == PUBLICATION == All accepted papers will be made available electronically at the CEUR Workshop Proceedings website (http://www.CEUR-ws.org/) After the workshop, there will be a special issue of the IFCOLOG Journal of Logics and their Applications (http://www.collegepublications.co.uk/journals/ifcolog/) with selected papers from the workshop. == SUBMISSIONS == Submissions must be prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html) There are three submission formats: - Full papers (up to 12 pages plus references) - Technical Communications (up to 6 pages plus references) - System Descriptions (up to 6 pages plus references) Submissions will be made via EasyChair: https://www.easychair.org/conferences/?conf=pruv2014 == DOUBLE SUBMISSIONS == The aim of the workshop is to bring together experts from a wide spectrum of research areas. Thus, we accept submissions of papers and results recently published in other venues. == PROGRAM COMMITTEE == Nathalie Bertrand (Inria Rennes Bretagne Atlantique) Fernando Bobillo (University of Zaragoza) Felix Bou (University of Barcelona (UB)) Marco Cerami (Palacký University in Olomouc) Simona Colucci (Università della Tuscia) Fabio Gagliardi Cozman (Universidade de Sao Paulo) C. Maria Keet (Department of Computer Science, University of Cape Town, South Africa) Angelika Kimmig (KU Leuven) Pavel Klinov (University of Ulm) Beata Konikowska (Institute of Computer Science Polish Academy of Sciences) Thomas Lukasiewicz (Department of Computer Science, University of Oxford) - chair Maria Vanina Martinez (University of Oxford) Rafael Peñaloza (TU Dresden) - chair Steven Schockaert (Cardiff University) Giorgos Stoilos (National Technical University of Athens (NTUA)) Anni-Yasmin Turhan (TU Dresden) - chair Özgür Lütfü Özcep (Institute for Softwaresystems, Hamburg University of Technology)

April 24, 2014

[SIPTA] Call for Papers - ICTCS 2014

by Andrea Formisano

[apologies for multiple posting] ======================= CALL FOR PAPERS ============================= ICTCS 2014 Fifteenth Italian Conference on Theoretical Computer Science Perugia, Italy, September 17-19, 2014 http://www.dmi.unipg.it/ictcs2014 Conference proceedings on CEUR Workshop Proceedings Series Post-conference selection on Theoretical Computer Science ----------------------------------------------------------------------- ICTCS-2014, the 2014 Italian Conference on Theoretical Computer Science, is the 15th conference of the Italian Chapter of EATCS. It will be held in Perugia, September 17-19 2014 at the Department of Mathematics and Computer Science. The scope of the meeting is fostering the cross-fertilisation of ideas stemming from different areas of theoretical computer science. Hence, the Italian Conference on Theoretical Computer Science represents an occasion for meeting and exchanging ideas and for sharing experiences between researchers. It also provides the ideal environment where junior researchers and PhD students can meet senior researchers. Contributions in any area of theoretical computer science are warmly solicited. Typical, but not exclusive, topics of interest include: agents algorithms argumentation automata theory automated theorem proving complexity theory computational logic computational social choice concurrency cryptography distributed computing dynamical systems formal methods game theory graph theory knowledge representation languages model checking process algebras quantum computing rewriting systems security and trust semantics specification and verification systems biology types The event is open to both Italian and foreign researchers, which are welcome to submit papers and attend the Conference. Invited speakers: ================= Rocco De Nicola. IMT - Institute for Advanced Studies, Lucca Giuseppe Liotta. Department of Engineering, University of Perugia Program co-chairs: ================== Stefano Bistarelli (Univ. di Perugia) Andrea Formisano (Univ. di Perugia) Program committee: ================== Paolo Baldan (Univ. di Padova) Giampaolo Bella (Univ. di Catania) Marco Bernardo (Univ. di Urbino) Davide Bilo (Univ. di Sassari) Stefano Bistarelli (Univ. di Perugia) Michele Boreale (Univ. di Firenze) Tiziana Calamoneri (Sapienza Univ. di Roma) Antonio Caruso (Univ. del Salento) Ferdinando Cicalese (Univ. di Salerno) Flavio Corradini (Univ. di Camerino) Giorgio Delzanno (Univ. di Genova) Mariangiola Dezani (Univ. di Torino) Eugenio Di Sciascio (Politecnico di Bari) Agostino Dovier (Univ. di Udine) Marco Faella (Univ. di Napoli "Federico II") Michele Flammini (Univ. di L'Aquila) Andrea Formisano (Univ. di Perugia) Maurizio Gabbrielli (Univ. di Bologna) Fabio Gadducci (Univ. di Pisa) Raffaella Gentilini (Univ. di Perugia) Laura Giordano (Univ. del Piemonte Orientale) Giuseppe F. Italiano (Univ. di Roma "Tor Vergata") Sabrina Mantaci (Univ. di Palermo) Isabella Mastroeni (Univ. di Verona) Manuela Montangero (Univ. di Modena e Reggio Emilia) Maurizio Proietti (IASI-CNR) Antonino Salibra (Univ. Ca'Foscari Venezia) Francesco Santini (IIT-CNR, Univ. di Perugia) Marinella Sciortino (Univ. di Palermo) Maurice ter Beek (ISTI-CNR) Venue: ====== Dipartimento di Matematica e Informatica Universita` degli Studi di Perugia via Vanvitelli, 1 I-06123 Perugia, Italy Local contacts: =============== Conference Chairs: Stefano Bistarelli & Andrea Formisano E-mail: ictcs2014(a)dmi.unipg.it Conference web-site: http://www.dmi.unipg.it/ictcs2014 Important dates: ================ Submission deadline: 27 May 2014 Notification of acceptance: 15 July 2014 Final version: 10 August 2014 Conference: 17-19 September 2014 Submissions: ============ Two types of contributions are solicited: Communications: up to 5 pages in llncs style. Suitable for extended abstracts of papers already appeared, or submitted, or to be submitted, elsewhere; papers reporting on ongoing researches on which the authors wish to get feedback at ICTCS and possibly intended to be included in future publications; overviews of PhD-theses, research projects, etc... Regular papers: up to 12 pages in llncs style. Full original papers, presenting novel results, not appeared or submitted elsewhere. In case of need, to ease the rewiewing process, the authors of regular papers may add an appendix containing further material (or indicate a web site containing longer version of the paper). In any case the reviewers are not required to consider such furhter material in their evaluation. For each accepted contribution, at least one of the authors is required to attend at the conference and present the paper. All accepted contribution (communications and regular papers), presented at the conference, will appear in a number of CEUR Workshop Proceedings (http://ceur-ws.org/) Articles must be written in English and formatted using the Springer LNCS style (see the details on the conference web site). Submission page: ================ Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://www.easychair.org/conferences/?conf=ictcs2014 Post-conference issue on Theoretical Computer Science: ====================================================== Selected papers from ICTCS-2014 will be invited to a special issue of the journal Theoretical Computer Science. The authors of a selection of the regular papers presented at the conference will be asked to submit an improved version of their papers. The selection will be determined by considering the outcome of the conference reviewing phase. The papers submitted for the journal issue should have been significantly revised and extended with respect to the conference versions. A second reviewing process, meeting the high standard of quality of the international journal will select the papers to be accepted for the special issue, among the invited ones.

April 22, 2014