From m.huisman at utwente.nl Mon Nov 2 16:39:36 2015 From: m.huisman at utwente.nl (m.huisman at utwente.nl) Date: Mon, 2 Nov 2015 15:39:36 +0000 Subject: [fg-arc] 2nd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Message-ID: [Apologies for multiple copies] ============================================================ CALL FOR PAPERS iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ ============================================================ === Important dates === Abstract submission: December 21, 2015 Paper submission: January 6, 2016 Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Submission guidelines === iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://www.easychair.org/account/signin.cgi?conf=ifm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in ComputerScience series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. === Invited speakers === Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) === Workshops === iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Wojciech Mostowski (Halmstad University, Sweden) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Fri Nov 6 20:37:58 2015 From: grlmc at grlmc.com (GRLMC) Date: Fri, 06 Nov 2015 20:37:58 +0100 Subject: [fg-arc] SLSP 2015: call for participation Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 3rd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2015 Budapest, Hungary November 24-26, 2015 Organised by: Laboratory of Speech Acoustics Department of Telecommunications and Telematics Budapest University of Technology and Economics http://alpha.tmit.bme.hu/speech/ Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2015/ ********************************************************************************** PROGRAM Tuesday, November 24 08:15 - 08:45 Registration 08:45 - 09:00 Opening 09:00 - 09:50 Xavier Carreras: Low-rank Matrix Learning for Compositional Objects, Strings and Trees - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Khan Baykaner, Mark Huckvale, Iya Whiteley, Oleg Ryumin and Svetlana Andreeva: The Prediction of Fatigue Using Speech as a Biosignal Tamás Gábor Csapó, Géza Németh and Milos Cernak: Residual-based Excitation with Continuous F0 Modeling in HMM-based Speech Synthesis Marc Evrard, Albert Rilliard and Christophe d'Alessandro: Evaluation of the Impact of Corpus Phonetic Alignment on the HMM-Based Speech Synthesis Quality 11:35 - 11:50 Break 11:50 - 12:40 Sahar Ghannay, Yannick Estève, Nathalie Camelin, Camille Dutrey, Fabian Santiago and Martine Adda-Decker: Combining Continuous Word Representation and Prosodic Features for ASR Error Prediction Mark Huckvale and Aimee Webb: A Comparison of Human and Machine Estimation of Speaker Age 12:40 - 14:10 Lunch 14:10 - 15:25 Luis Chiruzzo and Dina Wonsever: Supertagging for a Statistical HPSG Parser for Spanish Mathilde Dargnat, Katarina Bartkova and Denis Jouvet: Discourse Particles in French: Prosodic Parameters Extraction and Analysis Julia Efremova, Alejandro Montes García, Jianpeng Zhang and Toon Calders: Effects of Evolutionary Linguistics in Text Classification 15:25 - 15:40 Break 15:40 - 16:55 Fatemeh Ghiyafeh Davoodi and Yllias Chali: Semi-Extractive Multi-Document Summarization via Submodular Functions Pavel Král, Ladislav Lenc and Christophe Cerisara: Semantic Features for Dialogue Act Recognition André Mansikkaniemi and Mikko Kurimo: Unsupervised and User Feedback Based Lexicon Adaptation for Foreign Names and Acronyms Wednesday, November 25 09:00 - 09:50 Sebastian Riedel: Towards Two-way Interaction with Reading Machines - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Denis Jouvet and Katarina Bartkova: Acoustical Frame Rate and Pronunciation Variant Statistics Tatiana Kachkovskaia: The Influence of Boundary Depth on Phrase-final Lengthening in Russian Ferenc Kazinczi, Krisztina Mészáros and Klára Vicsi: Automatic Detection of Voice Disorders 11:35 - 11:50 Break and Group Photo 11:50 - 12:40 Rasa Lileikyte, Lori Lamel and Jean-Luc Gauvain: Conversational Telephone Speech Recognition for Lithuanian Erfan Loweimi, Mortaza Doulaty, Jon Barker and Thomas Hain: Long-term Statistical Feature Extraction from Speech Signal and its Application in Emotion Recognition 12:40 - 14:10 Lunch 14:10 - 15:25 Lorenzo Ferrone, Fabio Massimo Zanzotto and Xavier Carreras: Decoding Distributed Tree Structures Luiza Orosanu and Denis Jouvet: Combining Lexical and Prosodic Features for Automatic Detection of Sentence Modality in French Konstantinos Pechlivanis and Stasinos Konstantopoulos: Corpus Based Methods for Learning Models of Metaphor in Modern Greek 15:25 - 15:40 Break 15:40 - 16:30 Lina Maria Rojas-Barahona and Christophe Cerisara: Weakly Supervised Discriminative Training of Linear Models for Natural Language Processing Daniel Soutner and Ludek Müller: On Continuous Space Word Representations as Input of LSTM Language Model 16:30 - 18:30 Touristic visit Thursday, November 26 09:00 - 09:50 Steve Young: Open-domain Statistical Spoken Dialogue Systems - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Bogdan Ludusan, Antonio Origlia and Emmanuel Dupoux: Rhythm-Based Syllabic Stress Learning without Labelled Data Raheel Qader, Gwénolé Lecorvé, Damien Lolive and Pascale Sébillot: Probabilistic Speaker Pronunciation Adaptation for Spontaneous Speech Synthesis Using Linguistic Features Sarah Samson Juan, Laurent Besacier, Benjamin Lecouteux and Tien-Ping Tan: Merging of Native and Non-native Speech for Low-resource Accented ASR 11:35 - 11:50 Break 11:50 - 12:40 Jan Zelinka, Jan Vanek and Ludek Müller: Neural-Network-based Spectrum Processing for Speech Recognition and Speaker Verification Xiaoyi Wu, Yuji Matsumoto, Kevin Duh and Hiroyuki Shindo: An Improved Hierarchical Word Sequence Language Model Using Word Association 12:40 - 12:55 Closing -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sat Nov 7 17:22:07 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 07 Nov 2015 17:22:07 +0100 Subject: [fg-arc] BigDat 2016: early registration deadline 15 November Message-ID: <9fed6a0badbe949daf3974aa924c1b15@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************   2ND INTERNATIONAL WINTER SCHOOL ON BIG DATA   BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: DeustoTech, University of Deusto Rovira i VirgiliUniversity http://grammars.grlmc.com/bigdat2016/ ******************************************************** --- Early registration deadline: November 15, 2015 --- ******************************************************** AIM: BigDat 2016 will be a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. BigDat 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 2-3 courses will run in parallel 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: BigDat 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Nektarios Benekos (European Organization for Nuclear Research), Role of Computing and Software in Particle Physics Chih-Jen Lin (NationalTaiwanUniversity), When and When Not to Use Distributed Machine Learning Jeffrey Ullman (StanfordUniversity), Theory of MapReduce Algorithms Alexandre Vaniachine (Argonne National Laboratory), Big Data Technologies and Data Science Methods in the Higgs Boson Discovery PROFESSORS AND COURSES: Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Edward Y. Chang (HTC Health, Taipei), [introductory/intermediate] Big Data Analytics for Healthcare: Scalable Algorithms and Applications Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities Ernesto Damiani (University of Milan), [introductory/intermediate] Architectures, Models and Tools for Big-Data-as-a-Service Francisco Herrera (University of Granada), [introductory] Big Data Preprocessing George Karypis (University of Minnesota), [intermediate/advanced] Scaling Up Recommender Systems Chih-Jen Lin (NationalTaiwanUniversity), [introductory/intermediate] Large-scale Linear Classification Geoff McLachlan (University of Queensland), [intermediate/advanced] Big Data Extensions of Some Methods of Classification and Clustering Wladek Minor (University of Virginia), [introductory/intermediate] Big Data and Structural Biology and Chemistry Raymond Ng (University of British Columbia), [introductory/intermediate] Mining and Summarizing Text Conversations Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data Erhard Rahm (University of Leipzig), [introductory/intermediate] Scalable and Privacy-preserving Data Integration Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services Jaideep Srivastava (Qatar Computing Research Institute), [intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance Jeffrey Ullman (StanfordUniversity), [introductory] Big Data Algorithms that Aren't Machine Learning Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Big Data Analytics for Social Networks Fuli Yu (Baylor College of Medicine), [introductory/intermediate] Overview of Large-scale Genomics and Variant Analysis Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/intermediate] Large Scale Graph Analytics and Mining OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu (at) urv.cat by February 5, 2016. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Martín-Vide (co-chair) Iker Pastor López (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2016/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 and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Participants are expected to attend full-time. Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: University of Deusto Rovira i VirgiliUniversity -------------- next part -------------- An HTML attachment was scrubbed... URL: From S.S.T.Q.Jongmans at cwi.nl Sat Nov 7 23:30:58 2015 From: S.S.T.Q.Jongmans at cwi.nl (Sung-Shik Jongmans) Date: Sat, 7 Nov 2015 23:30:58 +0100 (CET) Subject: [fg-arc] CFP: Winter School on Formal Methods In-Reply-To: <1723735753.576333.1446932411864.JavaMail.zimbra@cwi.nl> References: <1668288463.574891.1446932082051.JavaMail.zimbra@cwi.nl> <1723735753.576333.1446932411864.JavaMail.zimbra@cwi.nl> Message-ID: <1284697843.584399.1446935458710.JavaMail.zimbra@cwi.nl> **************************************************************** CALL FOR PARTICIPATION The First IPM Advanced School on Computing: Formal Methods for Design and Analysis of Computer Systems Tehran, Iran, 11-15 January 2016 http://cs.ipm.ac.ir/asoc2016 PRECEDED BY The First IPM Formal Methods Day Tehran, Iran, 10 January, 2016 http://cs.ipm.ac.ir/fmd2016 **************************************************************** ABSTRACT: This advanced school brings together experts from different areas of formal methods to present state of the art in formal methods and logical reasoning techniques in design and analysis of computer systems. The school will cover topics from Model Checking, Process Algebra, Logic, Concurrency Theory and Quantum Computing. Our goal is to demonstrate the importance of foundations and its connection to the design and rigorous analysis of computer systems. The level of lectures will be suitable for graduate students, young researchers and also experts from other fields of computer science who intend to establish interdisciplinary links with formal methods. This event proceeds by the IPM Formal Methods Day (http://cs.ipm.ac.ir/fmd2016). PROGRAM: * Joseph Sifakis: "Model-Based System Design" EPFL & Verimag/CNRS [Turing Award winner of 2007] * Wan Fokkink: "The Spirit of Multicore Computing" VU University Amsterdam * Jan Rutten: "Concrete coalgebra: an introduction by examples" Radboud University Nijmegen/CWI * Farhad Arbab: "Engineering of Highly Concurrent Systems" Leiden University/CWI * Elham Kashefi: "Measurement Calculus" The University of Edinburgh For a detailed program and information about the lecturers, please visit: * http://cs.ipm.ac.ir/asoc2016/Programme.aspx * http://cs.ipm.ac.ir/asoc2016/InvitedLecturers.aspx ACCOMMODATION: Participants can stay at the IPM guest house for the duration of the school. The IPM guest house is conveniently located in the same building as the lectures. * Single room (including breakfast): 60 EUR/night * Double room (including breakfast): 80 EUR/night All participants who stay at the IPM guest house can be picked up, by someone from IPM who speaks English, from Imam Khomeini International Airport (IKA) upon their arrival, by taxi. The taxi fee to the IPM guest house is roughly 40 EUR. Similarly, all participants can be dropped off at IKA after the school. FEE: * Regular: 400 EUR * Students: 200 EUR REGISTRATION: * http://cs.ipm.ac.ir/asoc2016/Registration.aspx * Registration deadline: 20 December, 2015. * The participation in the school is subject to success in the selection process of the IPM School of Computer Science, based on academic merits of the applicants. All selected applicants will be notified via email by 25 December. ORGANIZERS: * Farhad Arbab, Leiden University/CWI * Ebrahim Ardeshir-Larijani, IPM CONTACT: * E-mail: asc at ipm.ir * Phone: +98 21 24509404 * Fax: +98 21 22825454 * Address: IPM School of Computer Science Farmanieh Campus, No. 70, Lavasani Av. (next to Kouhe Nour Building) Tehran, Iran -------------- next part -------------- A non-text attachment was scrubbed... Name: poster.jpg Type: image/jpeg Size: 2271084 bytes Desc: not available URL: From grlmc at grlmc.com Sat Nov 21 08:20:43 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 21 Nov 2015 08:20:43 +0100 Subject: [fg-arc] TPNC 2015: call for participation Message-ID: <09d9a13d20914308fe92cfe7a4394c8b@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 4th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2015 Mieres, Spain December 15-16, 2015 Organised by: European Centre for Soft Computing Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/tpnc2015/ ********************************************************************************** PROGRAM Tuesday, December 15 08:15 - 08:45 Registration 08:45 - 09:00 Opening 09:00 - 09:50 A.E. Eiben: EvoSphere: the World of Robot Evolution - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Oualid Chenni, Yanis Bouda, Hamid Benachour and Chahnez Zakaria: A Content-based Recommendation Approach Using Semantic User Profile in E-recruitment Luca Mariot and Alberto Leporati: A Genetic Algorithm for Evolving Plateaued Cryptographic Boolean Functions Muhammad Marwan Muhammad Fuad: Hierarchical Clustering of DNA Microarray Data Using a Hybrid of Bacterial Foraging and Differential Evolution 11:35 - 11:50 Break and Group Photo 11:50 - 13:05 Abtin Nourmohammadzadeh and Sven Hartmann: Fault Classification of a Centrifugal Pump in Normal and Noisy Environment with Artificial Neural Network and Support Vector Machine Enhanced by a Genetic Algorithm Stjepan Picek, Sylvain Guilley, Claude Carlet, Domagoj Jakobovic and Julian Miller: Evolutionary Approach for Finding Correlation Immune Boolean Functions of Order t with Minimal Hamming Weight Gracian Trivino and Daniel Sanchez-Valdes: Generation of Linguistic Advices for Saving Energy: Architecture 13:05 - 14:35 Lunch 14:35 - 15:25 John A. Smolin: Theory and Practice of Quantum Computing - Invited Lecture 15:25 - 15:40 Break 15:40 - 16:40 Poster Session Silvio Capobianco, Jarkko Kari and Siamak Taati: Some Notes about Reversibility in Cellular Automata Dariusz Kalocinski, Nina Gierasimczuk and Marcin Mostowski: Learning semantics by coordination Gábor Prószéky and Balázs Indig: Natural parsing: a psycholinguistically motivated computational language processing model Luis M. San-Jose-Revuelta: Improved GPS Satellites Selection Using a Tabu Search Optimization Algorithm Antoni Sobkowicz and Wojciech Stokowiec: You think this is funny? - Detecting sentiment and humor in Steam reviews using nature inspired methods Didier Verna: Software Systems and Unicellular Life: Puzzling Analogies Wednesday, December 16 09:00 - 09:50 Guy Theraulaz: Stigmergic Interactions and 3D Nest Construction in Ant Colonies - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Ilana Agmon and Tal Mor: A Model for the Emergence of Coded Life Akihiro Nishimura, Takuya Nishida, Yu-Ichi Hayashi, Takaaki Mizuki and Hideaki Sone: Five-card Secure Computations Using Unequal Division Shuffle Tomoyuki Yamakami: Straight Construction of Non-interactive Quantum Bit Commitment Schemes from Indistinguishable Quantum State Ensembles 11:35 - 11:50 Break 11:50 - 13:05 Pablo Arrighi and Gilles Dowek: Discrete Geodesics and Cellular Automata Mohammad Ali Javaheri Javid, Robert Zimmer, Anna Ursyn and Mohammad Majid al-Rifaie: A Quantitative Approach for Detecting Symmetries and Complexity in 2D Plane Hiroshi Umeo, Keisuke Imai and Akihiro Sousa: A Generalized Minimum-time Minimum-state-change FSSP Algorithm 13:05 - 13:20 Closing -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Thu Nov 26 04:50:10 2015 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (349F)) Date: Thu, 26 Nov 2015 03:50:10 +0000 Subject: [fg-arc] [fm-announcements] NFM 2016 - first call for papers Message-ID: NFM 2016 - Call For Papers The 8th NASA Formal Methods Symposium ------------------------------------- http://crisys.cs.umn.edu/nfm2016 June 07 - June 09 2016 McNamara Alumni Center University of Minnesota 200 Oak Street S.E., Minneapolis, MN 55455 Theme of the Symposium ---------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. New developments and emerging applications like autonomous on-board software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for spacecraft ranging from small and inexpensive CubeSat systems to manned spacecraft like Orion, as well as for ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. Topics of interest include but are not limited to ------------------------------------------------- * Model checking * Theorem proving * SAT and SMT solving * Symbolic execution * Static analysis * Model-based development * Runtime verification * Software and system testing * Safety assurance * Fault tolerance * Compositional verification * Security and intrusion detection * Design for verification and correct-by-design techniques * Techniques for scaling formal methods * Applications of formal methods in the development of: * autonomous systems * safety-critical artificial intelligence systems * cyber-physical, embedded, and hybrid systems * fault-detection, diagnostics, and prognostics systems * Use of formal methods in: * assurance cases * human-machine interaction analysis * requirements generation, specification, and validation * automated testing and verification Important Dates --------------- - Paper Submission: 2/19/2016 - Paper Notifications: 4/8/2016 - Camera-ready Papers: 4/27/2016 - Symposium: 6/7 - 6/9/2016 Location -------- The symposium will take place at McNamara Alumni Center, University of Minnesota. Registration is required but is free of charge. Submission Details ------------------ There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages) 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages) All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by at least three members of the Program Committee. Papers will appear in a volume of Springer's Lecture Notes in Computer Science (LNCS), and must use LNCS style formatting. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2016 Authors of selected best papers may be invited to submit an extended version to a special issue of the Journal of Automated Reasoning (Springer). Organizing Committee -------------------- - Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) - Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair) - Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair) - Sanjai Rayadurgam, University of Minnesota, USA (PC Chair) - Mike Whalen, University of Minnesota, USA (Financial Chair) - Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair) Program Committee ----------------- - Julia Badger, NASA Johnson Space Center, USA - Clark Barrett, New York University, USA - Saddek Bensalem, Verimag and University Joseph Fourier, France - Dirk Beyer, University of Passau, Germany - Borzoo Bonakdarpour, McMaster University, Canada - Alessandro Cimatti, FBK, Italy - Darren Cofer, Rockwell Collins, Inc., USA - Myra Cohen, University of Nebraska-Lincoln, USA - Misty Davies, NASA Ames Research Center, USA - Leonardo de Moura, Microsoft, USA - Ben Di Vito, NASA Langley Research Center, USA - Alexandre Duret-Lutz, LRDE / EPITA, France - Andrew Gacek, Rockwell Collins, Inc., USA - Pierre-Loic Garoche, ONERA, France - Shalini Ghosh, SRI International, USA - Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France - Radu Grosu, Stony Brook University, USA - Arie Gurfinkel,SEI, Carnegie Mellon University, USA - Klaus Havelund, NASA Jet Propulsion Laboratory, USA - Constance Heitmeyer, Naval Research Laboratory, USA - Gerard Holzmann, NASA Jet Propulsion Laboratory, USA - Falk Howar, TU Clausthal / IPSSE, Germany - Rajeev Joshi, NASA Jet Propulsion Laboratory, USA - Dejan Jovanović, SRI International, USA - Gerwin Klein, NICTA and University of New South Wales, Australia - Daniel Kroening, University of Oxford, UK - Rahul Kumar, NASA Jet Propulsion Laboratory, USA - Célia Martinie, ICS-IRIT, Université Paul Sabatier, France - Eric Mercer, Brigham Young University, USA - Cesar Munoz, NASA Langley Research Center, USA - Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA - Natasha Neogi, NASA Langley Research Center, USA - Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA - Charles Pecheur, Université catholique de Louvain, Belgium - Lee Pike, Galois, Inc., USA - Andreas Podelski, University of Freiburg, Germany - Pavithra Prabhakar, Kansas State University, USA - Venkatesh Prasad Ranganath, Kansas State University, USA - Franco Raimondi, Middlesex University, UK - Kristin Yvonne Rozier, University of Cincinnati, USA - Neha Rungta, SGT, Inc./NASA Ames Research Center, USA - Oleg Sokolsky, University of Pennsylvania, USA - Stefano Tonetta, FBK, Italy - Helmut Veith, Vienna University of Technology, Austria - Willem Visser, Stellenbosch University, South Africa - Virginie Wiels, ONERA / DTIM, France - Guowei Yang, Texas State University, USA Steering Committee ------------------ - Julia Badger, NASA Johnson Space Center, USA - Ben Di Vito, NASA Langley Research Center, USA - Klaus Havelund, NASA Jet Propulsion Laboratory, USA - Gerard Holzmann, NASA Jet Propulsion Laboratory, USA - Michael Lowry, NASA Ames Research Center, USA - Kristin Yvonne Rozier, University of Cincinnati, USA - Johann Schumann, SGT, Inc./NASA Ames Research Center, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From grlmc at grlmc.com Sat Nov 28 20:18:45 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 28 Nov 2015 20:18:45 +0100 Subject: [fg-arc] BigDat 2016: early registration deadline 12 December Message-ID: <6267ffa8c42cc4ffe3ec0075cafbe168@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************   2ND INTERNATIONAL WINTER SCHOOL ON BIG DATA   BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: DeustoTech, University of Deusto Rovira i VirgiliUniversity http://grammars.grlmc.com/bigdat2016/ ******************************************************** --- Early registration deadline: December 12, 2015 --- ******************************************************** AIM: BigDat 2016 will be a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. BigDat 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 2-3 courses will run in parallel 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: BigDat 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Nektarios Benekos (European Organization for Nuclear Research), Role of Computing and Software in Particle Physics Chih-Jen Lin (NationalTaiwanUniversity), When and When Not to Use Distributed Machine Learning Jeffrey Ullman (StanfordUniversity), Theory of MapReduce Algorithms Alexandre Vaniachine (Argonne National Laboratory), Big Data Technologies and Data Science Methods in the Higgs Boson Discovery PROFESSORS AND COURSES: Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Edward Y. Chang (HTC Health, Taipei), [introductory/intermediate] Big Data Analytics for Healthcare: Scalable Algorithms and Applications Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities Ernesto Damiani (University of Milan), [introductory/intermediate] Architectures, Models and Tools for Big-Data-as-a-Service Francisco Herrera (University of Granada), [introductory] Big Data Preprocessing George Karypis (University of Minnesota), [intermediate/advanced] Scaling Up Recommender Systems Chih-Jen Lin (NationalTaiwanUniversity), [introductory/intermediate] Large-scale Linear Classification Geoff McLachlan (University of Queensland), [intermediate/advanced] Big Data Extensions of Some Methods of Classification and Clustering Wladek Minor (University of Virginia), [introductory/intermediate] Big Data in Biomedical Sciences Raymond Ng (University of British Columbia), [introductory/intermediate] Mining and Summarizing Text Conversations Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data Erhard Rahm (University of Leipzig), [introductory/intermediate] Scalable and Privacy-preserving Data Integration Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services Jaideep Srivastava (Qatar Computing Research Institute), [intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance Jeffrey Ullman (StanfordUniversity), [introductory] Big Data Algorithms that Aren't Machine Learning Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Big Data Analytics for Social Networks Fuli Yu (Baylor College of Medicine), [introductory/intermediate] Overview of Large-scale Genomics and Variant Analysis Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/intermediate] Large Scale Graph Analytics and Mining OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu (at) urv.cat by February 5, 2016. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Martín-Vide (co-chair) Iker Pastor López (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2016/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 and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Participants are expected to attend full-time. Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: University of Deusto Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: