[Caml-list] NFM 2015 final call for papers

CALL FOR PAPERS

The 7th NASA Formal Methods Symposium

http://www.NASAFormalMethods.org/nfm2015

27 – 29 April 2015
Pasadena, California, USA

Paper Submission: *** 10 Nov 2014 ***


TOPICS

Topics of interest include, but are not limited to:

Model checking
Theorem proving
SAT and SMT solving
Symbolic execution
Static analysis
Runtime verification
Program refinement
Compositional verification
Modeling and specification formalisms
Model-based development
Model-based testing
Requirement engineering
Formal approaches to fault tolerance
Security and intrusion detection
Applications of formal methods to aerospace systems
Applications of formal methods to cyber-physical systems
Applications of formal methods to human-machine interaction analysis


INVITED SPEAKERS

Dino Distefano
Software Engineer at Facebook, California, USA and Professor at Queen Mary University of London, UK.

Viktor Kuncak
Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland.

Rob Manning
Chief Engineer at NASA/JPL.


IMPORTANT DATES

Paper Submission: 10 Nov 2014
Paper Notifications: 12 Jan 2015
Camera-ready Papers: 9 Feb 2015
Symposium:   27 – 29 April 2015


PC CHAIRS

Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory
Rajeev Joshi, NASA Jet Propulsion Laboratory


PROGRAMME COMMITTEE

Erika Abraham, RWTH Aachen University, Germany
Julia Badger, NASA Johnson Space Center, USA
Christel Baier, Technische Universität Dresden, Germany
Saddek Bensalem, VERIMAG/UJF, France
Dirk Beyer, University of Passau, Germany
Armin Biere, Johannes Kepler University, Austria
Nikolaj Bjorner, Microsoft Research, USA
Borzoo Bonakdarpour, McMaster University, Canada
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Leonardo de Moura, Microsoft Research, USA
Ewen Denney, NASA Ames Research Center, USA
Ben Di Vito, NASA Langley Research Center, USA
Dawson Engler, Stanford University, USA
Jean-Christophe Filliatre, Université Paris-Sud, France
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Alwyn Goodloe, NASA Langley Research Center, USA
Susanne Graf, VERIMAG, France
Alex Groce, Oregon State University, USA
Radu Grosu, Vienna University of Technology, Austria
John Harrison, Intel Corporation, USA
Mike Hinchey, University of Limerick/Lero, Ireland
Bart Jacobs, University of Leuven, Belgium
Sarfraz Khurshid, The University of Texas at Austin, USA
Gerwin Klein, NICTA, Australia
Daniel Kroening, Oxford University, UK
Orna Kupferman, Hebrew University Jerusalem, Israel
Kim Larsen, Aalborg University, Denmark
Rustan Leino, Microsoft Research, USA
Martin Leucker, University of Lubeck, Germany
Rupak Majumdar, Max Planck Institute, Germany
Pete Manolios, Northeastern University, USA
Peter Mueller, ETH Zurich, Switzerland
Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA
Corina Pasareanu, NASA Ames Research Center, USA
Doron Peled, Bar Ilan University, Israel
Suzette Person, NASA Langley Research Center, USA
Andreas Podelski, University of Freiburg, Germany
Grigore Rosu, University of Illinois, USA
Kristin Yvonne Rozier, NASA Ames Research Center, USA
Natarajan Shankar, SRI International, USA
Natasha Sharygina, University of Lugano, Switzerland
Scott Smolka, Stony Brook University, USA
Willem Visser, University of Stellenbosch, South Africa
Mahesh Viswanathan, University of Illinois, USA
Mike Whalen, University of Minnesota, USA
Jim Woodcock, University of York, UK

[Caml-list] WIMS 2015: Preliminary Call for Papers

