From sren at cis.fiu.edu Mon Dec 1 06:43:17 2014 From: sren at cis.fiu.edu (Shaolei Ren) Date: Mon, 1 Dec 2014 00:43:17 -0500 Subject: [fg-arc] ICAC 2015, Call for Papers Message-ID: [Sorry for multiple postings.] =========================================== ICAC 2015 Call for Papers *http://icac2015.imag.fr * *12th International Conference on Autonomic Computing (ICAC 2015)* Grenoble, France, July 7-10, 2015 In cooperation with USENIX and SPEC Corporate supporters: Google, HP Labs, Orange Labs _________________________________________________________________ IMPORTANT DATES Abstract Submission: January 15, 2015 Paper Submission: January 22, 2015 Author Notification: April 10, 2015 Final Manuscript: May 1, 2015 ___________________________________________________________________ SCOPE AND TOPICS ICAC is the leading conference on autonomic computing techniques, foundations, and applications. Large-scale systems of all types, such as data centers, compute clouds, smart cities, cyber-physical systems, sensor networks, and embedded or pervasive environments, are becoming increasingly complex and burdensome for people to manage. Achieving self-management requires and motivates research that spans a wide variety of scientific and engineering disciplines, including distributed systems, artificial intelligence, machine learning, modeling, control theory, optimization, planning, decision theory, user interface design, data management, software engineering, emergent behavior analysis, and bio-inspired computing. Topics of interest include, but are not limited to: * Self-managing components, such as compute, storage, networking devices, embedded and real time systems, and mobile devices. * AI and mathematical techniques, such as machine learning, control theory, operations research, probability and stochastic processes, queueing theory, rule-based systems, bio-inspired techniques. * End-to-end design and implementation of systems for management of resources, workloads, scalability, availability, performance, reliability, power/cooling, and security. * Monitoring components and platforms for autonomic systems in IT or cyber-physical environments. * Hypervisors, operating systems, middleware, and application support for autonomic computing. * Novel human interfaces for monitoring and controlling autonomic systems. * Goal specification and policies, IT governance, and business-driven IT management. * Frameworks, architectures, toolkits (from software engineering practices and to agent-based techniques). * Automated management techniques for emerging applications, systems, and platforms, including social networks, cloud computing, big data systems, multi-core servers, smart cities, and cyber-physical systems. * Fundamental science and theory of self-managing systems * Self-organization and emergent behavior in technical systems trustworthy self-organizing systems. * Infrastructures and architectures for organic computing systems. * Online self-integration of complex systems. * Applications of autonomic computing and experiences with prototyped or deployed systems solving real-world problems in science, engineering, business, or society. Paper Submission All papers must represent original and unpublished work that is not currently under review. Papers will be judged on originality, significance, interest, correctness, clarity, and relevance to the broader community. Papers are strongly encouraged to report on experiences, measurements, user studies, and provide an appropriate quantitative evaluation if at all possible. At least one author of each accepted paper is expected to attend the conference. Papers can be submitted in one of the following three categories with different acceptance criteria for each category: * Full research papers limited to 10 pages (double column) * Experience papers limited to 8 pages (double column) * Short papers limited to 6 pages (double column) Papers must be submitted electronically in PDF format through the ICAC 2015 submission site: EasyChair https://easychair.org/conferences/?conf=icac2015 See conference website for format instructions. ORGANIZATION General Chairs * Philippe Lalanda, University of Grenoble, France * Ada Diaconescu, Telecom ParisTech, France Program Committee Co-Chairs * Lucy Cherkasova, HP Labs, USA * Samuel Kounev, University of Wuerzburg, Germany Workshop Chair * Eric Rutten, INRIA Grenoble Rhone-Alpes, France Publicity Co-Chairs * Ningfang Mi, Northeastern University, USA * David Carrera, UPC-BarcelonaTech & Barcelona Supercomputing Center, Spain * Shaolei Ren, Florida International University, USA * Jorge Villalobos, Universidad de Los Andes, Colombia Finance Chair * Vincent Lestideau, University of Grenoble, France Proceedings Chair * Sonia Ben Mokhtar, INSA de Lyon, France Poster Chair * Marin Litoiu, York University, Canada Local Arrangements Chair * Stephanie Chollet, Grenoble INP, France Web Chair * Vincent Lestideau, University of Grenoble, France Program Committee * Tarek Abdelzaher, University of Illinois at Urbana-Champaign, USA * Artur Andrzejak, Heidelberg University, Germany * Danilo Ardagna, Politecnico di Milano, Italy * Novella Bartolini, University of Rome "Sapienza?, Italy * Christian Becker, University of Mannheim, Germany * Kirstie Bellman, The Aerospace Corporation, USA * Sonia Ben Mokhtar, LIRIS-CNRS, France * Andre Bottaro, Orange Labs, France * Giacomo Cabri, Universita di Modena e Reggio Emilia, Italy * David Carrera, UPC - BarcelonaTech and BSC, Spain * Giuliano Casale, Imperial College London, UK * Claris Castillo, Renaissance Computing Institute, USA * Lydia Chen, IBM Zurich, Switzerland * Yuxin Diao, IBM Research, USA * Elisabetta Di Nitto, Politecnico di Milano, Italy * Jose Fortes, University of Florida, USA * Daniel Gmach, HP Labs, USA * Rean Griffith, VMware, USA * Ashvin Goel, University of Toronto, Canada * Xiaohui Gu, North Carolina State University, USA * Indranil Gupta, UIUC, USA * Yuxiong He, Microsoft Research, USA * Alexandru Iosup, Delft University of Technology, The Netherlands * Vana Kalogeraki, Athens University of Economics and Business, Greece * Evangelia Kalyvianaki, City University London, UK * Fabio Kon, University of Sao Paulo, Brasil * Michael Kozuch, Intel, USA * Jayaram K.R., IBM Research, USA * Diwakar Krishnamurthy, University of Calgary, Canada * Marin Litoiu, York University, Canada * Julie McCann, Imperial College London, UK * Arif Merchant, Google, USA * Ningfang Mi, Northeastern University, USA * Dejan Milojicic, HP Labs, USA * Christian Mueller-Schloer, Leibniz Universitaet Hannover, Germany * Calton Pu, Georgia Institute of Technology, USA * Christian Plessl, University of Paderborn, Germany * Shaolei Ren, Florida International University, USA * Eric Rutten, INRIA, France * Kai Sachs, SAP, Germany * Hartmut Schmeck, Karlsruhe Institute of Technology, Germany * Onn Shehory, IBM Research Haifa, Israel * Karsten Schwan, Georgia Institute of Technology, USA * Evgenia Smirni, College of William and Mary, USA * Christopher Stewart, Ohio State University, USA * Vanish Talwar, HP Labs, USA * Sven Tomforde, University of Augsburg, Germany * Jordi Torres, Barcelona Supercomputing Center, Spain * Jim Torresen, University of Oslo, Norway * Timothy Wood, George Washington University, USA * Rolf Wuertz, Ruhr-Universitaet Bochum, Germany * Dongyan Xu, Purdue University, USA * Xin Yao, University of Birmingham, UK * Ming Zhao, Florida International University, USA * Xiaobo Zhou, University of Colorado, USA * Xiaoyun Zhu, VMware, USA -- ------------------------------------------------------------------------- Shaolei Ren Assistant Professor School of Computing and Information Sciences Florida International University Miami, FL 33199, United States E-mail: sren at cs.fiu.edu Phone: (305) 348-2032 Homepage: http://www.cs.fiu.edu/~sren/ ------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From msteffen at ifi.uio.no Tue Dec 2 10:43:19 2014 From: msteffen at ifi.uio.no (Martin Steffen) Date: Tue, 02 Dec 2014 10:43:19 +0100 Subject: [fg-arc] 20th Intl. Symposium on Formal Methods (FM 2015), Oslo. 2nd CFP Message-ID: <20141202094319.EB8A91928@nittedal.ifi.uio.no> --------------------------=== FM 2015 ===---------------------------- 20th International Symposium on Formal Methods Oslo, Norway, June 22-26, 2015 http://fm2015.ifi.uio.no/ Call for Papers --------------------------------------------------------------------- NEWS: There will be special issues of the Journals - Acta Informatica and - Formal Aspects of Computing featuring selected papers from FM 2015. --------------------------------------------------------------------- IMPORTANT DATES: Jan 2 Abstract submission deadline Jan 9 Full paper submission deadline March 23 Notification June 22-26 Conference ------------------------------------------------------------------------- CALL FOR PAPERS FM 2015 is the twentieth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. The FM symposia welcome original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. SCOPE AND TOPICS FM 2015 will have the goal of highlighting the development and application of formal methods. This includes uses of formal methods in a variety of disciplines such as medicine, biology, human cognitive modeling, human automation interactions and aeronautics, among others. FM 2015 particularly welcomes papers on techniques, tools and experiences in interdisciplinary frameworks, as well as on experience with practical applications of formal methods in industrial and research settings, empirical and experimental validation of tools and methods as well as construction and evolution of formal methods tools. The broad topics of interest for FM 2015 include but are not limited to: Interdisciplinary formal methods: techniques, tools and experiences demonstrating formal methods in interdisciplinary frameworks. Formal methods in practice: industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome problems, lead to improvements in design or provided new insights. Tools for formal methods: advances in automated verification and model-checking, integration of tools, environments for formal methods, experimental validation of tools. Authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. Role of formal methods in software and systems engineering: development processes with formal methods, usage guidelines for formal methods, method integration. Authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. Theoretical foundations: all aspects of theory related to specification, verification, refinement, and static and dynamic analysis. Authors are encouraged to explain how their results contribute to the solution of practical problems with methods or tools. CONFIRMED KEYNOTE SPEAKERS Elvira Albert, Complutense University of Madrid, Spain Werner Damm, Carl von Ossietzky Universitaet Oldenburg, DE Valerie Issarny, INRIA, France Leslie Lamport, Microsoft Research, US PAPER SUBMISSION Papers will be evaluated by at least three members of the Programme Committee. They should be in Springer LNCS format and describe, in English, original work that has not been published or submitted elsewhere. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case study papers should describe significant case studies and the complete development should be made available at the time of review. In other words, the usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but can focus more on its features, and how it is used, evaluation, with screen shots and examples. Authors of tool papers should make their tool available for use by reviewers. Papers should be submitted through the FM 2015 EasyChair web site: http://www.easychair.org/conferences/?conf=fm2015. We solicit two categories of papers: Regular Papers should not exceed 15 pages in LNCS format, not counting references. Short papers, including tool papers, should not exceed 6 pages, not counting references. Besides tool papers, short papers are encouraged for any subject that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not guaranteed to be read or taken into account by the reviewers and it should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted, there will be no "demotions" from a regular to a short paper. BEST PAPER AWARD FM 2015 will as a new feature have a best paper award. A best paper will be selected among accepted papers, and the award will be presented at the conference. PUBLICATION Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. GENERAL CHAIR Einar Broch Johnsen, University of Oslo, NO PC CHAIRS Nikolaj Bjorner, Microsoft Research, US Frank S. de Boer, CWI, NL PROGRAM COMMITTEE Erika Abraham, RWTH Aachen University Bernhard K. Aichernig, TU Graz Gilles Barthe, IMDEA Software Institute Nikolaj Bjorner, Microsoft Research Marcello Bonsangue, Leiden University Michael Butler, University of Southampton Andrew Butterfield, Trinity College Dublin Ana Cavalcanti, University of York David Clark, University College London Frank S. de Boer, CWI Jin Song Dong, National University of Singapore Michael Emmi, IMDEA Software Institute John Fitzgerald, Newcastle University Nate Foster, Cornell University Vijay Ganesh, University of Waterloo Diego Garbervetsky, Dep. de Computacion. U. de Buenos Aires Dimitra Giannakopoulou, NASA Ames Research Center Stefania Gnesi, ISTI-CNR Ganesh Gopalakrishnan, University of Utah Orna Grumberg, Technion, Israel Institute of Technology Arie Gurfinkel, Carnegie Mellon University Reiner Haehnle, Technical University of Darmstadt Klaus Havelund, NASA Jet Propulsion Laboratory Anne E. Haxthausen, Technical University of Denmark Ian J. Hayes, University of Queensland Gerard Holzmann, NASA Jet Propulsion Laboratory Daniel Jackson, MIT Cliff Jones, Newcastle University Gerwin Klein, NICTA and UNSW Laura Kovacs, Chalmers University of Technology Marta Kwiatkowska, University of Oxford Peter Gorm Larsen, Aarhus University Yves Ledru, Lab. d'Informatique de Grenoble, U. Joseph Fourier Rustan Leino, Microsoft Research Martin Leucker, University of Luebeck Shaoying Liu, Hosei University Tom Maibaum, McMaster University Dominique Mery, Universite de Lorraine, LORIA Peter Mueller, ETH Zuerich Cesar Munoz, National Aeronautics and Space Administration David Naumann, Stevens Institute of Technology Tobias Nipkow, TU Muenchen Jose Oliveira, Universidade do Minho Olaf Owe, University of Oslo Sam Owre, SRI International Andrei Paskevich, Universite Paris-Sud 11, IUT d'Orsay Grigore Rosu, University of Illinois at Urbana-Champaign Kristin Yvonne Rozier, NASA Ames Research Center Sanjit A. Seshia, UC Berkeley Natasha Sharygina, Universita' della Svizzera Italiana Viorica Sofronie-Stokkermans, Max-Planck Institute for Informatics Jun Sun, Singapore University of Technology and Design Kenji Taguchi, AIST Margus Veanes, Microsoft Research Ji Wang, National Lab. for Parallel and Distributed Processing Alan Wassyng, McMaster University Heike Wehrheim, University of Paderborn Michael Whalen, University of Minnesota Jim Woodcock, University of York Gianluigi Zavattaro, University of Bologna Pamela Zave, AT&T PUBLICITY CHAIR Martin Steffen, University of Oslo, Norway From grlmc at urv.cat Sun Dec 7 17:38:35 2014 From: grlmc at urv.cat (GRLMC) Date: Sun, 7 Dec 2014 17:38:35 +0100 Subject: [fg-arc] InfoSec 2015: 1st announcement Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************** INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY InfoSec 2015 Tarragona, Spain July 6-10, 2015 Organized by Rovira i Virgili University http://grammars.grlmc.com/InfoSec2015/ ********************************************************************** --- Early registration deadline: January 3, 2015 --- ********************************************************************** AIM: InfoSec 2015 will be a major 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 information security, which covers a large spectrum of current exciting academic research and industrial innovation. It refers to procedures to defend information from unauthorized access, use, modification, recording or destruction, with a critical role to play in order to avoid or minimize risks in the digital world. Renowned academics and industry pioneers will lecture and share their views with the audience. Most information security subareas will be displayed, namely: computer security, cryptography, privacy, cyber security, mobile security, network security, world wide web security, fraud prevention, data protection, etc. Main challenges of information security will be identified through 5 keynote lectures and 24 six-hour courses, which will tackle the most active and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. 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 background knowledge may be required for some of them. InfoSec 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 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: InfoSec 2015 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 (to be completed): Jennifer Seberry (University of Wollongong), The Global Village: the Beginning of the Need for Computer Security [via videoconference] PROFESSORS AND COURSES (to be completed): N. Asokan (Aalto University), [intermediate] Mobile Security: Overview of Hardware Platform Security and Considerations of Usability Jan Camenisch (IBM Research, Zurich), [introductory/intermediate] Privacy in a Digital World Hao Chen (University of California, Davis), [intermediate/advanced] Security of the Mobile App Ecosystem Joan Daemen (ST Microelectronics Belgium, Diegem), [introductory/intermediate] Sponge Functions, Keccak and SHA-3 Sajal K. Das (Missouri University of Science and Technology, Rolla), [intermediate/advanced] Securing Cyber-Physical Systems: Challenges and Opportunities David Evans (University of Virginia, Charlottesville), [introductory/intermediate] Secure Multiparty Computation: Techniques, Theory, and Tools for Building Privacy-Preserving Applications Markus Jakobsson (Qualcomm, Santa Clara), [introductory/intermediate] Frontiers in Fraud Prevention Somesh Jha (University of Wisconsin, Madison), [intermediate/advanced] Analysis Techniques in Information Security Songwu Lu (University of California, Los Angeles), [introductory/intermediate] Cellular Network Security: Issues and Defenses Catherine Meadows (Naval Research Laboratory, Washington DC), [introductory/intermediate] Formal Analysis of Cryptographic Protocols Nasir Memon (New York University), [introductory/intermediate] User Authentication Stefano Paraboschi (University of Bergamo), [introductory/intermediate] Data Protection in Network-enabled Systems Bart Preneel (KU Leuven), [introductory/intermediate] Cryptology: State of the Art and Research Challenges Jean-Jacques Quisquater (Catholic University of Louvain), [introductory/intermediate] The History of RSA: from Babylon to Smart Cards Stefan Saroiu (Microsoft Research, Redmond), [advanced] Dealing with Loss: Protecting Data on a Lost Mobile Device Milind Tambe (University of Southern California, Los Angeles), [introductory/intermediate] Introduction to the Emerging Science of Security Games Gene Tsudik (University of California, Irvine), [intermediate/advanced] Security and Privacy in Candidate Future Internet Architectures Yang Xiao (University of Alabama, Tuscaloosa), [introductory/advanced] Security in Smart Grids Wenyuan Xu (University of South Carolina, Columbia), [intermediate] Security and Privacy Analysis of Embedded Systems Yuliang Zheng (University of North Carolina, Charlotte), [introductory] Cryptography and the Future of Money ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Mart?n-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/InfoSec2015/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: Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be provided in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: InfoSec 2015 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 --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From moreno.falaschi at unisi.it Sat Dec 6 11:00:11 2014 From: moreno.falaschi at unisi.it (FALASCHI MORENO) Date: Sat, 06 Dec 2014 11:00:11 +0100 Subject: [fg-arc] PPDP 2015 Call for papers -- 17th International Symposium on Principles and Practice of Declarative Programming -- Siena, Italy Message-ID: <4272e69d36e6f37f79f3cc26293fd32d@imap.unisi.it> Call for papers 17th International Symposium on Principles and Practice of Declarative Programming PPDP 2015 Special Issue of Science of Computer Programming (SCP) Siena, Italy, July 14-16, 2015 (co-located with LOPSTR 2015) http://costa.ls.fi.upm.es/ppdp15 ====================================================================== SUBMISSION DEADLINE: 20 MARCH, 2015 PPDP 2015 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modeling in a declarative language and modeling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015). The conference will be held in Siena, Italy. Previous symposia were held at Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2016. Important Dates Abstract Submission: 14 March, 2015 Paper submission: 20 March, 2015 Notification: 14 May, 2015 Camera-ready: To be announced Symposium: 14-16 July, 2015 Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2015. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist the program committee in selecting appropriate reviewers for the paper. Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. Program Committee Michael Adams, University of Utah, USA Puri Arenas, Complutense University of Madrid, Spain Amir Ben-Amram, Tel-Aviv Academic College, Israel Ines Castro, Universidade do Porto, Portugal Patrick Cousot, New York University, USA Gregory Duck, National University of Singapore, Singapore Fabio Fioravanti, University of Chieti-Pescara, Italy Thom Fr?hwirth, University of Ulm, Germany Roberto Giacobazzi, University of Verona, Italy Michael Hanus, CAU Kiel, Germany Andy King, University of Kent, UK F. L?pez-Fraguas, Complutense University of Madrid, Spain Ian Mackie, University of Sussex, UK Dale Miller, INRIA and LIX/Ecole Polytechnique, France Torsten Schaub, University of Potsdam, Germany Tom Schrijvers KU Leuven, Belgium Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France German Vidal, Universitat Politecnica de Valencia, Spain Marina Vos, University of Bath, UK Nobuko Yoshida, Imperial College London, UK Program Chair Elvira Albert Complutense University of Madrid C/ Profesor Garcia Santesmases E-28040 Madrid, Spain Email: elvira at sip.ucm.es Symposium Chair Moreno Falaschi Department of information engineering and mathematics University of Siena, Italy Email: moreno.falaschi at unisi.it From moreno.falaschi at unisi.it Sat Dec 6 10:23:20 2014 From: moreno.falaschi at unisi.it (FALASCHI MORENO) Date: Sat, 06 Dec 2014 10:23:20 +0100 Subject: [fg-arc] First call for papers LOPSTR 2015 -- 25th International Symposium on Logic-Based Program Synthesis and Transformation -- Siena, Italy Message-ID: <74401bd6b05bde546332b5608f33df27@imap.unisi.it> 25th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2015 http://alpha.diism.unisi.it/lopstr15/ University of Siena, Siena, IT, July 13-15, 2015 DEADLINES Abstract submission: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015) will be held at the University of Siena, Siena, Italy; previous symposia were held in Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2015 will be co-located with PPDP 2015 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 Notification: May 25, 2015 Camera-ready (for electronic pre-proceedings): June 15, 2015 Symposium: July 13-15, 2015 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2015, which you can access through the website of LOPSTR 2015. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (to be confirmed). Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Special journal issue After the symposium, a selection of the best papers will be invited to a special issue of a primary computer science journal. The submissions to the special issue must be substantial extensions of the proceedings versions and will undergo the usual journal reviewing process. Program Committee Slim Abdennadher German University of Cairo, Egypt Maria Alpuente Universitat Politecnica de Valencia, Spain Demis Ballis University of Udine, Italy Olaf Chitil University of Kent, UK Michael Codish Ben-Gurion University, Israel Moreno Falaschi University of Siena, Italy (Program Chair) Jerome Feret INRIA and ENS, France Maurizio Gabbrielli University of Bologna, Italy Jurgen Giesl RWTH Aachen University, Germany Miguel Gomez-Zamalloa Complutense University of Madrid, Spain Arnaud Gotlieb SIMULA Research Laboratory, Norway Gopal Gupta University of Texas at Dallas, USA Manuel Hermenegildo IMDEA, Spain Viktor Kuncak EPFL Lausanne, Switzerland Alexei Lisitsa University of Liverpool, UK Narciso Marti-Oliet Universidad Complutense de Madrid, Spain Jorge Navas NASA, USA Kazuhiro Ogata JAIST, Japan Carlos Olarte ECT, Universidade Federal do Rio Grande do Norte, Brasil Catuscia Palamidessi INRIA and Ecole Polytechnique, France Maurizio Proietti IASI-CNR, Italy Albert Rubio Universitat Politecnica de Catalunya, Barcelona, Spain Wim Vanhoof University of Namur, Belgium Program and Symposium Chair: Moreno Falaschi, Dept. of Information Engineering and Mathematics, Univ. of Siena, Italy (moreno.falaschi at unisi.it) Organizing Committee Monica Bianchini, Dept. of Information Engineering and Mathematics, Univ. of Siena, Italy Sara Brunetti, Dept. of Information Engineering and Mathematics, Univ. of Siena, Italy Simone Rinaldi, Dept. of Information Engineering and Mathematics, Univ. of Siena, Italy Elisa Tiezzi, Dept. of Information Engineering and Mathematics, Univ. of Siena, Italy From zeller at cs.uni-saarland.de Wed Dec 10 17:06:05 2014 From: zeller at cs.uni-saarland.de (Andreas Zeller) Date: Wed, 10 Dec 2014 17:06:05 +0100 Subject: [fg-arc] =?utf-8?q?Pr=C3=A4sentieren_Sie_Ihre_Gr=C3=BCndungsidee_?= =?utf-8?q?im_Startup-Programm_der_SE_2015_=7C_Software_Engineering?= Message-ID: SE 2015 | Software Engineering *** Call for Startup Pitches *** Aufruf zur Teilnahme und Pr?sentationen: Startup-Programm Software Engineering http://swm2015.de/se-2015/tracks/startup-se15 Ihre Forschung war erfolgreich. Jetzt k?nnten Sie was draus machen. Aber wie? Das Startup-Programm der SE 2015 | Software Engineering, der gro?en Software-Engineering-Konferenz vom 17. bis 20. M?rz in Dresden, bietet allen Firmengr?ndern und solchen, die es werden wollen, die Gelegenheit zum Austausch mit Gr?ndern, Forschern, und Startup-Beratern. Hochkar?tige Redner zu Startup-Gr?ndung, Finanzierung, und Innovationsmanagement aus der Hochschule heraus bieten wertvolle Hinweise und weitere M?glichkeiten der Vernetzung. Wir bieten Software-Startups, und solchen, die es werden wollen, an, sich auf der Konferenz mit einem kurzen Pitch und einem Poster vorzustellen; einige ausgew?hlte Startups erhalten zudem Gelegenheit zu einem Kurzvortrag ?ber ihre bisherigen Erfahrungen. Die Zahl der Pl?tze ist strikt limitiert. Wenn Sie sich pr?sentieren m?chten, bereiten Sie folgende Materialien vor: 1. Drei Folien (als PDF-Dokument), auf denen Sie folgendes skizzieren: a. Problem, Markt und Zielgruppe b. Ihre Probleml?sung c. Derzeitiger Stand (Team, Kunden, Finanzen, Firma?) 2. Zusammenfassung Ihres Vortrages mit Verweis (URL) auf Ihre Webpr?senz Reichen Sie Ihren Pr?sentationsvorschlag bis zum *** 15.01.2015 *** als PDF wie folgt ein: 1. Gehen Sie zur Einreichungsseite https://easychair.org/conferences/?conf=se2015 und melden Sie sich an. 2. W?hlen Sie den Track "SE 2015 Startup-Programm (SE-2015-STUP)" 3. Reichen Sie als "Abstract" Ihre Zusammenfassung ein. 4. Reichen Sie als "Paper" Ihre Vortragsfolien als PDF ein. Ein Komitee aus Gr?ndern, Forschern, und Beratern wird aus allen Einreichungen ausw?hlen. Die Benachrichtigung erfolgt bis zum 09.02.2015. Wir freuen uns, von Ihnen zu h?ren - und Sie auf der SE 2015 zu sehen! Prof. Andreas Zeller Leiter Startup-Track, SE2015 | Software Engineering -- Andreas Zeller | Professor | Saarland University www.st.cs.uni-saarland.de/zeller | @AndreasZeller zeller at cs.uni-saarland.de | +49 681 302-70970 From aali at ltu.edu Fri Dec 12 14:44:07 2014 From: aali at ltu.edu (Ahad Ali) Date: Fri, 12 Dec 2014 08:44:07 -0500 Subject: [fg-arc] Preliminary Program - IEOM 2015 Dubai Conference Message-ID: <436b16999d2144b5ab87644646d53852@ltu.edu> Preliminary Program - IEOM 2015 Dubai Conference Dear Colleagues: IEOM Society likes to share the preliminary program of the 2015 IEOM Conference to be held at the Hyatt Regency Dubai, United Arab Emirates during March 3-5, 2015. ASQ, IEEE, and INFORMS are co-sponsoring IEOM 2015. The event has the following major highlights: . Seven outstanding keynote speakers including two past IIE Presidents, Senior VP of Siemens, VP of Boeing Saudi Arabia, Renowned Professor from University Loughborough, PLM Global Leader and Aramco Executive . 450 accepted technical presentations out of more than 700 submissions from 70 countries . 36 speakers of the Global Engineering Education including panel session . 24 speakers of the Industry Solutions including lean workshop and panel session . 18 speakers and 3 panel sessions of Operational Excellence . Poster sessions . IEOM Student paper competition, received 40 submissions . IEOM Undergraduate Senior Design Poster competition . Pre-conference workshops on "Six Sigma and Lean Green Belt Certification" and "Entrepreneurships and Innovation" . Facilitating faculty job interviews . Exhibition . Networking with people from 70 countries around the world . IEOM 2015 Award recognition . IEOM Society Town Hall Meeting Based on the attached preliminary program, you could see a great value of attending it. Please join us in Dubai, it will be appreciated highly. Regards, The Conference Committee of IEOM 2015 Dubai IEOM Society: www.iieom.org -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Tech Program GEE and IndSolu - IEOM 2015.pdf Type: application/octet-stream Size: 2524831 bytes Desc: Tech Program GEE and IndSolu - IEOM 2015.pdf URL: From jaghouri at cwi.nl Fri Dec 12 20:57:12 2014 From: jaghouri at cwi.nl (Mahdi Jaghoori) Date: Fri, 12 Dec 2014 20:57:12 +0100 Subject: [fg-arc] Call for papers TTCS'15 (Tehran, Iran) Message-ID: (apologies if you receive multiple copies) *=========================================Topics in Theoretical Computer Science (TTCS 2015)http://www.ttcs.ir/ Institute for Research in Fundamental Sciences (IPM), Tehran, IranAugust 26-28, 2015=========================================* Scope ------------------------------ TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science. There will be a number of satellite events at TTCS, These will feature presentation of early research results, and position papers. There will also be a forum for Ph.D. students to receive comments about their ongoing research projects. Topics of interest include but are not limited to: - algebra and co-algebra in computer science, - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - concurrency theory, - coordination languages, - economics and algorithmic game theory, - fixed parameter algorithms, - formal verification and model-based testing, - logic in computer science, - machine learning - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - stochastic and probabilistic specification and reasoning - theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking, - theoretical cryptography, - theory of programming languages, and - type theory and its application in program verification. Keynote Speakers ------------------------------ Anuj Dawar, Cambridge University, UK Michael Fellows, Charles Darwin University, Australia Mehrnoosh Sadrezadeh, Queen Mary University of London, UK Submission ------------------------------ For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions. Papers should be submitted through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2015 . The web site is open for submissions. Important Dates ------------------------------ - *Paper Submission:* May 15, 2015 (Anywhwere on Earth ) - *Author notification:* June 26, 2015 - *Camera ready paper due:* July 10, 2015 - *Conference:* August 26-28, 2015 Program Committee ------------------------------ *Track A: Algorithms and Complexity* - Mohammad Ali Abam, Sharif University of Technology, Iran - Saeed Akbari, Sharif University of Technology, Iran - Saeed Alaei, Cornell University, USA - Mohammad Hossein Bateni, Google Research, USA - Salman Beigi, IPM, Iran - Amir Daneshgar, Sharif University of Technology, Iran - Fedor Fomin, University of Bergen, Norway - Ali Ghodsi, University of Waterloo, Canada - Mohammad Ghodsi, Sharif University of Technology, Iran - Mohammad T. Hajiaghayi, University of Maryland, USA (Chair) - Amin Karbasi, Yale University, USA - Nicole Immorlica, Microsoft Research, USA - Amit Kumar, IIT Delhi, India - Mohammad Mahdian, Google Research, USA - Hamid Mahini, University of Maryland, USA - Bojan Mohar, Simon Fraser University, Canada - Mohammad Mahmoody, University of Virginia, USA - Vahab Mirrokni, Google Research, USA - Morteza Monemizadeh, Frankfurt University, Germany - Shayan Oveisgharan, UC Berkeley and University of Washington, USA - Debmalya Panigrahi, Duke University, USA - Jorg Sack, Carleton University, Canada - Mohit Singh, Microsoft Research, USA - Dimitrios M. Thilikos, CNRS, France and University of Athens, Greece - Suresh Venkatasubramanian, University of Utah, USA - Jan Vondrak, IBM Almaden Research Center, USA *Track B: Logic, Semantics, and Programming Theory* - Farhad Arbab, CWI and Leiden University, The Netherlands - S. Arun-Kumar, IIT Delhi, India - Ilaria Castellani, INRIA Sophia Antipolis, France - Dave Clarke, Uppsala University, Sweden and KU Leuven, Belgium - Pieter Cuijpers, Eindhoven University of Technology, The Netherlands - Fatemeh Ghassemi, Tehran University, Iran - Matthew Hennessy, Trinity College Dublin, Ireland - Ichiro Hasuo, University of Tokyo, Japan - Mahdi Jaghoori, AMC University of Amsterdam, The Netherlands - Jeroen Keiren, Vrije Universiteit Amsterdam, The Netherlands - Bas Luttik, Eindhoven University of Technology, The Netherlands - Jose Meseguer, University of Illinois at Urbana, USA - Lary Moss, Indiana University, USA - Mohammad Mousavi, Halmstad University, Sweden (Chair) - Jun Pang, University of Luxembourg, Luxembourg - Gerardo Schneider, Chalmers University of Technology, Sweden - Marjan Sirjani, Reykjavik University, Iceland - Walter Vogler, Augsburg University, Germany - Tim Willemse, Eindhoven University of Technology, The Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at urv.cat Sat Dec 13 16:18:32 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 13 Dec 2014 16:18:32 +0100 Subject: [fg-arc] BigDat 2015: registration deadline 23 December Message-ID: <84B34AA2A15842EF8DC95BC2EAFC1EA2@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************** INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2015 Tarragona, Spain January 26-30, 2015 Organized by Rovira i Virgili University http://grammars.grlmc.com/bigdat2015/ ***************************************************** --- 7th registration deadline: December 23, 2014 --- ***************************************************** AIM: BigDat 2015 is a research training event for graduates and postgraduates in the first steps of their academic career. It aims at updating them about the most recent developments in the fast developing area of big data, which covers a large spectrum of current exciting research, development and 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. All 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, 22 six-hour courses, and 1 round table, which will tackle the most lively and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ADDRESSED TO: Graduate 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 required for some of them. BigDat 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 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 2015 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: Ian Foster (Argonne National Laboratory), Taming Big Data: Accelerating Discovery via Outsourcing and Automation Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data Applications to Clouds and HPC C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big Data: Information Extraction and Data Mining William D. Gropp (University of Illinois, Urbana-Champaign), tba COURSES AND PROFESSORS: Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Diego Calvanese (Free University of Bozen-Bolzano), [introductory/intermediate] End-User Access to Big Data Using Ontologies Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Programming with Big Data Edward Y. Chang (HTC Corporation, New Taipei City), [introductory/advanced] Big Data Analytics: Architectures, Algorithms, and Applications Ernesto Damiani (University of Milan), [introductory/intermediate] Process Discovery and Predictive Decision Making from Big Data Sets and Streams Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining Deep Web Repositories Maarten de Rijke (University of Amsterdam), tba Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using Software Defined Systems to Address Big Data Problems Minos Garofalakis (Technical University of Crete, Chania) [intermediate/advanced], Querying Continuous Data Streams Vasant G. Honavar (Pennsylvania State University, University Park) [introductory/intermediate], Learning Predictive Models from Big Data Tao Li (Florida International University, Miami), [introductory/intermediate] Data Mining Techniques to Understand Textual Data Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data Visualization Christoph Meinel (Hasso Plattner Institute, Potsdam), [introductory/intermediate] New Computing Power by In-Memory and Multicore to Tackle Big Data Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data Challenges in Simulation-based Science Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate] Scalable Data Analysis Evaggelia Pitoura (University of Ioannina), [introductory/intermediate] Online Social Networks Vijay V. Raghavan (University of Louisiana, Lafayette), [introductory/intermediate] Visual Analytics of Time-evolving Large-scale Graphs Pierangela Samarati (University of Milan), [intermediate], Data Security and Privacy in the Cloud Peter Sanders (Karlsruhe Institute of Technology), [introductory/intermediate] Algorithm Engineering for Large Data Sets Johan Suykens (KU Leuven), [introductory/intermediate] Fixed-size Kernel Models for Big Data Domenico Talia (University of Calabria, Rende), [intermediate] Scalable Data Mining on Parallel, Distributed and Cloud Computing Systems Jieping Ye (Arizona State University, Tempe), [introductory/advanced] Large-Scale Sparse Learning and Low Rank Modeling 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/bigdat2015/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: As far as possible, participants are expected to stay full-time. Fees are a flat rate covering 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 POSTAL ADDRESS: BigDat 2015 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 --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From riebisch at informatik.uni-hamburg.de Wed Dec 17 20:42:17 2014 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Wed, 17 Dec 2014 19:42:17 +0000 Subject: [fg-arc] Ausschreibung W2-Professur Angewandte Softwaretechnik, Uni Hamburg, bis 29.1.2015 Message-ID: <80F73283-5F2B-4B31-B841-024D813EB501@exchange.informatik.uni-hamburg.de> Am Fachbereich Informatik der Universit?t Hamburg ist heute die Ausschreibung einer W2-Professur Angewandte Softwaretechnik ver?ffentlicht worden. Wir w?rden uns freuen, wenn Sie diese Ausschreibung an interessierte Personen weiterleiten w?rden. Die Ausschreibung ist hier als PDF erh?ltlich: http://www.uni-hamburg.de/uhh/stellenangebote/Informatik_29-01-15.pdf, eine Englische Version unter http://www.uni-hamburg.de/uhh/stellenangebote/Informatik_29-01-15_e.pdf Mit freundlichen Gr??en und den besten W?nschen f?r das Weihnachtsfest Matthias Riebisch PS: bitte entschuldigen Sie doppelte Zusendungen ?????? In der Fakult?t Mathematik, Informatik und Naturwissenschaften (MIN) ist baldm?glichst eine W2 UNIVERSIT?TSPROFESSUR F?R INFORMATIK, INSBESONDERE ANGEWANDTE SOFTWARETECHNIK zu besetzen - Kennziffer 2216/W2 Von den Bewerberinnen und Bewerbern werden internationale wissenschaftliche Erfahrungen sowie Erfahrungen in der Einwerbung und Durchf?hrung von Drittmittelprojekten erwartet. Die Universit?t Hamburg legt auf die Qualit?t der Lehre besonderen Wert. Lehrerfahrungen und Vorstellungen zur Lehre sind darzulegen. Die Universit?t Hamburg will den Anteil von Frauen in Forschung und Lehre erh?hen. Sie ist deshalb an Bewerbungen von qualifizierten Wissenschaftlerinnen besonders interessiert. ? 14 Abs. 3 Satz 3 HmbHG findet Anwendung. Aufgabengebiet: Vertretung des Faches "Softwaretechnik" in Lehre und Forschung. Wir suchen eine Pers?nlichkeit mit international ausgewiesener Publikations- und Forschungst?tigkeit zu softwaretechnischen Methoden mit einem Forschungsschwerpunkt in den Gebieten Requirements Engineering, Recommendation Systems und Software Engineering Knowledge Management, welcher die fachlichen Schwerpunkte des Schwerpunktbereichs Complex Systems Engineering {CSE) des Fachbereichs sinnvoll erg?nzt und auf industrielle Anwendung zielt. Dies setzt die Bereitschaft zur Zusammenarbeit mit anderen Forschungsgruppen am Fachbereich und innerhalb der Universit?t Hamburg voraus. Von der zuk?nftigen Stelleninhaberin /dem zuk?nftigen Stelleninhaber wird erwartet, dass sie/er sich in die grundst?ndige Softwareentwicklungsausbildung in Bachelor-Studieng?ngen einbringt. Ebenso werden die Beteiligung an grundst?ndigen und vertiefenden Lehrveranstaltungen und Pr?fungen im Fach Informatik, einschlie?lich Veranstaltungen in englischer Sprache erwartet. Eine Bereitschaft zur Mitwirkung an der akademischen Selbstverwaltung wird vorausgesetzt. Der ? 12 Absatz 7 Satz 2 HmbHG findet Anwendung. Einstellungsvoraussetzungen: Wissenschaftliche Qualifikationen sowie weitere Voraussetzungen gem?? ? 15 Hamburgisches Hochschulgesetz. Schwerbehinderte haben Vorrang vor gesetzlich nicht bevorrechtigten Bewerberinnen und Bewerbern gleicher Eignung, Bef?higung und fachlicher Leistung. F?r n?here Ausk?nfte steht Ihnen Prof. Dr. Matthias Riebisch (Tel. 040/42883-2427, Email riebisch at informatik.uni-hamburg.de) zur Verf?gung. Zus?tzlich zu den ?blichen Bewerbungsunterlagen (tabellarischer Lebenslauf, Zeugnisse und Urkunden in Kopie, Schriften- und Lehrverzeichnis) sollen die fachliche Schwerpunktsetzung der Bewerberin / des Bewerbers und die geplanten Forschungsvorhaben in einem Forschungskonzept erl?utert werden (ca. 4 Seiten). Darin sollen auch m?gliche Beitr?ge zu den Forschungsschwerpunkten sowie Kooperationen innerhalb des Fachbereichs ausgef?hrt werden. Lehrerfahrungen und Vorstellungen zur Lehre sind in einem kurzen Lehrkonzept darzulegen, dem auch Ergebnisse von Lehrevaluationen beigelegt werden sollen. Bewerbungen mit den ?blichen Unterlagen werden unter Angabe der Kennziffer 2216/W2 bis zum 29.01.2015 erbeten an den Pr?si denten der Universit?t Hamburg, Stellenausschreibungen, Mittelweg 177, 20148 Hamburg oder per E-Mail an: UniHHAusschreibungsstelle at verw.uni-hamburg.de. _______________________________________________ Se-professoren mailing list Se-professoren at ira.uni-karlsruhe.de https://lists.ira.uni-karlsruhe.de/mailman/listinfo/se-professoren -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From Muzaffar.Igamberdiev at unisa.edu.au Thu Dec 18 01:02:27 2014 From: Muzaffar.Igamberdiev at unisa.edu.au (Muzaffar Igamberdiev (IEE)) Date: Thu, 18 Dec 2014 00:02:27 +0000 Subject: [fg-arc] EDOC 2015 - Call for Papers Message-ID: <08e9f81658c14d65ab801cb58c48ffd6@ITUPW-EXMBOX2A.UniNet.unisa.edu.au> We apologize if you receive this message more than once. --- EDOC 2015 - Adelaide, Australia September 21-25, 2015 edoc2015.unisa.edu.au IEEE EDOC 2015 is the nineteenth conference in a series that provides the key forum for researchers and practitioners in the field of enterprise computing. EDOC conferences address the full range of models, methodologies, and engineering technologies contributing to intra- and inter-enterprise application systems. Since 1997, EDOC has brought together leading computer scientists, IT decision makers, enterprise architects, solution designers, and practitioners to discuss enterprise computing challenges, models and solutions from the perspectives of academia, industry, and government. The IEEE EDOC conference series emphasizes a holistic view on enterprise applications engineering and management, fostering integrated approaches that address and relate business processes, people and technology. EDOC 2015 welcomes high quality scientific submissions as well as experience papers on enterprise computing from industry. The main theme of EDOC 2015 is "Leveraging social phenomena and Big Data in the enterprise of the future" and seeks to explore innovative approaches synthesizing concepts of (1) data science, (2) enterprise computing and (3) social networks. Expert panel discussions and keynotes will address current topics and issues in this domain. Topics The IEEE EDOC conference seeks high-quality contributions addressing the domains, life-cycle issues, and realization technologies involved in building, deploying and operating enterprise computing systems. Suggested areas include, but are not limited to: Enterprise Architecture and Enterprise Application Architecture Enterprise architecture frameworks Enterprise architecture analysis, assessment and prediction Cloud computing and the evolution of enterprise architectures Enterprise ontologies Model-based Approaches Model-driven architectures and model-driven software development Modeling based on domain specific languages (DSL) Approaches based on reference architectures Collaborative development and cooperative engineering issues Service-oriented Architectures (SOA) and Enterprise Service Architectures (ESA) Service engineering and evolution of related specifications Semantics-based service engineering Service composition, orchestration and choreography Enterprise service bus Complex event processing and event-driven architectures Governance in Service-oriented Architectures Service policies, contract definition and enforcement Security/privacy policy definition and description languages Security/privacy policy interoperability Business process management (BPM) Business process modeling, verification, configuration and implementation Process-aware information systems (PAIS), Human-centric PAIS, Social BPM Managing business process variability, adaptation and evolution in PAIS Process mining and its application in business analytics Distributed and cross-organizational business processes Data-intensive processes Cloud impact on BPM, business processes in the cloud Emerging BPM paradigms (e.g., adaptive case management, data-driven processes) Business analytics Modeling and predictive analytics for enterprise computing Data-driven enterprise strategy Collaboration enterprise analytic platforms Business process intelligence (e.g., process performance management) Continuous, online analytics for big data in the enterprise Business rules Business rule languages and engines Relation between business rules and business processes Business rules and service computing Business rules and compliance management, business process compliance Information integration and interoperability Business object modeling methodologies and approaches Taxonomies, ontologies and business knowledge integration Master data management, data mining and (real-time) data warehousing Flexible information models and systems (e.g., object-driven processes) Data quality and trustworthiness Networked Enterprise Solutions Enterprise interoperability, collaboration and its architecture Virtual organizations, including multi-agent system support Cross-enterprise collaboration in a world of cloud, social and big data Digital ecosystems Trust management Enterprise applications deployment and governance Performance and operational risk prediction and measurement Quality of service (QoS) and cost of service (CoS) Management and maintenance of enterprise computing systems Information assurance Human and social organizational factors in enterprise computing Emerging trends in distributed enterprise applications Social information and innovation networks, social media impact on the enterprise People-centric collaboration systems, people-centric services Private and public cloud computing Infrastructures Idea management and crowdsourcing Enterprise 2.0, Web 2.0 and beyond Mobile enterprise services Industry specific solutions (e.g. for aerospace, automotive, finance, logistics, medicine and telecommunications) Research and public sector collaboration (e.g. in e-health, e-government, e-science) Submission Guidelines Two types of paper submissions are solicited: a. scientific research papers, and b. industry experience reports or case studies. Scientific research papers should describe original results not been accepted or submitted for publication elsewhere. These papers will be evaluated based on their scientific and technical contribution, originality, and relevance. In turn, industry experience reports should provide new insights gained in case studies or when applying enterprise computing technology in practice; industry experience reports shall further provide important feedback about the state of practice and pose challenges for researchers. These papers will be evaluated based on their appropriateness, significance, and clarity. Submissions should be full papers with 8-10 pages. All submissions must be made in PDF format and comply with the IEEE Computer Society Conference Proceedings Format Guidelines. They should be made via the electronic submission system of the EDOC Conference Management system hosted on EasyChair: http://www.easychair.org/conferences/?conf=edoc2015 All papers will be refereed by at least 3 members of the international program committee. All presented papers in the conference will be published in the proceedings of the conference and submitted to the IEEE Xplore Digital Library. Post Conference Publication The authors of a collection of selected papers will be invited to prepare a substantially revised and extended version of their papers for publication in a special journal issue. The journal will be announced in due course. Important Dates: Conference paper abstract submission (optional): April 4, 2015 Conference full paper submission due: April 11, 2015 Conference paper acceptance notifications: June 1, 2015 Conference camera ready papers due: July 4, 2015 Workshop proposal submissions: January 26, 2015 Workshop proposal acceptance notification: February 16, 2015 Workshop paper submissions: April 27, 2015 Workshops paper acceptance notifications: June 15, 2015 Workshops camera-ready papers due: July 4, 2015 Conference: September 21-25, 2015 General Chairs Prof. Aditya Ghose University of Wollongong, Australia Dr Georg Grossmann University of South Australia Program Chairs Dr Sylvain Hall? Universit? du Qu?bec ? Chicoutimi, Canada Dr Wolfgang Mayer University of South Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From lucia.happe at kit.edu Tue Dec 16 07:08:49 2014 From: lucia.happe at kit.edu (Happe, Lucia (IPD)) Date: Tue, 16 Dec 2014 07:08:49 +0100 Subject: [fg-arc] Deadline Extension: FESCA@ETAPS 2015 Message-ID: *** Please accept our apologies should you receive multiple copies of this call from different lists. *** INVITATION: Please, consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to FESCA 2015. The submission deadline has been extended to December 21, 2014. ===================================================================== Call for Papers - FESCA 2015 - 12th International Workshop on Formal Engineering approaches to Software Components and Architectures Satellite event of ETAPS April 12th, 2015, London, UK http://fesca.ipd.kit.edu/fesca2015/ ===================================================================== * Paper registration: December 17, 2014 * Submission deadline: December 21, 2014 * Notification of acceptance: January 26, 2015 ===================================================================== WORKSHOP AIM In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity of today's software systems, FESCA aims at addressing two research questions: (1) what role the software architecture can play in systematic addressing of the analytical and modelling challenges, and (2) how formal and semi-formal techniques can be applied effectively to make the issues easier to address automatically, with lower human intervention. ************************************************************************** PROGRAM HIGHLIGHTS: We are pleased to announce invited speaker and tutorial: Dr. Steffen Zschaler, from Software Modelling and Applied Logic Group, Department of Informatics at King's College London (UK), has agreed to deliver the FESCA 2015 keynote speech on the topic: "Building flexible analysis: Modular formal specification of QoS and QoS analysis" and Michael Langhammer, from Karlsruhe Institute of Technology, has agreed to deliver tutorial on the topic: "Co-Evolution of Component-based Architecture and Code using Vitruvius" ************************************************************************** TOPICS We encourage submissions on (semi-)formal techniques and their application that aid analysis, design and implementation of software applications, including the techniques in the realm of Model-Driven Development. In this context, the topics include (but are not limited to): * Modelling - Modelling formalisms; - Models, metamodels and model transformations; * Correctness checking - Temporal properties and their formal verification; - Interface compliance and contractual use of components; * Correctness of models, metamodels and model transformations * Analysis and prediction of quality attributes - Formal prediction and analysis; - Static and dynamic analysis; - Instrumentation and monitoring approaches; * Industrial case studies and experience reports. We encourage not only mature research results, submissions presenting innovative ideas and early results of junior researchers are also of a particular interest. SUBMISSIONS Three kinds of submissions are solicited: * regular papers (up to 15 pages) presenting original and unpublished work related to the workshop topics, * position papers (up to 10 pages) presenting ideas and directions of interesting ongoing and yet unpublished research related to the workshop topics, and * tool demonstration papers (up to 8 pages) presenting and highlighting the distinguishing features of a topic-related tool (co-developed by the authors). PROCEEDINGS * Final versions of accepted regular, position and tool papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS). IMPORTANT DATES * Paper registration: December 17, 2014 * Submission deadline: December 21, 2014 * Notification of acceptance: January 26, 2015 * Final versions due: February 16, 2015 * Workshop date: April 12, 2015 PROGRAMME COMMITTEE (tentative) * Premysl Brada (University of West Bohemia in Pilsen, Czech Republic) * Ivana Cerna (Masaryk University, Czech Republic) * Yanja Dajsuren (Eindhoven University of Technology, Netherlands) * Antinisca Di Marco (Universita dell'Aquila, Italy) * Petr Hnetynka (Charles University in Prague, Czech Republic) * Samuel Kounev (Universitat Wuerzburg, Germany) * Ralf Kuesters (Universitat Trier, Germany) * Markus Lumpe (Swinburne University of Technology, Australia) * Daniel Menasche (UFRJ, Brazil) * Raffaela Mirandola (Politecnico di Milano, Italy) * Dorina Petriu (Carleton Univesity, USA) * Nadia Polikarpova (ETH Zuerich, Switzerland) * Ralf Reussner (Karlsruhe Institute of Technology, Germany) * Cristina Seceleanu (Malardalen University, Sweden) * Catia Trubiani (Gran Sasso Science Institute, Italy) * Steffen Zschaler (King's College London, UK) PC CO-CHAIRS * Barbora Buhnova (Masaryk University, Czech Republic) * Lucia Happe (Karlsruhe Institute of Technology, Germany) * Jan Kofron (Charles University in Prague, Czech Republic) From uwe.assmann at tu-dresden.de Mon Dec 22 13:44:53 2014 From: uwe.assmann at tu-dresden.de (Uwe Assmann) Date: Mon, 22 Dec 2014 13:44:53 +0100 Subject: [fg-arc] =?utf-8?q?Fr=C3=BChbucher_f=C3=BCr_SE/SWM_17=2E3-20=2E32?= =?utf-8?q?015_in_Dresden?= Message-ID: <54981245.9060001@tu-dresden.de> Sehr geehrte/r Kollege/in, Ich darf Sie bereits jetzt auf die Attraktionen des Programms der Multikonferenz "Software Engineering und Management 2015" aufmerksam machen. http://se2015.de http://swm2015.de http://swm2015.de/organisation/anmeldung Die Early-Bird-Registrierung endet zwar erst am 11.Februar 2015, aber es lohnt sich, ?ber die Feiertage zu planen, da Dresden ein reichhaltiges Kulturprogramm bietet, was auch ein Aufenthalt ?ber das Wochenende lohnenswert macht. Und leider k?nnen f?r Schwanensee oder H?ndel in der Semperoper und Mendelssohn in der Philharmonie keine Tickets reserviert werden :-( http://swm2015.de/organisation/rahmenprogramm Die fachlichen H?hepunkte der Konferenz sind: * Softwaremanagement, 3 Tracks der Software Engineering * Zus?tzliche Tracks "Software Engineering Ideas", "Software and Systems Essentials", Technologietransferprogramm, Doktorandensymposium * Keynotes ** Prof. Scheer, Scheer Group, vorm. Pr?sident BITKOM: " Tipps f?r Start-ups in der Industrie 4.0" ** Prof. Bernd Br?gge, TU M?nchen: "Schnelle Prototypen f?r intelligente Kleidung" ** Prof. Gerhard Fettweis, TU Dresden: "5G for the Tactile Internet" * Eclipse "Internet of Things" Workshop * Kulturprogramm http://swm2015.de/organisation/rahmenprogramm mit touristischem Programm Insbesondere darf ich Sie noch auf den neuen Startup-Track aufmerksam machen, der noch Vorschl?ge f?r Pitches sucht: http://swm2015.de/se-2015/tracks/startup-se15 frohe Weihnachten, in der Hoffnung auf ein Wiedersehn in Dresden. Uwe A?mann -- ----------------------------------------------------------------------------- Visit SE/SWM 2015: http://swm2015.de/se-2015/program15 http://swm2015.de/organisation/anmeldung Startup-Track (still open): http://swm2015.de/se-2015/tracks/startup-se15 ----------------------------------------------------------------------------- Prof. Dr. Uwe A?mann mailto:uwe.assmann at tu-dresden.de Software Engineering Group tel:+49 351 463 38463 Institut f?r Software- und fax:+49 351 463 38459 Multimediatechnik http://st.inf.tu-dresden.de Fakult?t Informatik building: Noethnitzer Str. 46, 01307 Dresden Technische Universitat Dresden room/Zimmer: 2087, 2. Stock, West D-01062 Dresden ----------------------------------------------------------------------------- From klaus.havelund at jpl.nasa.gov Tue Dec 23 16:16:18 2014 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Tue, 23 Dec 2014 07:16:18 -0800 Subject: [fg-arc] [fm-announcements] First CFP: CRV15 - 2nd Competition on Runtime Verification Message-ID: <9FD9D2E8-3101-4AC4-9BC4-50B539EBDF5F@jpl.nasa.gov> CRV 2015 The 2nd International Competition on Runtime Verification, held with RV 2015, September 22 ? 25, 2015 Vienna, Austria CRV-2015 is the 2nd International Competition on Runtime Verification and is part of the 15th International Conference on Runtime Verification. The event will be held in September 2015, in Vienna, Austria. CRV-2015 will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated tools, libraries and frameworks for the instrumentation and runtime verification of software. Runtime Verification is a verification technique for the analysis of software at execution-time based on extracting information from a running system and checking if the observed behaviors satisfy or violate the properties of interest. During the last decade, many important tools and techniques have been developed and successfully employed. However, there is a pressing need to compare such tools and techniques, since we currently lack a common benchmark suite as well as scientific evaluation methods to validate and test new prototype runtime verification tools. The main aims of CRV-2015 are to: ? Stimulate the development of new efficient and practical runtime verification tools and the maintenance and improvement of the already developed ones. ? Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes. ? Discuss the metrics employed for comparing the tools. ? Provide a comparison of the tools on different benchmarks and evaluate them using different criteria. ? Enhance the visibility of presented tools among the different communities (verification, software engineering, cloud computing and security) involved in software monitoring. Please direct any enquiries to the competition co-organizers (crv15.chairs at imag.fr) ? Yli?s Falcone (Universit? Joseph Fourier, France). ? Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria). ? Giles Reger (University of Manchester, UK). ? Daniel Thoma (University of Luebeck, Germany). CRV-2015 Jury The CSRV Jury will include a representative for each participating team and the competition chairs. The Jury will be consulted at each stage of the competition to ensure that the rules set by the competition chairs are fair and reasonable. Call for Participation The main goal of CRV 2015 is to compare tools for runtime verification. We invite and encourage the participation with benchmarks and tools for the competition.The competition will consist of three main tracks based on the input language used: ? Track on monitoring Java programs (online monitoring). ? Track on monitoring C programs (online monitoring). ? Track on monitoring of traces (offline monitoring). The competition will follow three phases: ? Benchmarks/Specification collection phase - the participants are invited to submit their benchmarks (C or Java programs and/or traces). The organizers will collect them in a common repository (publicly available). The participants will then train their tools using the shared benchmarks. ? Monitor collection phase - the participants are invited to submit their monitors. The participants with the tools/monitors that meet the qualification requirements will be qualified for the evaluation phase. ? Evaluation phase - the qualified tools will be evaluated on the submitted benchmarks and they will be ranked using different criteria (i.e., memory utilization, CPU utilization, ...). The final results will be presented at the RV 2015 conference. The detailed description of each phase will be available on the RV 2015 website at http://rv2015.conf.tuwien.ac.at. Expected Important Dates January 15, 2015: Declaration of intent (email: crv15.chairs at imag.fr) March 1, 2015 Submission deadline for benchmark programs and the properties to be monitored March 15, 2015 Tool training starts by participants May 15, 2015 Monitor submission June 15, 2015 Notifications At RV 2015 Presentation of results ??? -------------- 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 urv.cat Wed Dec 24 16:18:51 2014 From: grlmc at urv.cat (GRLMC) Date: Wed, 24 Dec 2014 16:18:51 +0100 Subject: [fg-arc] AlCoB 2015: 2nd call for papers Message-ID: <310DA0B5266545DD8F6741736D729B23@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ****** 2nd INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2015 Mexico City, Mexico August 4-6, 2015 Organized by: Centre for Complexity Sciences (C3) School of Sciences Institute for Research in Applied Mathematics and Systems (IIMAS) Graduate Program in Computing Science and Engineering National Autonomous University of Mexico Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2015/ **************************************************************************** ****** AIMS: AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction. The conference will address several of the current challenges in computational biology by investigating algorithms aimed at: 1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species. Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career. VENUE: AlCoB 2015 will take place in Mexico City, the oldest capital city in the Americas and the largest Spanish-speaking city in the world. The venue will be the main campus of the National Autonomous University of Mexico. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks ... Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics ... Microbiome analysis Systems biology STRUCTURE: AlCoB 2015 will consist of: invited lectures peer-reviewed contributions INVITED SPEAKERS: Julio Collado-Vides (National Autonomous University of Mexico, Cuernavaca), >From Curation of Information to Knowledge Encoding Gaston Gonnet (Swiss Federal Institute of Technology, Zurich), Human-Dog-Mouse, Probably and Provable Non-trivial Evolution Close to the Root of the Mammalian Clade Peter D. Karp (SRI International, Menlo Park), Algorithms for Metabolic Route Search and Determination of Reaction Atom Mappings PROGRAMME COMMITTEE: Stephen Altschul (National Center for Biotechnology Information, Bethesda, USA) Yurii Aulchenko (Russian Academy of Sciences, Novosibirsk, Russia) Pierre Baldi (University of California, Irvine, USA) Daniel G. Brown (University of Waterloo, Canada) Yuehui Chen (University of Jinan, China) Keith A. Crandall (George Washington University, Washington, USA) Joseph Felsenstein (University of Washington, Seattle, USA) Michael Galperin (National Center for Biotechnology Information, Bethesda, USA) Susumu Goto (Kyoto University, Japan) Igor Grigoriev (DOE Joint Genome Institute, Walnut Creek, USA) Martien Groenen (Wageningen University, The Netherlands) Yike Guo (Imperial College, London, UK) Javier Herrero (University College London, UK) Karsten Hokamp (Trinity College Dublin, Ireland) Hsuan-Cheng Huang (National Yang-Ming University, Taipei, Taiwan) Ian Korf (University of California, Davis, USA) Nikos Kyrpides (DOE Joint Genome Institute, Walnut Creek, USA) Mingyao Li (University of Pennsylvania, Philadelphia, USA) Yun Li (University of North Carolina, Chapel Hill, USA) Jun Liu (Harvard University, Cambridge, USA) Rodrigo L?pez (European Bioinformatics Institute, Hinxton, UK) Andrei N. Lupas (Max Planck Institute for Developmental Biology, T?bingen, Germany) B.S. Manjunath (University of California, Santa Barbara, USA) Carlos Mart?n-Vide (chair, Rovira i Virgili University, Tarragona, Spain) Tarjei Mikkelsen (Broad Institute, Cambridge, USA) Henrik Nielsen (Technical University of Denmark, Lyngby, Denmark) Zemin Ning (Wellcome Trust Sanger Institute, Hinxton, UK) Christine Orengo (University College London, UK) Modesto Orozco (Institute for Research in Biomedicine, Barcelona, Spain) Christos A. Ouzounis (Centre for Research & Technology Hellas, Thessaloniki, Greece) Manuel Peitsch (Philip Morris International R&D, Neuch?tel, Switzerland) David A. Rosenblueth (National Autonomous University of Mexico, Mexico City, Mexico) Julio Rozas (University of Barcelona, Spain) Alessandro Sette (La Jolla Institute for Allergy and Immunology, USA) Peter F. Stadler (University of Leipzig, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Alfonso Valencia (Spanish National Cancer Research Centre, Madrid, Spain) Kai Wang (University of Southern California, Los Angeles, USA) Lusheng Wang (City University of Hong Kong, Hong Kong) Zidong Wang (Brunel University, Uxbridge, UK) Harel Weinstein (Cornell University, New York, USA) Jennifer Wortman (Broad Institute, Cambridge, USA) Jun Yu (Chinese Academy of Sciences, Beijing, China) Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, USA) Louxin Zhang (National University of Singapore, Singapore) Hongyu Zhao (Yale University, New Haven, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Francisco Hern?ndez-Quiroz (Mexico City) Carlos Mart?n-Vide (Tarragona, co-chair) David A. Rosenblueth (Mexico City, 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, proofs, etc.) and should be prepared according to the standard format for 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=alcob2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/alcob2015/Registration.php DEADLINES: Paper submission: March 2, 2015 (23:59 CET) Notification of paper acceptance or rejection: April 10, 2015 Final version of the paper for the LNCS/LNBI proceedings: April 19, 2015 Early registration: April 19, 2015 Late registration: July 21, 2015 Submission to the journal special issue: November 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: AlCoB 2015 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: National Autonomous University of Mexico Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From msteffen at ifi.uio.no Sun Dec 28 09:54:56 2014 From: msteffen at ifi.uio.no (Martin Steffen) Date: Sun, 28 Dec 2014 09:54:56 +0100 Subject: [fg-arc] FM 2015: Final Call for Papers (20th Intl. Symposium on Formal Methods, Oslo) Message-ID: <20141228085456.7331F1FDD@nittedal.ifi.uio.no> --------------------------=== FM 2015 ===---------------------------- 20th International Symposium on Formal Methods Oslo, Norway, June 22-26, 2015 http://fm2015.ifi.uio.no/ Call for Papers --------------------------------------------------------------------- NEWS: There will be special issues of the Journals - Acta Informatica and - Formal Aspects of Computing featuring selected papers from FM 2015. There will be 11 satellite workshops scheduled for 22-23 June, preceding the main conference. For the list of workshops, see below. --------------------------------------------------------------------- IMPORTANT DATES: Jan 2 Abstract submission deadline Jan 9 Full paper submission deadline March 23 Notification June 22-26 Conference ------------------------------------------------------------------------- CALL FOR PAPERS FM 2015 is the twentieth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. The FM symposia welcome original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. SCOPE AND TOPICS FM 2015 will have the goal of highlighting the development and application of formal methods. This includes uses of formal methods in a variety of disciplines such as medicine, biology, human cognitive modeling, human automation interactions and aeronautics, among others. FM 2015 particularly welcomes papers on techniques, tools and experiences in interdisciplinary frameworks, as well as on experience with practical applications of formal methods in industrial and research settings, empirical and experimental validation of tools and methods as well as construction and evolution of formal methods tools. The broad topics of interest for FM 2015 include but are not limited to: Interdisciplinary formal methods: techniques, tools and experiences demonstrating formal methods in interdisciplinary frameworks. Formal methods in practice: industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome problems, lead to improvements in design or provided new insights. Tools for formal methods: advances in automated verification and model-checking, integration of tools, environments for formal methods, experimental validation of tools. Authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. Role of formal methods in software and systems engineering: development processes with formal methods, usage guidelines for formal methods, method integration. Authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. Theoretical foundations: all aspects of theory related to specification, verification, refinement, and static and dynamic analysis. Authors are encouraged to explain how their results contribute to the solution of practical problems with methods or tools. CONFIRMED KEYNOTE SPEAKERS Elvira Albert, Complutense University of Madrid, Spain Werner Damm, Carl von Ossietzky Universitaet Oldenburg, DE Valerie Issarny, INRIA, France Leslie Lamport, Microsoft Research, US PAPER SUBMISSION Papers will be evaluated by at least three members of the Programme Committee. They should be in Springer LNCS format and describe, in English, original work that has not been published or submitted elsewhere. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case study papers should describe significant case studies and the complete development should be made available at the time of review. In other words, the usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but can focus more on its features, and how it is used, evaluation, with screen shots and examples. Authors of tool papers should make their tool available for use by reviewers. Papers should be submitted through the FM 2015 EasyChair web site: http://www.easychair.org/conferences/?conf=fm2015. We solicit two categories of papers: Regular Papers should not exceed 15 pages in LNCS format, not counting references. Short papers, including tool papers, should not exceed 6 pages, not counting references. Besides tool papers, short papers are encouraged for any subject that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not guaranteed to be read or taken into account by the reviewers and it should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted, there will be no "demotions" from a regular to a short paper. BEST PAPER AWARD FM 2015 will as a new feature have a best paper award. A best paper will be selected among accepted papers, and the award will be presented at the conference. PUBLICATION Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. GENERAL CHAIR Einar Broch Johnsen, University of Oslo, NO PC CHAIRS Nikolaj Bjorner, Microsoft Research, US Frank S. de Boer, CWI, NL PROGRAM COMMITTEE Erika Abraham, RWTH Aachen University Bernhard K. Aichernig, TU Graz Gilles Barthe, IMDEA Software Institute Nikolaj Bjorner, Microsoft Research Marcello Bonsangue, Leiden University Michael Butler, University of Southampton Andrew Butterfield, Trinity College Dublin Ana Cavalcanti, University of York David Clark, University College London Frank S. de Boer, CWI Jin Song Dong, National University of Singapore Michael Emmi, IMDEA Software Institute John Fitzgerald, Newcastle University Nate Foster, Cornell University Vijay Ganesh, University of Waterloo Diego Garbervetsky, Dep. de Computacion. U. de Buenos Aires Dimitra Giannakopoulou, NASA Ames Research Center Stefania Gnesi, ISTI-CNR Ganesh Gopalakrishnan, University of Utah Orna Grumberg, Technion, Israel Institute of Technology Arie Gurfinkel, Carnegie Mellon University Reiner Haehnle, Technical University of Darmstadt Klaus Havelund, NASA Jet Propulsion Laboratory Anne E. Haxthausen, Technical University of Denmark Ian J. Hayes, University of Queensland Gerard Holzmann, NASA Jet Propulsion Laboratory Daniel Jackson, MIT Cliff Jones, Newcastle University Gerwin Klein, NICTA and UNSW Laura Kovacs, Chalmers University of Technology Marta Kwiatkowska, University of Oxford Peter Gorm Larsen, Aarhus University Yves Ledru, Lab. d'Informatique de Grenoble, U. Joseph Fourier Rustan Leino, Microsoft Research Martin Leucker, University of Luebeck Shaoying Liu, Hosei University Tom Maibaum, McMaster University Dominique Mery, Universite de Lorraine, LORIA Peter Mueller, ETH Zuerich Cesar Munoz, National Aeronautics and Space Administration David Naumann, Stevens Institute of Technology Tobias Nipkow, TU Muenchen Jose Oliveira, Universidade do Minho Olaf Owe, University of Oslo Sam Owre, SRI International Andrei Paskevich, Universite Paris-Sud 11, IUT d'Orsay Grigore Rosu, University of Illinois at Urbana-Champaign Kristin Yvonne Rozier, NASA Ames Research Center Sanjit A. Seshia, UC Berkeley Natasha Sharygina, Universita' della Svizzera Italiana Viorica Sofronie-Stokkermans, Max-Planck Institute for Informatics Jun Sun, Singapore University of Technology and Design Kenji Taguchi, AIST Margus Veanes, Microsoft Research Ji Wang, National Lab. for Parallel and Distributed Processing Alan Wassyng, McMaster University Heike Wehrheim, University of Paderborn Michael Whalen, University of Minnesota Jim Woodcock, University of York Gianluigi Zavattaro, University of Bologna Pamela Zave, AT&T ================================================================== SATELLITE WORKSHOPS (at 22-23. June, preceding the main conference) - FMICS (Formal Methods for Industrial Critical Systems) - Overture/VDM - WWV (Automated Specification and Verification of Web Systems) - Refinement - ESSS (Engineering Safety and Security Systems) - SAFOME (Safety and Formal Methods) - USE (Usages of Symbolic Execution) - SETS (Sets and Tools) - FMSEET (Formal Methods in Software Engineering Education and Training) - Formal Methods and Model-Driven Engineering in Robotics - F-IDE (Formal Integrated Development Environment) ===================================================================== From grlmc at urv.cat Wed Dec 31 15:46:07 2014 From: grlmc at urv.cat (GRLMC) Date: Wed, 31 Dec 2014 15:46:07 +0100 Subject: [fg-arc] InfoSec 2015: registration deadline 3 January Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************** INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY InfoSec 2015 Tarragona, Spain July 6-10, 2015 Organized by Rovira i Virgili University http://grammars.grlmc.com/InfoSec2015/ ********************************************************************** --- Early registration deadline: January 3, 2015 --- ********************************************************************** AIM: InfoSec 2015 will be a major 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 information security, which covers a large spectrum of current exciting academic research and industrial innovation. It refers to procedures to defend information from unauthorized access, use, modification, recording or destruction, with a critical role to play in order to avoid or minimize risks in the digital world. Renowned academics and industry pioneers will lecture and share their views with the audience. Most information security subareas will be displayed, namely: computer security, cryptography, privacy, cyber security, mobile security, network security, world wide web security, fraud prevention, data protection, etc. Main challenges of information security will be identified through 4 keynote lectures, 33 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. 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 background knowledge may be required for some of them. InfoSec 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 4 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: InfoSec 2015 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: Jan Camenisch (IBM Research, Zurich), Privacy in a Digital World: a Lost Cause? Hao Chen (University of California, Davis), (In)security of Mobile Apps in Untrusted Networks Jennifer Seberry (University of Wollongong), The Global Village: the Beginning of the Need for Computer Security [via videoconference] Gene Tsudik (University of California, Irvine), Off-line Proximity-based Social Networking PROFESSORS AND COURSES: N. Asokan (Aalto University), [intermediate] Mobile Security: Overview of Hardware Platform Security and Considerations of Usability Jan Camenisch (IBM Research, Zurich), [introductory/intermediate] Technologies to Protect Online Privacy Hao Chen (University of California, Davis), [intermediate/advanced] Security of the Mobile App Ecosystem Nicolas T. Courtois (University College London), [introductory/intermediate] Security of ECDSA in Bitcoin and Crypto Currency Claude Cr?peau (McGill University, Montr?al), [introductory/intermediate] Quantum Computation, Cryptography and Cryptanalysis Joan Daemen (ST Microelectronics Belgium, Diegem), [introductory/intermediate] Sponge Functions, Keccak and SHA-3 Sajal K. Das (Missouri University of Science and Technology, Rolla), [intermediate/advanced] Securing Cyber-Physical Systems: Challenges and Opportunities Herv? Debar (T?l?com SudParis), [introductory/intermediate] Detection and Reaction to Attacks: from Intrusion Detection to Cyber-Defense Yevgeniy Dodis (New York University), [intermediate/advanced] Randomness in Cryptography David Evans (University of Virginia, Charlottesville), [introductory/intermediate] Secure Multiparty Computation: Techniques, Theory, and Tools for Building Privacy-Preserving Applications Rosario Gennaro (City University of New York), [intermediate/advanced] A Survey of Verifiable Delegation of Computation Trent Jaeger (Pennsylvania State University, University Park), [intermediate/advanced] How to Add Security Enforcement to Legacy Programs Markus Jakobsson (Qualcomm, Santa Clara), [introductory/intermediate] Frontiers in Fraud Prevention Antoine Joux (Pierre et Marie Curie University, Paris), [introductory/intermediate] Discrete Logarithms in Finite Fields Marc Joye (Technicolor R&I, Los Altos), [introductory/intermediate] Secure Public-Key Cryptosystems Somesh Jha (University of Wisconsin, Madison), [intermediate/advanced] Analysis Techniques in Information Security Lars R. Knudsen (Technical University of Denmark, Lyngby), [introductory/intermediate] Block Ciphers: the Workhorses in Cryptography Songwu Lu (University of California, Los Angeles), [introductory/intermediate] Cellular Network Security: Issues and Defenses Catherine Meadows (Naval Research Laboratory, Washington DC), [introductory/intermediate] Formal Analysis of Cryptographic Protocols Nasir Memon (New York University), [introductory/intermediate] User Authentication Ethan L. Miller (University of California, Santa Cruz), [intermediate/advanced] Securing Stored Data in a Connected World Stefano Paraboschi (University of Bergamo), [introductory/intermediate] Data Protection in Network-enabled Systems Bart Preneel (KU Leuven), [introductory/intermediate] Cryptology: State of the Art and Research Challenges Jean-Jacques Quisquater (Catholic University of Louvain), [introductory/intermediate] The History of RSA: from Babylon to Smart Cards Shantanu Rane (Palo Alto Research Center), [introductory/intermediate] Privacy-preserving Data Analytics: Problems, Solutions and Challenges Mark Ryan (University of Birmingham), [introductory/intermediate] Designing Security Protocols: Electronic Voting, and Electronic Mail Rei Safavi-Naini (University of Calgary), [introductory] Information-theoretic Security Stefan Saroiu (Microsoft Research, Redmond), [advanced] Dealing with Loss: Protecting Data on a Lost Mobile Device Milind Tambe (University of Southern California, Los Angeles), [introductory/intermediate] Introduction to the Emerging Science of Security Games Gene Tsudik (University of California, Irvine), [intermediate/advanced] Security and Privacy in Candidate Future Internet Architectures Yang Xiao (University of Alabama, Tuscaloosa), [introductory/advanced] Security in Smart Grids Wenyuan Xu (University of South Carolina, Columbia), [intermediate] Security and Privacy Analysis of Embedded Systems Yuliang Zheng (University of North Carolina, Charlotte), [introductory] Cryptography and the Future of Money ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Mart?n-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/InfoSec2015/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: Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be provided in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: InfoSec 2015 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 --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com