[Caml-list] CADE-25 Final Call for Papers

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

FINAL CALL FOR PAPERS

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

http://www.cade-25.info

Key dates:

16 February 2015 (abstracts)
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
Michael Genesereth Stanford University (joint with RuleML Symposium)


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

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

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] SFM-15:MP school on Multicore Programming -- second cfpart

***********************************************************
* *
* SFM-15:MP *
* *
* 15th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Multicore Programming *
* *
* Bertinoro (Italy), 15-19 June 2015 *
* *
* http://www.sti.uniurb.it/events/sfm15mp/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2015) *
***********************************************************


GENERAL INFORMATION ABOUT SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.

The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.

This year SFM is devoted to multicore programming and covers
topics such as concurrency and coordination mechanisms,
architecture and memory models, and type systems.


COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^

The school features the following lectures:

"Parallel Objects for Multicores"
Dave Clarke (Uppsala U, SE)

"Concurrency in Java"
Doug Lea (SUNY Oswego, US)

"Coordinating Multicore Computing"
Farhad Arbab (CWI Amsterdam, NL)

"Automated Inference of Atomic Sets for Safe Concurrent Execution"
Gul Agha (UI Urbana-Champaign, US)

"Modeling of Architectures"
Jade Alglave (UC London, UK)

"Memory Models for Programming Languages"
Francesco Zappa Nardelli (INRIA Paris-Rocquencourt, FR)

"Multiparty Session Types"
Nobuko Yoshida (IC London, UK)

"Ownership Types"
Sophia Drossopoulou (IC London, UK)

"Types and Permissions in Mezzo"
Francois Pottier (INRIA Paris-Rocquencourt, FR)

"Safe Concurrent Programming with Behavioral Types"
Luis Caires (UN Lisbon, PT)

All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.


LOCATION
^^^^^^^^

SFM-15:MP will be held in the medieval hilltop town of Bertinoro.

This place is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).

Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.
Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Parma, Rimini, Ravenna, Ferrara,
Padova, Venezia, Verona, Firenze, Pisa, Lucca, and Siena.

Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted into a modern conference center.
From the fortress, it is possible to enjoy a beautiful vista stretching
from the Apennines to the Adriatic Coast and the Alps over the Po Valley.


ORGANIZATION
^^^^^^^^^^^^

Scientific directors:
* Marco Bernardo (U Urbino, IT)
* Einar Broch Johnsen (U Oslo, NO)

Secretary:
* Monica Michelacci (CRU Bertinoro, IT)


APPLICATION
^^^^^^^^^^^

Prospective participants should send by 21 March 2015
the application form, available on the school website,
to the two e-mail addresses below:

Marco Bernardo
marco.bernardo AT uniurb.it

Monica Michelacci
mmichelacci AT ceub.it

The registration fee is 300 euros and includes the school material.

The accommodation fee is 350 euros and covers the period June 14-20
(6 nights), double room (to share with another participant),
half board (breakfast and lunch from June 15, lunch of June 20 excluded).

The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 15-19
(5 lunches).

A very limited number of grants is available to cover
the registration fee (no grant can be requested
to cover the accommodation fee or the travel expenses).

Notification of accepted/rejected applications and
grant requests will be communicated by March 31.

Registration to the school, including payment of fees,
is due by April 20.

No refund is possible for cancellation after May 15.

--
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] WETICE 2015: Final Call for Papers (*** extended submission deadline ***)

*** FINAL CALL FOR PAPERS *** 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015) 15-17 June 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://www.cyprusconferences.org/wetice2015/ *** Extended Submission Deadline: 28 February 2015 *** The IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) is an international forum for the state-of-the-art research in enabling technologies for collaboration, consisting of a number of related conference tracks. The conference proceedings are published by IEEE Computer Society and are also available online through the IEEE's Xplore digital library. The proceedings will be submitted for indexing through INSPEC, Scopus, Compendex, Thomson Reuters, DBLP, Google Scholar and EI Index. The 24th WETICE edition, held on June 15-17, 2015 in Larnaca (Cyprus), consists of a set of self-contained and self-managed tracks. The Program Committee solicits the submission of papers to the following tracks: • ACEC – Adaptive Computing (and Agents) for Enhanced Collaboration • AROSA – Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures • CAGing – Collaborative and Autonomic Green Computing • CDCGM – Convergence of Distributed Clouds, Grids and their Management • COPECH – Collaboration tools for Preservation of Environment and CulturalHeritage • CPS – Capacity driven Processes and Services for Cyber Physical Society • CSP – Collaborative Software Processes • FISA – Future Internet Services and Applications (formerly PASCS and PROMASC) • FVSBS – Formal Verification of Service Based Systems • MADYNE – Management of Dynamic Networked Enterprises • VSC – Validating Software for Critical Systems • Web2Touch – Modeling the Collaborative Web Knowledge Prospective authors are invited to use the links available at the List of Tracks page of the WETICE 2015 main website (www.wetice.org) to get detailed information about the list of topics addressed by each single track. The paper submission procedure is carried out using the EasyChair conference management system; the link for submission is: https://easychair.org/conferences/?conf=wetice2015 IMPORTANT DATES • Submission deadline: February 28th, 2015 (extended) • Notification of acceptance: March 27th, 2015 • Camera-ready submission: April 10th, 2015 Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template, which is available at the link: http://www.ieee.org/conferences_events/conferences/publishing/templates.html Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. At least one author for each accepted paper should register and attend WETICE 2015 to have the paper published in the proceedings. Please contact the Program Chairs for any additional information or request. Andrea D'Ambrogio (dambro@uniroma2.it) Khalil Drira (khalil@laas.fr) WETICE 2015 Program Chairs

-------------------------------------------------------------------- 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] IEEE/ACM UCC 2015: First Call for Papers, Tutorial and Workshop Proposals

*** First Call for Papers, Tutorial and Workshop Proposals *** 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/ucc2015 CONTEXT AND SCOPE Cloud Computing delivers computational resources on-demand as services that are commoditized and delivered analogous to traditional utilities such as electricity, gas, water and telephony. Cloud service offerings for compute, storage and communication resources as well as for hosted software and data are growing at a tremendous rate, and it is essential to understand how to effectively transform these services into Utilities that provide value to both users and providers. There is also increasing interest from commercial providers to offer business and revenue models around the services they offer. Understanding how these models could be used to provide utility for users, intermediary brokers (aggregators) and providers is also an area of active research. UCC is the premier IEEE/ACM conference covering all areas related to Cloud Computing as a Utility and provides an international forum for leading researchers and practitioners in this important and growing field. UCC 2015, to be held in Cyprus, will happen as Cloud providers worldwide add new services and increase Cloud utility at an accelerated pace, and Cloud service users explore new usage modes. This will be the 8th UCC in a successful conference series. Previous events were held in Shanghai, China (Cloud 2009), Melbourne, Australia (Cloud 2010 & UCC 2011), Chennai, India (UCC 2010), Chicago, USA (UCC 2012), Dresden, Germany (UCC2013), and London, UK (UCC 2014). CALL FOR PAPERS Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of Cloud and Utility computing including design and analysis of distributed and centralized Cloud systems, data centre design and engineering, economic and market models for cloud systems, revenue and business models and their applications in scientific, engineering, and commercial deployment. Topics of interest include but are not limited to: • Big Data and Analytics • Principles and theoretical foundations of Utility Computing, including pricing and service models • Policy languages and Programming models • Utility driven model and mechanisms for Cloud federations • Autonomic techniques for Clouds and Cloud applications • Utility-driven platforms for Clouds • Architectural models to achieve Utility in Clouds • Designs and deployment models for Clouds: private, public, hybrid, federated, aggregated • Cloud Computing middleware, stacks, tools, delivery networks and services at all layers (XaaS) • Virtualization technologies and other enablers • Economic models and scenarios of use • Scalability and resource management: brokering, scheduling, capacity planning, parallelism and elasticity, as well as marketplaces • Cloud management: autonomic, adaptive, self-*, SLAs, performance models and monitoring • Applications: games, social networks, scientific computing (e-science) and business • Mobile and energy-efficient use of Clouds • Beyond technology: Cloud business and legal implications, such as security, privacy, trust and jurisdiction, especially in Utility contexts One or more best paper awards will be given for outstanding contributed papers. Further details as well as submission guidelines are available at the conference website and below. MANUSCRIPT GUIDELINES Submitted manuscripts should be structured as technical papers and may not exceed ten (10) single-spaced double-column pages using 10-point size font on 8.5x11 inch pages (IEEE conference style), including figures, tables, and references. Electronic submissions must be in the form of a readable PDF file. Manuscripts must be received by July 03, 2015. All manuscripts will be reviewed by the Program Committee and evaluated on originality, relevance of the problem to the conference theme, technical strength, rigor in analysis, quality of results, and organization and clarity of presentation of the paper. Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the Program Chairs at the email addressed below for further information or clarification. Notification of review decisions will be mailed by August 21, 2015. Camera -ready papers are due by September 21, 2015. Published proceedings will be available at the conference. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. Presentation of an accepted paper at the conference is a requirement of publication. Any paper that is not presented at the conference will not be included in IEEE Xplore. SPECIAL ISSUES Selected papers from the conference will be invited to submit an extended version to the a number of top quality journals. Papers will be selected based on their reviewers' scores and appropriateness to a journal's theme. All extended versions will undergo reviews and must represent original unpublished research work. Further details will be made available at the conference webpage. TUTORIAL PROPOSAL REQUIREMENTS Each tutorial proposal must contain the following: • Title. • Name and Affiliation of the Speaker(s). • Abstract (one paragraph, 200 words max., including previous experience with such tutorials). • Intended Audience (one paragraph) and prerequisites: Describe the background assumed of tutorial attendees (i.e. beginner, intermediate, advanced), and any requirements needed (e.g. bring own laptop). • Learning Outcome (one paragraph): Describe the benefit, knowledge or skill that will be gained by attendees. • Description (no more than 2 pages): A statement giving clear motivation /justification for the topic to be presented at UCC 2015 and a comprehensive outline of the proposed content. • Statement on if this tutorial has been given before and if so how this presentation will be different. • Materials (one paragraph): A description of materials to be provided to attendees on the conference website – course slides, annotated bibliography, code snippets, etc. NOTE: the materials themselves do not need to be provided in the proposal. • Bio-sketch: A single paragraph bio-sketch per tutorial presenter. • Requested tutorial length (preferably half-a-day). • Tutorial proposals should be submitted in PDF format by email to the tutorial chairs by the 3rd of July, 2015. RESPONSIBILITIES Materials for the tutorial must be emailed by the 13th of November 2015 at the latest. The UCC 2015 Conference Organizing Committee will be responsible for the following: • Providing logistics support and a meeting place for the tutorial. • In conjunction with the organizers, determining the tutorial date and time. • Providing copies of the tutorial materials to attendees. WORKSHOP PROPOSAL REQUIREMENTS Proposals for workshops should be no more than 2 pages in length and should contain the following information: • Title and brief technical description of the workshop, specifying the goals and the technical issues that will be the focus of the workshop. • A brief description of why and to whom the workshop is of interest. • A list of related workshops or similar events held in the last 3 years, or to be held in 2015. • The names and contact information (web page, email address) of the proposed technical program committee. This committee should consist of at least 10 people knowledgeable about the technical issues to be addressed and preferably not more than two members of the same institution. • A description of the qualifications of the organizers (who would be the Workshop Chairs) with respect to organizing this workshop. This can include papers published in the proposed topic area, previous workshop organization, and other relevant information. • Workshop proposals should be submitted in PDF format by email to the workshop chairs by the 8th of May, 2015. RESPONSIBILITIES Workshop chair(s) will be responsible for the following: • Producing a web page and a "Call for Papers/Participation" for their workshop. The URL should be sent to the UCC Workshops chairs. The call must make it clear that the workshop is open to all members of the Cloud, Big Data, Grid and Cluster Computing community. It should mention that at least one author of each accepted submission must attend the workshop and that all workshop participants must pay the UCC 2015 workshop day or conference registration fee. The CfP should make it clear that the registration of at least one author requires the full (non-student, non- workshop) rate. • Ensure that all workshop papers are a maximum of 6 pages in length (in IEEE format). It is the responsibility of the workshop organizers to ensure that this page limit has been adhered to. Additional pages may be purchased (in some circumstances) subject to approval by the proceedings chairs. • Provide a brief description of the workshop for the conference web page and program. • Selecting the participants and the format of the workshop. The publication of proceedings will be by the IEEE in the same volume as the main conference. The acceptance notification (by workshop chairs) therefore should be the same as the conference paper acceptance notification (i.e. the dates should be the same). All other details can be up to workshop organizers to set. • Advertising the workshop beyond the conference web page. • Assistance in producing a camera-ready version of the workshop proceedings. IMPORTANT NOTE If the workshop is too small (i.e. does not attract enough submissions) the UCC 2015 Organizing Committee may decide to merge that workshop with another. So we encourage workshop organizers to attract a large community. In extreme situations we may also cancel workshops if there are not enough submissions. Workshop organizers must ensure that suitable quality measures have been taken to ensure that the accepted papers are of high quality. All papers must be reviewed by an International Technical Program Committee with a minimum of 3 reviews per paper. The workshop organizers should also try to observe an acceptance rate that is no higher than 50%. Unless indicated on the UCC website, there will be no travel support and no registration discounts for authors and organizers. Workshops are not automatically endorsed by IEEE or ACM and should not use the names of these organisations in their titles. The UCC 2015 Conference Organizing Committee will be responsible for the following: • Providing a link to a workshop's local page. • Providing logistics support and a meeting place for the workshop. • In conjunction with the organizers, determining the workshop date and time. • Providing copies of the workshop proceedings to attendees. IMPORTANT DATES • Tutorial proposals due: 03 July, 2015 • Notification of tutorial proposals: 14 August, 2015 • Final description of accepted proposals: 14 September, 2015 • Tutorial slides due: 13 November, 2015 • Workshop proposals due: 08 May, 2015 • Notification of workshop proposals: 22 May 2015 • Paper submissions due: 03 July, 2015 • Notification of acceptance: 21 August, 2015 • Camera ready papers due: 21 September, 2015 • Early and author registration deadline: 21 September, 2015 COMMITTEES General Chairs • Ashiq Anjum, University of Derby, UK • George Papadopoulos, University of Cyprus Program Committee Chairs • Manish Parashar, Rutgers University, USA (parashar AT rutgers.edu) • Omer Rana, Cardiff University, UK (ranaof AT cardiff.ac.uk) Standards/Plug-fest Chair • Alan Sill, Texas Tech, USA & Open Grid Forum Workshops Chairs • Ilkay Altintas, SDSC, USA (altintas AT sdsc.edu) • Josef Spillner, TU Dresden, Germany (josef.spillner AT tu-dresden.de) Tutorials Chairs • Ewa Deelman, USC, USA (deelman AT isi.edu) • Rafael Tolosana, Univ. of Zaragoza, Spain (rafaelt AT unizar.es) Posters Chair • Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair • Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair • Ian Taylor, Cardiff University, UK Industry Chair • Achilleas Achilleos, University of Cyprus, Cyprus Proceedings Chairs • Nick Antonopoulos, University of Derby, UK • George Palis, University of Cyprus, Cyprus Publicity Chair • Georgia Kapitsaki, University of Cyprus, Cyprus