*** Preliminary Call for Papers *** 5th International Conference on Web Intelligence, Mining and Semantics WIMS 2015 July 13-15, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/wims2015/ Conference Purpose and Scope WIMS is a series of peer-reviewed International Computer Science conferences. It is a forum for researchers and practitioners to present their state-of-the-art results in building Intelligent Web, to examine performance characteristics of various approaches in Web-based intelligent information technology, and to cross-fertilize their ideas on the development of Web -based intelligent information management solutions across different domains. The purpose of the WIMS series is to: * Provide a forum for established researchers and practitioners to present their contributions to the state of the art research and development in Web technology and applications. * Give doctoral students an opportunity to present their research to a friendly and knowledgeable audience and receive valuable feedback. * Provide an informal social event where Web technology researchers and practitioners can meet. WIMS traditionally hosts a small number of short tutorials on the topics related to the scope of the conference series. The role of a WIMS tutorial is to be a theme-oriented comprehensive survey. The call for WIMS 2015 tutorials is published separately. WIMS also offers its infrastructure and facilities for the organizers of satellite workshops that complement the scope of the conference. The call for WIMS 2015 workshops is also published separately. Companies or individuals interested in presenting their industrial products or methodologies are invited to contact the conference chairs. Conference Scope WIMS solicits regular and work-in-progress research, discussion papers and industry experience report papers in related fields. Papers exploring new directions or areas are also welcome. In particular but not exclusively the submissions within the following areas are relevant: * Scalable Web and Data Architectures and Infrastructures - Crawling, caching and querying Linked (Semantic) Data - Dataset dynamics and synchronization - Big Data computing - User Interfaces and visualization for the Web of (Linked Semantic) Data at scale - Indexing and information extraction from the (Semantic) Deep Web - 3D media and content - Sensing Web and the Web of Things - Web-based Health- and Bio- Information Systems - Web security, integrity, privacy, and trust - Nature-inspired models and approaches in Web and data processing infrastructures * Web Intelligence (WI) - Semantic Agent Systems for WI - Advanced Interaction and Communication Paradigms with WI - Natural Language / Ontology-/Taxonomy-based / Hybrid Interfaces - Intelligence for Visualizing (Linked Semantic) Web Data at scale - Intelligence for Big Data Analytics - Ubiquitous Intelligence and the Internet of Things - WI in Social Media - WI in Human Computation and Social Games - Opinion Mining / Sentiment Analysis on the Social Web - Social Monetization and Computational Advertising - Visualising social network data - WI for services, grids, and middleware - Nature-inspired Models and approaches for WI * Web Mining, Information and Knowledge Extraction - Text, data stream, web and multimedia content mining - Contextualization and clustering in web mining and information extraction - Knowledge extraction and ontology learning from the Web - Linked Data mining - Information Extraction and Knowledge Discovery from Big Data - Mining and Information Extraction from the Deep Web - Semantic Deep Web data fusion * Web Semantics and Reasoning - Knowledge Representation for the Web - Ontology specification: expressivity versus usability - Ontologies and Linked Semantic Data - Development and re-use of ontologies for the Web - Crowdsourcing for ontology engineering and management on the Social Web - Lifecycle, management, and evolution of Web ontologies - Ontology merging and alignment - Rule markup languages and systems - Semantic annotation - Reasoning: scalability, expressivity, incompleteness, vagueness, and/or uncertainty * WIMS Applications - Web applications of semantic agent systems - Semantics-driven information retrieval - Semantic search - Intelligent e-Technology and the Semantic Web - Intelligence and semantics for business information management and integration - Intelligence and semantic technologies in Digital Media - Semantic technologies in e-Business, e-Commerce, e-Finance, e-Health, e-Science, e-Government, e-Learning - WI for multimedia, sensors, and situational awareness - WI for software and systems engineering - Quality of Life Technology for Web Access - Nature-inspired models and approaches in WIMS applications * Evaluation and Validation of WIMS Technologies and Applications - Evaluation and validation Methodologies - Datasets and Benchmarks for cross-evaluations and competitions - Evaluation and validation Infrastructures - Evaluation and validation metrics (e.g. fitness, quality, completeness, correctness, etc.) Submission Guidelines Four types of submissions are solicited for the main conference: i. Regular research papers ii. Short research papers iii. Case Studies and Applications papers iv. Posters The papers in all the categories should describe original results that have not been accepted or submitted for publication elsewhere. All submissions will be evaluated by at least three members of the international program committee. Regular Research Papers The papers in this category are the reports on accomplished research work or in-depth discussions and analysis of a certain problem. The first type of papers can present a novel method, technique or analysis with appropriate empirical or other type of evaluation as a proof of validity. The main evaluation criteria for this category are originality, technical soundness, and the soundness of evaluation. For the second type within the genre we expect receiving reasonable overviews placing a problem onto the state-of-the-art landscape and analyzing how far current solutions fall short. We also expect in-depth discussions and analysis of a certain problem, with clear definitions and argumentation in terms of qualitative or quantitative representation of the main characteristics of the problem. Page limit: 12 ACM pages Short Research Papers The papers in this category are the short reports of the preliminary results or describing the work in progress. The main evaluation criteria for this category are originality, technical correctness, and possible value of the planned results in a short to mid-term perspective. Short papers can be also presented in a form of a poster. Page limit: 6 ACM pages Case Studies and Applications Papers The papers in this category describe case studies of deployed applications, lessons learnt, and examples of measurable benefits. This category also includes papers that reports innovative applications of WIMS in areas of industry and government, as well as industrial experience and demonstrations of innovative systems. Page limit: 12 ACM pages Posters WIMS poster track is a venue for late-breaking results, ongoing research activities, and speculative or innovative work in progress. This track is intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Posters provide authors with a unique opportunity to draw attention to their work during the conference. Page limit: 4 ACM pages Submissions should be made electronically in PDF or DOC/DOCX (MS/Open Word) format via the electronic submission system of the WIMS2015 Conference Management system at: https://www.easychair.org/conferences/?conf=wims15 Publication Accepted papers/tutorials/posters will be published by ACM and disseminated through the ACM Digital Library through the International Conference Proceedings Series (ICPS). Important Dates 02.12.2014 Submission of tutorial and workshop proposals 19.12.2014 Notification of acceptance for tutorials & workshops 24.03.2015 Submission of papers/posters 27.04.2015 Notification of acceptance for papers/posters 11.05.2015 Camera ready versions of the accepted papers, posters, tutorial papers 30.05.2015 Author registration deadline 13-15.07.2015 Conference All the above deadlines are 23:59 Hawaii Time. WIMS Conferences Chair Rajendra Akerkar, Western Norway Research Institute, Norway General Chair Marios D. Dikaiakos, University of Cyprus, Cyprus Program Committee Co-Chairs Achilleas P. Achilleos, University of Cyprus, Cyprus Tope Omitola, University of Southampton, United Kingdom Advisory Committee Grigoris Antoniou, University of Huddersfield, UK Harold Boley, Faculty of Computer Science, University of New Brunswick, Fredericton, Canada James Hendler, Rensselaer Polytechnic Institute, Troy, NY, USA Guus Schreiber, VU University, Amsterdam, the Netherlands Amit Sheth, Ohio Center of Excellence on Knowledge-enabled Computing, Ohio, USA Industrial Track Chair John Davies, BT Research & Innovation, UK Publicity Chair Christos Mettouris, University of Cyprus, Cyprus Local Organization Chair George A. Papadopoulos, University of Cyprus, Cyprus Web Chair Kyriakos Georgiadis, EasyConferences LTD, Cyprus The proceedings of the previous WIMS conferences are available at: - WIMS2011: https://dl.acm.org/citation.cfm?id=1988688 - WIMS?2012: https://dl.acm.org/citation.cfm?id=2254129 - WIMS?2013: https://dl.acm.org/citation.cfm?id=2479787 - WIMS?2014: https://dl.acm.org/citation.cfm?id=2611040 Look for updates and more details at: http://cyprusconferences.org/wims2015/ http://www.linkedin.com/groups?gid=3933343 https://www.facebook.com/groups/WIMSCon/ https://twitter.com/wims2015

-------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce@cs.ucy.ac.cy] with the single word 'remove' in the subject of the email.

[Caml-list] TLCA: 1st CALL for PAPERS

FIRST CALL FOR PAPERS
Thirteenth International Conference on
TYPED LAMBDA CALCULI AND APPLICATIONS (TLCA 2015)

1 July - 3 July 2015, Warsaw, Poland
(co-located with RTA 2015 as part of RDP 2015)
http://rdp15.mimuw.edu.pl/

The 13th International Conference on Typed Lambda Calculi
and Applications (TLCA 2015) is a forum for original
research in the theory and applications of typed lambda
calculus, broadly construed.
Suggested, but not exclusive, list of topics for submission are:

- Proof-theory: natural deduction, sequent calculi, cut elimination
and normalization, propositions as types, linear logic and proof
nets, type-theoretic aspects of computational complexity
- Semantics: denotational semantics, game semantics, realisability,
domain theory, categorical models, higher order semantics of
natural language
- Types: subtypes, dependent types, polymorphism, inductive,
coinductive and recursive types, intersection types and related
approaches, type inference and type checking, types in program
analysis and verification, types in proof assistants, homotopy type
theory
- Programming: foundational aspects of functional programming,
object-oriented programming and other programming paradigms,
calculi for higher order concurrency (e.g. pi-calculus),
flow analysis of higher-type computation, program equivalence,
program transformation and optimization
- Typed lambda calculi in education, proof systems based on lambda
calculus to teach mathematics, lambda calculi as a unified notation
in scientific education

SUBMISSION GUIDELINES

We solicit submissions of research papers, which must:
- be in English and not exceed 15 pages (including figures and
bibliography). Additional material intended for the reviewers
but not for publication in the final version - for example
details of proofs - may be placed in a clearly marked appendix
that is not included in the page limit. Reviewers will be told
that they may choose to ignore the appendix.
- present original research which is unpublished and not submitted
elsewhere (conferences, journals, books, etc.)
- use LIPIcs latex style
http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/
- be submitted electronically in PDF via theEasyChair TLCA
2015 Submission Webpage (will open nearer the deadline).

Submissions deviating from these instructions may be rejected without
review. A condition of submission is that, if accepted, one of the
authors must attend the conference to give the presentation. The
proceedings will be published as an electronic volume in the Leibniz
International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl.
Note that LIPIcs is open access and hence publications automatically
satisfy the requirements many research councils impose on
publications.

Any questions regarding the submission guidelines should be directed
to the Programme Committee Chair prior to submitting.

COLOCATED EVENTS

TLCA 2015 is organized as part of the Federated Conference on
Rewriting, Deduction, and Programming (RDP 2015), together with
the International Conference on Rewriting Techniques and
Applications (RTA 2015) and several related events. Details on
workshops affiliated with RDP 2015 will be available at the web
site in due course.

IMPORTANT DATES
Abstract Deadline: 30 January 2015
Submission Deadline: 6 February 2015
Notification: 2 April 2015
Camera-Ready: 17 April 2015

PROGRAMME CHAIR

Thorsten Altenkirch (U Nottingham)
tlca2015@easychair.orgtlca2015@easychair.org

PROGRAMME COMMITTEE

Steve Awodey (Carnegie Mellon U)
Stefano Berardi (U Torino)
James Chapman (TU Tallinn)
Gilles Dowek (INRIA)
Peter Dybjer (Chalmers U)
Silvia Ghilezan (U Novi Sad)
Mauro Jaskelioff (U Rosario)
Chantal Keller (MSR Cambridge)
Paul Levy (U Birmingham)
Ralph Matthes (IRIT, CNRS U Toulouse)
Keiko Nakata (TU Tallinn)
Damian Niwinski (U Warsaw)
Valeria de Paiva (Nuance Communications)
Matthieu Sozeau (INRIA)
Wouter Swierstra (U Utrecht)

CONFERENCE CHAIR

Aleksy Schubert (U Warsaw)

TLCA STEERING COMMITTEE

Sandra Alves (U Porto)
Steve Awodey, (CMU)
Pierre-Louis Curien (CNRS/U Paris Diderot)
Ugo Dal Lago (U Bologna)
Gilles Dowek (INRIA)
Masahito Hasegawa (U Kyoto)
Hugo Herbelin (U Denis Diderot)
Martin Hofmann (LMU Munchen)
Luke Ong (U Oxford)
Michele Pagani (U Denis Diderot)
Jens Palsberg (UCLA)
Jakob Rehof (U Dortmund)
Pawel Urzyczyn (U Warsaw), chair
Philip Wadler (U Edinburgh)

TLCA HONORARY ADVISOR

Samson Abramsky (U Oxford)
Henk Barendregt (U Nijmegen)
Mariangiola Dezani (U Torino)
Roger Hindley (Swansea U)
Simona Ronchi Della Rocca (U Torino)

TLCA PUBLICITY CHAIR

Luca Paolini (U Torino)


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] CADE-25 Call for Papers, etc.

----------------------------------------------------------------------------

CALL FOR WORKSHOPS, TUTORIALS, SYSTEM COMPETITIONS, AND PAPERS

25th International Conference on Automated Deduction (CADE-25)
Berlin, Germany, 1-7 August 2015

http://www.cade-25.info

Submission deadlines:

14 November 2014 (workshops/tutorials/competitions)
16/23 February 2015 (papers)

