- SIPTA News - lists.sipta.org

[SIPTA] Deadline extension: ICTCS 2014 Call for papers

by Andrea Formisano

[apologies for multiple posting] ------------------------------------------------------------------ Submission deadline extended: 8 June 2014 ------------------------------------------------------------------ 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: 8 June 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. _______________________________________________ -- *===================================================================* | Andrea Formisano | |-------------------------------------------------------------------| | Dip. di Matematica e Informatica, Universita' di Perugia | | Via Vanvitelli 1 - 06123 Perugia, Italy | | e-mail: formis(a)dmi.unipg.it web: www.dmi.unipg.it/formis | | tel: +39 075 5855011 fax: +39 075 5855024 | *===================================================================*

May 26, 2014

Re: [SIPTA] FW: International Conference on Risk Analysis of MeteorologicalDisasters

by Kreinovich

FYI, different techniques for gauging risk under uncertainty are welcome for these problems, imprecise probability techniques in particular. ***************************************************** From: Guo Wei [mailto:guo.wei(a)uncp.edu] CALL FOR PAPERS International Conference on Risk Analysis of Meteorological Disasters (RAMD'14) October 12-13, 2014, Nanjing, China http://ramd2014.nuist.edu.cn/dct/page/70033 About the Conference Since the industrial revolution in the mid-18th century, global climate has been undergoing significant changes with global warming as the main feature. Entering the 21st century, the trend of global warming is increasing (IPCC, 2013). As the climate gets warmer, various kinds of weather disasters gradually increase and result in more and more severe loss and impacts. According to the statistics of the International Committee for Disaster Reduction, meteorological disasters account for 75%-80% of all natural disasters, and the loss caused by meteorological disasters in the global world accounts for about 3%-6% of the world GDP in total. How to deal with the significant risk of meteorological disasters has become a major challenge faced by the international community today. Before the idea of meteorological disaster risk management appeared, mankind mainly defended to meteorological disasters passively. Then people started to set up the philosophy of active management to meteorological disasters and entered the stage of meteorological disasters risk management. Researches on meteorological disaster risk started since the International Decade for Natural Disaster Reduction (IDNDR) programme initiated by the UN in 1989. Its focus was to explore the mechanisms and measures to reduce the loss and the impact of a variety of natural and environmental disasters on human economy, society, resources and environment; to reveal the mechanism of the formation of disasters by evaluating the danger of hazards factors, the stability of the environment and the vulnerability of the hazard bearing body, etc., and to identify the driving forces of the disasters. In 2003, the first World Conference on Risk Analysis hosted by the International Society of Risk Analysis (SRA) emphasized the important change of disaster studies from disaster analysis to disaster risk analysis and disaster risk management, etc. Since then, the concept of risk entered into the field of meteorology, and the focus of research on meteorological disasters also shifted from meteorological disaster defence to meteorological disasters risk management. Nanjing University of Information Science and Technology is one of China's key universities with meteorology as the main discipline. The discipline of "Atmospheric Sciences" ranked first in the academic ranking organized by the Chinese Ministry of Education in 2013. The university has more than 1,500 full-time faculties including the Academician of Chinese Academy of Science, Professor Shi Guangyu. In recent years, one of the main directions of the university discipline development is "meteorological disaster forecasting, warning and assessment." In order to better make use of the advantages in terms of the university discipline, personnel, facilities and other conditions, to promote academic exchange and cooperation among researchers around the world in meteorological disaster risk management, the university intends to hold an International Conference on Risk Management of Meteorological Disasters in Nanjing on October 12-13. Organizers Nanjing University of Information Science and Technology Conference Time and Venue Conference Time: October 12-13 Conference Venue: Nanjing, China Scope: RAMD'14 is soliciting papers for the following (but not limited to) topics: Theme I: Meteorological Disasters and Financial Risk Management Theme II: Meteorological Disaster Assessment and Disaster Prevention and Reduction Strategies Theme III: Dynamic Analysis, Impact Assessment and Strategies for Drought/Flood Risk Theme IV: Major Meteorological Disaster Emergency Response and Risk Management Paper Submission All papers must be unpublished and should not be under simultaneous review for any other conferences and workshops. Paper format please refer to the relevant requirements of Information Science. All papers should be submitted electronically via E-mail:2014RAMD(a)gmail.com. All papers will be peer-reviewed by members of the RAMD'14 program committee and selected reviewers. Important Dates The deadline for paper submission August 30th, 2014 The date for notification September 30th, 2014 The date for camera-ready paper submission October 10th, 2014 Contact information Tel: +86 025 58699839 Email: 2014RAMD(a)gmail.com

May 24, 2014

[SIPTA] 6th SIPTA School on Imprecise Probabilities (21-25 Jul 2014, Montpellier, France): 3rd announcement

by Kevin Loquin

May 23, 2014

Re: [SIPTA] TES'2015 deadline extended

by Kreinovich

May 22, 2014

[SIPTA] IPSP14: Call for Participation

by Marco Cattaneo

**************************************************** IMPRECISE PROBABILITIES IN STATISTICS AND PHILOSOPHY LMU Munich 27-28 June 2014 www.ipsp2014.philosophie.lmu.de **************************************************** The SCIENTIFIC PROGRAM is now online: www.ipsp2014.philosophie.lmu.de/program Imprecise probabilities offer a model of uncertainty that is more general, less idealised than the standard precise probability framework. Imprecise probabilities are receiving increasing attention in statistics (as well as in artificial intelligence and in economics). Recently, there has been a resurgence of philosophical interest in these generalised models of uncertainty. The aim of this workshop is to bring together philosophers and statisticians to see what we can learn from each other. We are sure that such interdisciplinary collaboration will be valuable both to philosophers and to statisticians. Topics on which we might expect fruitful discussions include: * updating imprecise probabilities and dilation; * foundations of imprecise probabilities; * procedures for eliciting imprecise probabilities; * decision making with imprecise probabilities. KEYNOTE SPEAKERS: Fabio Cozman (São Paulo), James M. Joyce (Michigan), and Teddy Seidenfeld (CMU) ORGANIZERS: Thomas Augustin, Seamus Bradley, Marco Cattaneo, Stephan Hartmann, and Roland Poellinger -- Marco Cattaneo, Dr. sc. math. Department of Statistics, LMU Munich http://www.statistik.lmu.de/~cattaneo/

May 22, 2014

[SIPTA] AlCoB 2014: call for participation

by GRLMC

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 1st INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2014 Tarragona, Spain July 1-3, 2014 http://grammars.grlmc.com/alcob2014/ ********************************************************************* PROGRAM Tuesday, July 1: 9:15 - 10:15 Registration 10:15 - 10:25 Opening 10:25 - 11:15 Michael Galperin: Comparative Genomics Approaches to Identifying Functionally Related Genes – Invited Lecture 11:15 - 11:45 Coffee Break 11:45 - 13:00 Liana Amaya Moreno, Ozlem Defterli, Armin Fügenschuh, Gerhard-Wilhelm Weber: Vester's Sensitivity Model for Genetic Networks with Time-Discrete Dynamics Sebastian Wandelt, Ulf Leser: RRCA: Ultra-fast Multiple In-Species Genome Alignments David A. Rosenblueth, Stalin Muñoz, Miguel Carrillo, Eugenio Azpeitia: Inference of Boolean Networks from Gene Interaction Graphs using a SAT Solver 13:00 - 14:30 Lunch 14:30 - 15:45 Laurent Lemarchand, Reinhardt Euler, Congping Lin, Imogen Sparkes: Modeling the Geometry of the Endoplasmic Reticulum Network Sean Maxwell, Mark R. Chance, Mehmet Koyutürk: Efficiently Enumerating All Connected Induced Subgraphs of a Large Molecular Network Bogdan Iancu, Diana-Elena Gratie, Sepinoud Azimi, Ion Petre: On the Implementation of Quantitative Model Refinement 15:45 - 16:00 Break 16:00 - 16:50 Jason Papin: Network Analysis of Microbial Pathogens – Invited Lecture Wednesday, July 2: 9:00 - 9:50 Uwe Ohler: Decoding Non-coding Regulatory Regions in DNA and RNA (I) – Invited Tutorial 9:50 - 10:00 Break 10:00 - 11:15 Dimitris Polychronopoulos, Anastasia Krithara, Christoforos Nikolaou, Giorgos Paliouras, Yannis Almirantis, George Giannakopoulos: Analysis and Classification of Constrained DNA Elements with N-gram Graphs and Genomic Signatures Inken Wohlers, Mathilde Le Boudic-Jamin, Hristo Djidjev, Gunnar W. Klau, Rumen Andonov: Exact Protein Structure Classification Using the Maximum Contact Map Overlap Metric Tomohiko Ohtsuki, Naoki Nariai, Kaname Kojima, Takahiro Mimori, Yukuto Sato, Yosuke Kawai, Yumi Yamaguchi-Kabata, Testuo Shibuya, Masao Nagasaki: SVEM: A Structural Variant Estimation Method using Multi-Mapped Reads on Breakpoints 11:15 - 11:45 Coffee Break 11:45 - 13:00 Claire Lemaitre, Liviu Ciortuz, Pierre Peterlongo: Mapping-free and Assembly-free Discovery of Inversion Breakpoints from Raw NGS Reads Giuseppe Narzisi, Bud Mishra, Michael C. Schatz: On Algorithmic Complexity of Biomolecular Sequence Assembly Problem Ivo Hedtke, Ioana Lemnian, Matthias Müller-Hannemann, Ivo Grosse: On Optimal Read Trimming in Next Generation Sequencing and Its Complexity 13:00 - 14:30 Lunch 14:30 - 15:20 Annie Chateau, Rodolphe Giroudeau: Complexity and Polynomial-Time Approximation Algorithms around the Scaffolding Problem Ernst Althaus, Andreas Hildebrandt, Anna Katharina Hildebrandt: A Greedy Algorithm for Hierarchical Complete Linkage Clustering 15:30 Visit of the City Thursday, July 3: 9:00 - 9:50 Uwe Ohler: Decoding Non-coding Regulatory Regions in DNA and RNA (II) – Invited Tutorial 9:50 - 10:00 Break 10:00 - 11:15 Carla Negri Lintzmayer, Zanoni Dias: On Sorting of Signed Permutations by Prefix and Suffix Reversals and Transpositions Thiago da Silva Arruda, Ulisses Dias, Zanoni Dias: Heuristics for the Sorting by Length-Weighted Inversions Problem on Signed Permutations Alexander Grigoriev, Steven Kelk, Nela Lekić: On Low Treewidth Graphs and Supertrees 11:15 - 11:45 Coffee Break 11:45 - 13:00 Carla Negri Lintzmayer, Zanoni Dias: On the Diameter of Rearrangement Problems Amina Noor, Aitzaz Ahmad, Bilal Wajid, Erchin Serpedin, Mohamed Nounou, Hazem Nounou: A Closed-Form Solution for Transcription Factor Activity Estimation using Network Component Analysis Kaname Kojima, Naoki Nariai, Takahiro Mimori, Yumi Yamaguchi-Kabata, Yukuto Sato, Yosuke Kawai, Masao Nagasaki: HapMonster: A Statistically Unified Approach for Variant Calling and Haplotyping Based on Phase-Informative Reads 13:00 Closing

May 18, 2014

[SIPTA] WPMSIIP 2014 (8-12 Sept 2014, Ghent, Belgium) - Second announcement

by Jasper De Bock

May 16, 2014

[SIPTA] Fwd: High-Value PhD Studentships available in our Centre for Doctoral Training, Liverpool.

by ThomasAugustin

May 16, 2014

[SIPTA] PhD position at Compiègne University

by Sébastien Destercke

The DI (Decision and Image) team of the Heudiasyc (Heuristic and Diagnostic Methods for Complex Systems) laboratory recruits one PhD student funded by the French ministry of education. The thesis topic concern the optimal elicitation of information to model uncertainty, and the student work will be performed in close collaboration with experts the fields of learning and reasoning under uncertainty. Reliability analysis of railway systems will be a privileged field of application. The ideal candidate has a strong commitment to research and to the completion of the PhD program, has strong skills in mathematics or computer science, has good communication skills in English, good programming skills, and ability to work in a collaborative environment. For Further information, you can contact me (sebastien.destercke(a)hds.utc.fr) or go to https://www.hds.utc.fr/~sdesterc/. -- ==================================== Sebastien Destercke, Ph. D. CNRS researcher in computer science. Université de Technologie de Compiegne U.M.R. C.N.R.S. 7253 Heudiasyc Centre de recherches de Royallieu F-60205 Compiegne Cedex FRANCE Tel: +33 (0)3 44 23 79 85 Fax: +33 (0)3 44 23 44 77 ====================================

May 13, 2014

[SIPTA] Deadline approaching: ICTCS 2014 Call for papers

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. _______________________________________________

May 12, 2014