-------------------------------------------------------------------- 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] First Call for Papers: SETS 2015

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

CALL FOR PAPERS -- SETS 2015

********************************************************************************
2nd International Workshop about Sets and Tools (SETS 2015)
June 23, 2015, Oslo, Norway
Affiliated to FM 2015
http://sets2015.cnam.fr/
********************************************************************************

AIM

Sets and constructs built upon them like relations, functions, sequences are
the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B.
Sets also occur in the formalization of mathematics, as evidenced by the large
library of the Mizar proof system for example. In addition, still in the
domain of verification, there is an increasing interest to automate set theory
(which is known to be a difficult problem), with some concrete realizations,
such as mp (the "main prover" of Atelier B) or Muscadet (an automated theorem
prover for natural deduction, which gives some good performances in set
theory). Sets are also the main features of some programming languages like
the former SetL language or the more recent {log} language (pronounced as
setlog).

The workshop aims at bringing together researchers interested in set theory,
especially to design tools for dealing with set theory, such as interactive or
automated theorem provers, proof checkers, theories for general purpose proof
tools, constraint solvers, programming languages etc. These tools may be
dedicated or general purpose tools. Contributions by theoreticians working on
set theories or fragments of set theories in the aim of designing concrete
tools, and by practitioners using set-based tools are both welcome. We are
also interested by contributions providing some comparisons between set
modeling techniques and other formalisms, such as type theory (and variants)
for instance. Finally, regarding the domains of application, we mainly expect
contributions in the framework of formal methods, but not exhaustively, and
contributions reporting formalizations of mathematics using set theory for
example could be of interest for this workshop as well.

TOPICS

Topics of interest for this workshop include all aspects of set theory and
corresponding tools. More specifically, some suggested topics are:

* Proof tools for sets
* Constraint solvers for sets
* Set-based programming languages
* Automated verification in set theory
* Encoding of sets in provers
* Set theories for SMT solvers
* Use of set-based tools in formal methods
* Use of set-based tools in mathematics
* Comparison of set-based tools
* Comparison between set and type theories
* Experience reports

CONTRIBUTIONS AND PROCEEDINGS

Submitted papers must be 6-15 pages in length, following the Springer LNCS
format. These submissions may be:

* Research papers providing new concepts and results
* Position papers and research perspectives
* Experience reports
* Tool presentations

Proceedings, including all the papers selected for the workshop, will be
available electronically at the workshop. No copyright transfer agreement will
be required from the authors. For this first edition of this workshop, we
would like to put the emphasis on discussions rather than on conventional
publications.

PAPER SUBMISSION

Contributions must be submitted electronically in PDF using the SETS 2015
EasyChair web site at the following address:

https://www.easychair.org/conferences/?conf=sets2015

IMPORTANT DATES

Abstract submission: March 31, 2015
Submission deadline: April 7, 2015
Paper notification: May 7, 2015
Revised/final paper: May 22, 2015
Workshop: June 23, 2015

PROGRAMME CO-CHAIRS

David Delahaye (Cnam, France)
Catherine Dubois (Ensiie, France)

PROGRAMME COMMITTEE

Mats Carlsson (Swedish Institute of Computer Science, Sweden)
Iliano Cervesato (Carnegie Mellon University, USA)
Maximiliano Cristia (CIFASIS, Universidad Nacional de Rosario, Argentina)
David Deharbe (Universidade Federal do Rio Grande do Norte, Brazil)
Leo Freitas (Newcastle University, UK)
Michael Leuschel (University of Düsseldorf, Germany)
Stephan Merz (Inria Nancy - Grand Est, Loria, France)
Gianfranco Rossi (Università di Parma, Italy)
Arnaud Spiwack (MINES ParisTech, France)
Josef Urban (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC Institute, JKU Linz, Austria)



--
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] AVoCS 2015: First Call for Papers

---------------------------------------------------------------------
FIRST CALL FOR PAPERS

The 15th International Workshop on
Automated Verification of Critical Systems
AVoCS 2015

1-4 September 2015, Edinburgh, UK

https://sites.google.com/site/avocs15/
avocs2015@easychair.org
---------------------------------------------------------------------

IMPORTANT DATES
Submission of abstract (full papers): 5th June 2015
Submission of full papers: 12th June 2015
Notification (full papers): 14th July 2015
Submission of research idea papers: 7th August 2015
Notification (research idea): 14th August 2015
Early registration: 18th August 2015
Submissions of final versions: 21st August 2015

INVITED SPEAKERS
Colin O'Halloran (D-RisQ & the University of Oxford)
Don Sannella (Contemplate & the University of Edinburgh)

SPONSORS
Formal Methods Europe (FME)
The Scottish Informatics & Computer Science Alliance (SICSA)

BACKGROUND
The aim of Automated Verification of Critical Systems (AVoCS) 2015
is to contribute to the interaction and exchange of ideas among members
of the international research community on tools and techniques for the
verification of critical systems.

SCOPE
The subject is to be interpreted broadly and inclusively. It covers
all aspects of automated verification, including model checking,
theorem proving, SAT/SMT constraint solving, abstract interpretation,
and refinement pertaining to various types of critical systems which
need to meet stringent dependability requirements (safety-critical,
business-critical, performance-critical, etc.). Contributions that
describe different techniques, or industrial case studies are encouraged.

The technical programme will consist of invited and contributed talks
and also allow for short presentations of research ideas. The workshop
will be relatively informal, with an emphasis on discussion where special
discussion sessions will be organised around the research ideas presentations.
Topics include (but are not limited to):
- Model Checking
- Automatic and Interactive Theorem Proving
- SAT, SMT or Constraint Solving for Verification
- Abstract Interpretation
- Specification and Refinement
- Requirements Capture and Analysis
- Verification of Software and Hardware
- Specification and Verification of Fault Tolerance and Resilience
- Probabilistic and Real-Time Systems
- Dependable Systems
- Verified System Development
- Industrial Applications