CADE is the major international forum at which research on all aspects of
automated deduction is presented. The 25th jubilee edition will feature
a special session on the past, present, and future of automated deduction
with

Ursula Martin University of Oxford
Frank Pfenning Carnegie Mellon University
David Plaisted University of North Carolina at Chapel Hill
Andrei Voronkov University of Manchester

as invited speakers. In addition, there will be invited presentations by

Ulrich Furbach University of Koblenz
Edward Zalta Stanford University


CALL FOR WORKSHOPS

Workshop proposals for CADE-25 are solicited. Both well-established
workshops and newer ones are encouraged. Similarly, proposals for workshops
with a tight focus on a core automated reasoning specialization, as well as
those with a broader, more applied focus, are very welcome.

Please provide the following information in your application document:

+ Workshop title.
+ Names and affiliations of organizers.
+ Proposed workshop duration (from half a day to two days) and preferred
day(s).
+ Brief description of the goals and the scope of the workshop. Why is the
workshop relevant for CADE?
+ Is the workshop new or has it met previously? In the latter case
information on previous meetings should be given (e.g., links to the
program, number of submissions, number of participants).
+ What are the plans for publication?


CALL FOR TUTORIALS

Tutorial proposals for CADE-25 are solicited. Tutorials are expected to be
half-day events, with a theoretical or applied focus, on a topic of interest
for CADE-25. Proposals should provide the following information:

+ Tutorial title.
+ Names and affiliations of organizers.
+ Brief description of the tutorial's goals and topics to be covered.
+ Whether or not a version of the tutorial has been given previously.

CADE will take care of printing and distributing notes for tutorials that
would like this service.


CALL FOR SYSTEM COMPETITIONS

The CADE ATP System Competition (CASC), which evaluates automated theorem
proving systems for classical logics, has become an integral part of the
CADE conferences.

Further system competition proposals are solicited. The goal is to foster
the development of automated reasoning systems in all areas relevant for
automated deduction in a broader sense. Proposals should include the
following information:

+ Competition title.
+ Names and affiliations of organizers.
+ Duration and schedule of the competition.
+ Room/space requirements.
+ Description of the competition task and the evaluation procedure.
+ Is the competition new or has it been organized before?
In the latter case information on previous competitions should be given.
+ What computing resources are required and how will they be provided?


CALL FOR PAPERS

High-quality submissions on the general topic of automated deduction,
including foundations, applications, implementations, and practical
experiences are solicited.

* Logics of interest include propositional, first-order, equational,
higher-order, classical, description, modal, temporal, many-valued,
constructive, other non-classical, meta-logics, logical frameworks, type
theory, set theory, as well as any combination thereof.

* Paradigms of interest include theorem proving, model building, constraint
solving, computer algebra, model checking, proof checking, and their
integration.

* Methods of interest include resolution, superposition, completion,
saturation, term rewriting, decision procedures, model elimination,
connection methods, tableaux, sequent calculi, natural deduction, as
well as their supporting algorithms and data structures, including
matching, unification, orderings, induction, indexing techniques, proof
presentation and explanation, proof planning.

* Applications of interest include program analysis, verification and
synthesis of software and hardware, formal methods, computational logic,
computer mathematics, natural language processing, computational
linguistics, knowledge representation, ontology reasoning, deductive
databases, declarative programming, robotics, planning, and other areas
of AI.

Submissions can be made in the categories regular papers and system
descriptions. The page limit in Springer LNCS style is 15 pages for regular
papers and 10 pages for system descriptions. Submissions must be unpublished
and not submitted for publication elsewhere. They will be judged on
relevance, originality, significance, correctness, and readability. System
descriptions should contain a link to a working system and will also be
judged on usefulness and design. Proofs of theoretical results that do not
fit in the page limit, executables of systems, and input data of experiments
should be made available, via a reference to a website or in an appendix of
the paper. Reviewers will be encouraged to consider this additional
material, but submissions must be self-contained within the respective page
limit; considering the additional material should not be necessary to
assess the merits of a submission. The proceedings of the conference will
be published in the Springer LNCS/LNAI series. Formatting instructions and
the LNCS style files can be obtained at

http://www.springer.de/comp/lncs/authors.html

