May 2014 - SIPTA News - lists.sipta.org

[SIPTA] SSTiC 2014: June 7, early registration deadline
by GRLMC May 31, 2014

May 31, 2014

*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/ ********************************************************************* --- Early registration deadline: June 7 --- ********************************************************************* 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 22 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 (Qatar Computing Research Institute, Doha), [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 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. DEADLINES AND 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: Early registration: June 7, 2014 --- 470 Euro Regular registration: July 5, 2014 --- 500 Euro On-site registration: July 11, 2014 --- 530 Euro 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: Universitat Rovira i Virgili

1 0

[SIPTA] next Reliable Engineering Computing conference
by Kreinovich May 31, 2014

May 31, 2014

Many thanks to the organizers of the 6th International Workshop on Reliable Engineering Computing REC'2014 (Chicago, May 25-28, 2014), http://rec2014.iit.edu. This series of conferences welcomes papers which uses different approaches to uncertainty, including imprecise probabilities, to solve engineering problems. The next 7th International Workshop on Reliable Engineering Computing REC'2016 will take place in Bohum, Ruhr, Germany, in Spring 2016.

1 0

[SIPTA] Deadline extension: ICTCS 2014 Call for papers
by Andrea Formisano May 26, 2014

May 26, 2014

[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 | *===================================================================*

1 0

Re: [SIPTA] FW: International Conference on Risk Analysis of MeteorologicalDisasters
by Kreinovich May 24, 2014

May 24, 2014

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

1 0

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

May 23, 2014

1 0

Re: [SIPTA] TES'2015 deadline extended
by Kreinovich May 22, 2014

May 22, 2014

1 0

[SIPTA] IPSP14: Call for Participation
by Marco Cattaneo May 22, 2014

May 22, 2014

**************************************************** 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/

1 0

[SIPTA] AlCoB 2014: call for participation
by GRLMC May 18, 2014

May 18, 2014

*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

1 0

[SIPTA] WPMSIIP 2014 (8-12 Sept 2014, Ghent, Belgium) - Second announcement
by Jasper De Bock May 16, 2014

May 16, 2014

1 0

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

May 16, 2014

1 0