WORKSHOPS
AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/

VENUE
The event will be held in the International Centre for Mathematical Sciences
(ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world
heritage site.

STUDENT GRANTS
Thanks to sponsorships from FME and SICSA we can offer financial support for a
limited number of students registering for AVoCS in the form of a registration
fee waiver (full or partial). As this is limited, we ask the students that
would like to take the advantage of this support to submit a short application.
The details on how to apply will be available in due course from the AVoCS
webpage.

SUBMISSION DETAILS
Submissions of full papers to the workshop must not have been published
or be concurrently considered for publication elsewhere. All submissions
will be peer-reviewed and judged on the basis of originality, contribution
to the field, technical and presentation quality, and relevance to the
workshop. Submissions are handled via Easychair:

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

The papers must be written in English and not exceed 15 pages and should
use the dedicated AVoCS 2015 EASST template available rom the the
following link (for LaTeX and Word):

http://journal.ub.tu-berlin.de/eceasst

AVoCS also encourages the submissions of research ideas in order to stimulate
discussions at the workshop. Reports on ongoing work or surveys on work
published elsewhere are welcome. The Programme Committee will select
research ideas on the basis of submitted abstracts according to significance
and general interest. Research ideas must be written in English and not exceed
2 pages using the EASST template. The presentation of these ideas will be organised
around discussions, where the presenter should also prepare a set of question in
which the audience will discuss.

PROCEEDINGS
At the workshop, pre-proceedings will be available in the form of a Heriot-Watt
University Technical Report; this report will also include the research ideas.
After the workshop, the authors of accepted full papers will have about one
month in order to revise their papers for publication in the workshop post-
proceedings which will appear in the Electronic Communications of the EASST
Open Access Journal. Research ideas will not be part of the proceedings in the
Open Access Journal.

SPECIAL SCP JOURNAL ISSUE
Authors of a selection of the best papers presented at the workshop will be
invited to submit extended versions of their work for publication in a
special issue of Elsevier's journal Science of Computer Programming.

PROGRAM COMMITTEE
Ernie Cohen, University of Pennsylvania, USA
Ewen Denney, NASA Ames, USA
Jean-Christophe Filliatre, CNRS, France
Michael Goldsmith, University of Oxford, UK
Gudmund Grov, Heriot-Watt University, UK (co-chair)
Keijo Heljanko, Aalto University, Finland
Mike Hinchey, University of Limerick, Ireland
Marieke Huisman, University of Twente, Netherlands
Andrew Ireland, Heriot-Watt University, UK (co-chair)
Gerwin Klein, NICTA/UNSW, Australia
Thierry Lecomte, ClearSy, France
Peter Gorm Larsen, Aarhus University, Denmark
Panagiotis (Pete) Manolios, Northeastern University, USA
Stephan Merz, INRIA Nancy & LORIA, France
Jaco van de Pol, University of Twente, Netherlands
Markus Roggenbach, Swansea University, UK
Marco Roveri, FBK, Italy
Thomas Santen, Microsoft Research, Germany
Bernard Steffen, Technical University Dortmund, Germany
Jan Strejček, Masaryk University, Czech Republic
Jun Sun, Singapore University of Technology and Design, Singapore
Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France
Helen Treharne, University of Surrey, UK
Laurent Voisin, Systerel, France
Angela Wallenburg, Altran, UK
John Wickerson, Imperial College London, UK
Peter Ölveczky, University of Oslo, Norway

ORGANISERS
Gudmund Grov, Heriot-Watt University, UK
Andrew Ireland, Heriot-Watt University, UK
Yuhui Lin, Heriot-Watt University, UK (Local arrangements and publicity chair)

STEERING COMMITTEE
Michael Goldsmith, University of Oxford, UK
Stephan Merz, INRIA Nancy & LORIA, France
Markus Roggenbach, Swansea University, UK

-----
We invite research leaders and ambitious early career researchers to
join us in leading and driving research in key inter-disciplinary themes.
Please see www.hw.ac.uk/researchleaders for further information and how
to apply.

Heriot-Watt University is a Scottish charity
registered under charity number SC000278.


--
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] WIMS 2015: Second Call for Papers

*** Second 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 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.