At every CADE conference the Program Committee selects one of the
accepted papers to receive the CADE Best Paper Award. The award
recognizes a paper that the Program Committee collegially evaluates as
the best in terms of originality and significance, having substantial
confidence in its correctness. Overall technical quality,
completeness, scholarly accuracy, and readability are also
considered. Characteristics associated with a best paper include, for
instance, introduction of a strong new technique or approach, solution
of a long-standing open problem, introduction and solution of an
interesting and important new problem, highly innovative application
of known ideas or existing techniques, and presentation of a new
system of outstanding power. Under exceptional circumstances, the
Program Committee may give two awards (ex aequo) or give no award.

At CADE-25 we also intend to award the best student paper (details
will follow).


IMPORTANT DATES

Workshop/Tutorials/System Competitions:

Submission deadline: 14 November 2014
Notification: 28 November 2014

Papers:

Abstract deadline: 16 February 2015
Submission deadline: 23 February 2015
Rebuttal phase: 15-18 April 2015
Notification: 26 April 2015
Final version: 17 May 2015

Workshops and Tutorials: 1 August to 3 August (morning) 2015
Competitions: 1 to 7 August 2015
Conference: 3 August (afternoon) to 7 August 2015


SUBMISSION INSTRUCTIONS

Proposals for workshops, tutorials, and system competitions should be
uploaded via

https://easychair.org/conferences/?conf=cade25workshopstutor

Papers should be submitted via

https://easychair.org/conferences/?conf=cade25


CADE-25 ORGANIZERS

Conference Chair:
Christoph Benzmüller Freie Universität Berlin

Program Committee Co-Chairs:
Amy Felty University of Ottawa
Aart Middeldorp University of Innsbruck

Workshop, Tutorial, and Competition Co-Chairs:
Jasmin Blanchette Technische Universität München
Andrew Reynolds EPFL Lausanne

Publicity and Web Chair:
Julian Röder Freie Universität Berlin

Program Committee
Carlos Areces Universidad Nacional de Córdoba
Alessandro Armando University of Genova
Christoph Benzmüller Freie Universität Berlin
Josh Berdine Microsoft Research
Jasmin Blanchette Technische Universität München
Marta Cialdea Mayer Universita di Roma Tre
Stephanie Delaune CNRS
Gilles Dowek Inria
Amy Felty University of Ottawa
Reiner Hähnle Technical University of Darmstadt
Stefan Hetzl Vienna University of Technology
Marijn Heule The University of Texas at Austin
Nao Hirokawa JAIST
Ullrich Hustadt University of Liverpool
Deepak Kapur University of New Mexico
Gerwin Klein NICTA and UNSW
Laura Kovács Chalmers University of Technology
Carsten Lutz Universität Bremen
Assia Mahboubi Inria
Aart Middeldorp University of Innsbruck
Albert Oliveras Technical University of Catalonia
Nicolas Peltier CNRS
Brigitte Pientka McGill University
Ruzica Piskac Yale University
André Platzer Carnegie Mellon University
Andrew Reynolds EPFL Lausanne
Christophe Ringeissen LORIA-INRIA
Renate Schmidt University of Manchester
Stephan Schulz DHBW Stuttgart
Georg Struth University of Sheffield
Geoff Sutcliffe University of Miami
Alwen Tiu Nanyang Technological University
Freek Wiedijk Radboud University Nijmegen

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] NETYS 2015 Call for Papers

*CALL FOR PAPERS

THE INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS**
**NETYS 2015**
**May 13-15, 2015, AGADIR, MOROCCO**
**http://www.netys.net*



*Aim and Scope:**
*
NETYS aims to bring together researchers and engineers from both the
theory and practice of distributed and networked systems. The scope of
the conference covers all aspects related to the design and the
development of these systems, including, but not restricted to,
multi-core architectures, concurrent and distributed algorithms,
parallel/concurrent/distributed programming, distributed databases,
cloud systems, networks, security, formal verification, etc.

NETYS will provide a forum to report on best practices and novel
algorithms, results and techniques on networked systems. Original
contributions as well as experience papers on the principles, design,
implementation, modeling, analysis, verification, and application of
networked systems are solicited. Specific concepts common to different
forms of such systems are most welcome.

NETYS is coupled with the METIS Spring School which aims at introducing
young researchers to the domain of distributed and networked systems
through tutorials on basics, as well as lectures on new research topics
and current trends in this domain.

*Paper submission:**
*
Submissions should contain original research and sufficient detail to
assess the merits and relevance of the contribution. NETYS welcomes
papers on theory, case studies and comparisons with existing
experimental research, tools, as well as combinations of new theory with
experimental evaluation.

NETYS is soliciting two forms of papers: full and short papers. Full
papers are allowed a maximum of 15 pages in Springer's LNCS format,
whereas short papers are allowed a maximum of 5 pages (in the same
format), both in the submission and in the proceedings. A full paper
submission might be accepted as such, as a short paper or a poster. A
short paper may be accepted as such or as a poster.

Posters will be presented at the conference to reflect work in progress
and will not lead to a publication in the proceedings. Authors are given
the option to accept or not the type in which their paper is selected
for acceptance.

*Publication:*

Springer's Lecture Notes in Computer Science series will publish the
proceedings of the conference (www.springer.com/lncs). It is required
that each accepted paper be presented at the conference by one of its
authors.

The Computing Journal could publish extended versions of selected papers
(www.springer.com/computer/journal/607)

Awards will be given to the best paper and the best student paper. A
paper is eligible for the best student paper award if at least one of
its authors is a full-time student at the time of submission. This
should be indicated in the submission.

*Submission instructions:*

All submissions should follow the LNCS template. Submitted papers must
be written in English. Full papers are allowed a maximum of 15 pages in
LNCS format, whereas short papers are allowed a maximum of 5 pages, both
in the submission and in the proceedings. Papers exceeding these limits
may be rejected without review.

Paper submission will be handled by EasyChair, so please make sure that
you have an active account. The papers must be submitted electronically at:
https://easychair.org/conferences/?conf=netys2015

*Important dates**
*
- Abstract submission deadline: January 5, 2015
- Paper submission deadline: January 9, 2015
- Acceptance notification: March 9, 2015
- Camera ready copy due: April 10, 2015
- Conference: May 13-15, 2015

*Organization:*

/_General Co-chairs_:/
Mohammed Erradi ENSIAS, Rabat, Morocco
Rachid Guerraoui EPFL, Switzerland

/_Program Co-chairs_:/
Ahmed Bouajjani Univ. Paris Diderot, France
Hugues Fauconnier Univ. Paris Diderot, France

/_Program Committee_:/
Parosh Aziz Abdulla Univ. Uppsala, Sweden
Joffroy Beauquier Univ. Paris 11, France
Gregor Bochmann Univ. Ottawa, Canada
Carole Delporte Univ. Paris Diderot, France
Amr El Abbadi UCSB, USA
Khaldoun El Agha Univ. Paris 11, France
Mohamed El Koutbi ENSIAS, Rabat, Morocco
Boualem Benatallah Univ. New South Wales, Australia
Mohamed El Kamili USMBA, Fes, Morocco
Bernd Freisleben Univ. Marburg, Germany
Mohamed Gouda Univ. Texas at Austin
Vincent Gramoli Univ. Sydney, Australia
Seif Haridi SICS, Sweden
Maurice Herlihy Brown Univ., USA
Claude Jard Univ. Nantes, France
Zahi Jarir Univ. Cadi Ayyad, Morocco
Anne-Marie Kermarrec INRIA, Rennes, France
Rupak Majumdar MPI-SWS, Germany
Stephan Merz INRIA, Nancy, France
Louise Moser UCSB, USA
Hassan Mountassir Univ. Franche-Comt?, France
Guevara Noubir Northeastern Univ., USA
Andreas Podelski Univ. Freiburg, Germany
Shaz Qadeer Microsoft Research, USA
Vivien Quema INPG, Grenoble, France
Sergio Rajsbaum UNAM, Mexico
Ganesan Ramalingam Microsoft Research, India
Michel Raynal IRISA, Rennes, France
Alexander Shvartsman Univ. Connecticut, USA
Sebastian Tixeuil Univ. Pierre et Marie Curie, France
Martin Vechev ETH Zurich, Switzerland

_/Organizing Committee/_:
Khadija Bakkouch IRFC, Rabat
Abdellah Boulouz Univ. Ibn zohr, Agadir
Mohammed Erradi ENSIAS, UM5S, Rabat
Zahi Jarir Univ. Cadi Ayyad, Marrakech
Mohammed Ouzzif ESTC, UH2M, Casablanca

_/Students Committee/_:
Meryeme Ayache ENSIAS, UM5S, Rabat
Yahya Benkaouz ENSIAS, UM5S, Rabat

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] Mathematics of Program Construction (MPC 2015): first call for papers

Apologies for multiple copies.

FIRST CALL FOR PAPERS

12th International Conference on Mathematics of Program Construction, MPC 2015
Königswinter, Germany, 29 June - 1 July 2015
http://www.cs.ox.ac.uk/conferences/MPC2015/


BACKGROUND

The MPC conferences aim to promote the development of mathematical principles
and techniques that are demonstrably practical and effective in the process
of constructing computer programs, broadly interpreted.

The 2015 MPC conference will be held in Königswinter, Germany, from 29th June
to 1st July 2015. The previous conferences were held in Twente, The
Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995),
Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany
(2002), Stirling, UK (2004, colocated with AMAST), Kuressaare, Estonia (2006,
colocated with AMAST), Marseille, France (2008), Québec City, Canada (2010,
colocated with AMAST), and Madrid, Spain (2012).


TOPICS

Papers are solicited on mathematical methods and tools put to use in program
construction. Topics of interest range from algorithmics to support for
program construction in programming languages and systems. The notion of
"program" is broad, from algorithms to hardware. Some typical areas are type
systems, program analysis and transformation, programming-language semantics,
security, and program logics. Theoretical contributions are welcome, provided
that their relevance to program construction is clear. Reports on
applications are welcome, provided that their mathematical basis is evident.

We also encourage the submission of "pearls": elegant, instructive, and fun
essays on the mathematics of program construction.


IMPORTANT DATES

* Submission of abstracts: 26 January 2015
* Submission of full papers: 2 February 2015
* Notification to authors: 16 March 2015
* Final version: 13 April 2015


SUBMISSION

Submission is in two stages. Abstracts (plain text, 10 to 20 lines) must be
submitted by 26 January 2015. Full papers (pdf) adhering to the LaTeX llncs
style must be submitted by 2 February 2015. There is no official page limit,
but authors should strive for brevity. The web-based system EasyChair will be
used for submission (https://easychair.org/conferences/?conf=mpc2015).

Papers must report previously unpublished work, and must not be submitted
concurrently to a journal or to another conference with refereed proceedings.
Accepted papers must be presented at the conference by one of the authors.
Please feel free to write to mpc2015@easychair.org with any questions about
academic matters.

The proceedings of MPC 2015 will be published in Springer-Verlag's Lecture
Notes in Computer Science series, as have all the previous editions. Authors
of accepted papers will be expected to transfer copyright to Springer for
this purpose. After the conference, authors of the best papers will be
invited to submit revised versions to a special issue of the Elsevier journal
Science of Computer Programming.


PROGRAMME COMMITTEE

Ralf Hinze University of Oxford, UK (chair)

Eerke Boiten University of Kent, UK
Jules Desharnais Université Laval, Canada
Lindsay Groves Victoria University of Wellington, New Zealand
Zhenjiang Hu National Institute of Informatics, Japan
Graham Hutton University of Nottingham, UK
Johan Jeuring Utrecht University and Open University, The
Netherlands
Jay McCarthy Vassar College, US
Bernhard Möller Universität Augsburg, Germany
Shin-Cheng Mu Academia Sinica, Taiwan
Dave Naumann Stevens Institute of Technology, US
Pablo Nogueira Universidad Politécnica de Madrid, Spain
Ulf Norell University of Gothenburg, Sweden
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong
José Nuno Oliveira Universidade do Minho, Portugal
Alberto Pardo Universidad de la República, Uruguay
Christine Paulin-Mohring INRIA-Université Paris-Sud, France
Tom Schrijvers KU Leuven, Belgium
Emil Sekerinski McMaster University, Canada
Tim Sheard Portland State University, US
Anya Tafliovich University of Toronto Scarborough, Canada
Tarmo Uustalu Institute of Cybernetics, Estonia
Janis Voigtländer Universität Bonn, Germany


VENUE

The conference will take place in Königswinter, Maritim Hotel, where
accommodation has been reserved. Königswinter is situated on the right bank
of the river Rhine, opposite Germany's former capital Bonn, at the foot of
the Siebengebirge.


LOCAL ORGANIZERS

Ralf Hinze University of Oxford, UK (co-chair)
Janis Voigtländer Universität Bonn, Germany (co-chair)
José Pedro Magalhães University of Oxford, UK
Nicolas Wu University of Oxford, UK

For queries about local matters, please write to jv@informatik.uni-bonn.de.

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs