[Caml-list] The 20th IEEE Symposium on Computers and Communications (ISCC 2015): Call for Workshop Papers

*** Call for Workshop Papers *** The 20th IEEE Symposium on Computers and Communications (ISCC 2015) 6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://ieee-iscc.org/2015 *** Final Submission Deadline: March 30th, 2015 (firm) *** ISCC 2015, in its 20th anniversary, will provide an insight into the unique world stemming from the interaction between the fields of computers and communications. ISCC 2015 will provide an international technical forum for experts from industry and academia to exchange ideas and present results of ongoing research in most state-of-the-art areas of computer and communications. This year, special focus will be on the challenging issues and opportunities related to the computing, sensing and communication in the era of the Internet of Things, Cloud Computing and Big Data. The ISSC 2015 workshops cover topics such as 5G, Internet of Things, Software-Defined Networking, Big Data, Cloud Computing, M2M communications or Smart Grid. The purpose of these workshops is to provide a platform for presenting novel ideas in a less formal and possibly more sharply focused way than at the conference itself. All papers included in the ISCC 2015 workshops, will be submitted for inclusion in the conference proceedings published by IEEE. ISCC 2015 will feature the following workshops: • Management of Cloud and Smart city systems (MoCS 2015) • Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA 2015) • Smart City and Ubiquitous Computing Applications (SCUCA 2015) • Distributed Mobile Systems & Services (DMSS 2015) • A 5G Wireless Odyssey: 2020 (5G) • Security and Forensics in Communication Systems (SFCS 2015) More information about each workshop and submission guidelines can be found at each workshop's web site, accessible from the conference web site. Important Dates Paper Submission Deadline: March 30th, 2015 (firm) Notification of Paper Acceptance: April 12th, 2015 Submission of Camera-Ready Papers Due: April 17th, 2015 Day of Workshops: July 6th, 2015 General Co-Chairs Andreas Pitsillides, University of Cyprus, Cyprus Mahmoud Daneshmand, Stevens Institute of Technology, USA Technical Program Co-Chairs Vasos Vassiliou, University of Cyprus, Cyprus Honggang Wang, University of Massachusetts, Dartmouth, USA Local Arrangement Co-Chairs George Pallis, University of Cyprus, Cyprus George Papadopoulos, University of Cyprus, Cyprus Finance and Registration Co-Chairs Reda Ammar, University of Connecticut, USA Christos Douligeris, University of Piraeus, Greece Publication Co-Chairs Josephine Antoniou, University of Central Lancanshire, Cyprus Nicos Komninos, City University London, UK Keynote Speakers Co-Chairs Panayiotis Kolios, University of Cyprus, Cyprus Marios Lestas, Frederick University, Cyprus Workshop Co-Chairs Periklis Chatzimisios, Alexander Technological Educational Institute of Thessaloniki, Greece Andreas Kamilaris, University of Cyprus, Cyprus Massimo Villari, University of Messina, Italy Publicity Co-Chairs Habib M. Ammari, Univ. of Michigan-Dearborn, USA Chrysostomos Chrysostomou, Frederick University, Cyprus Mario Dantas, Universidade Federal de Santa Catarina, Brazil Salil Kanhere, University of New South Wales, Australia Ahmet Sekercioglu, Monash University, Australia Qing Yang, Montana State University, USA Steering Committee Reda Ammar, University of Connecticut, USA Antonio Corradi, University of Bologna, Italy Mahmoud Daneshmand, Stevens Institute of Technology, USA Christos Douligeris, Univ. of Piraeus, Greece Adel S. Elmaghraby, Univ. of Louisville, USA Hussein Mouftah, University of Ottawa, Canada Sartaj Sahni, University of Florida, USA Ahmed Tantawy, IBM, USA

-------------------------------------------------------------------- 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] Description Logics 2015 - Call for Papers

DL 2015: the 28th International Workshop on Description Logics, DL 2015
=======================================================================
The DL workshop is the major annual event of the description logic research
community. It is the forum at which those interested in description logics,
both from academia and industry, meet to discuss ideas, share information and
compare experiences.

The workshop will be held in Athens from June 7th to June 10th, 2015.

Submission of papers under review for a conference with a double-blind
submission policy
======================================================================
Extended abstracts of papers that are currently under revision for a conference
with a double-blind submission policy (e.g., IJCAI) should be submitted
anonymously, i.e., without names in the pdf file, to avoid violations of the
double-blind submission policy. The names of the authors of such papers will
not be revealed to the DL 2015 reviewers handling them. All other papers
should list the author names in the pdf file, as usual for DL.


Extended deadline
==============
Paper registration deadline: March 9, 2015 (extended from March 2, 2015)
Paper submission deadline: March 16, 2015 (extended from March 9, 2015)
Notification of acceptance: April 17, 2015
Camera-ready copies: May 8, 2015
Workshop: June 7-10, 2015


Workshop Scope
=============
We invite contributions on all aspects of description logics, including but not limited to:
* Foundations of description logics: decidability and complexity of reasoning,
expressive power, novel inference problems, inconsistency management,
reasoning techniques, and modularity aspects
* Extensions of description logics: closed-world and nonmonotonic reasoning,
epistemic reasoning, temporal and spatial reasoning, procedural knowledge,
query answering, reasoning over dynamic information
* Integration of description logics with other formalisms: object-oriented
representation languages, database query languages, constraint-based
programming, logic programming, and rule-based systems
* Applications and use areas of description logics: ontology engineering,
ontology languages, databases, ontology-based data access, semi-structured
data, graph structured data, linked data, document management, natural
language, learning, planning, Semantic Web, and cloud computing
* Systems and tools around description logics: reasoners, software tools for
and using description logic reasoning (e.g. ontology editors, database schema
design, query optimisation, and data integration tools), implementation and
optimisation techniques, benchmarking, evaluation, modelling


Invited Speakers
=============
* Carsten Lutz (TU Bremen)
* Axel Polleres (TU Wien)
* Maarten de Rijke (University of Amsterdam)


Submissions
==========
* Submissions may be either full papers of up to 11 pages (excluding
references) presenting original research or extended abstracts of at most
3 pages (excluding references). There is no page limit on the list of
references.
* All submissions must be formatted in the Springer LNCS style.
* Extended abstracts of papers under review for a conference with a
double-blind submission policy should be submitted anonymously.
* Extended abstracts are designed only for authors who wish to announce results
that have been published elsewhere, or which the authors intend to submit or
have already submitted to a venue with an incompatible prior / concurrent
publication policy. Papers presenting original research should be submitted
as regular submissions.
* A clearly marked appendix (e.g., with additional proofs or evaluation data)
may optionally be appended. It will be read at the discretion of the
reviewers and not included in the proceedings. It does not need to be in
LNCS format.
* Authors submitting extended abstracts are encouraged to include such an
appendix, with sufficient material (e.g. copy of the already published paper
or technical report) to judge the scientific merit of the work described in
the extended abstract.
* Submission page: http://www.easychair.org/conferences/?conf=dl2015
* Accepted papers and extended abstracts will be made available electronically
in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/).
* Accepted submissions, be they full papers or extended abstracts, will be
selected for either oral or poster presentation at the workshop. Submissions
will be judged solely based upon their content, and the type of submission
will have no bearing on the decision between oral and poster presentation.


Organisation
==========
* Diego Calvanese, Free University of Bozen-Bolzano (Programme co-Chair)
* Boris Konev, University of Liverpool (Programme co-Chair)
* Giorgos Stamou, National Technical University of Athens (Workshop co-Chair)
* Giorgos Stoilos, National Technical University of Athens (Workshop co-Chair)


Resources
=========
* Information about submission, registration, travel information, etc., is
available on the DL 2015 homepage: http://dl2015.image.ntua.gr
* Enquiries about the DL 2015 workshop can be made by contacting the
organising committee.
* The official description logic homepage is at http://dl.kr.org/

--
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] ETAPS 2016 call for satellite events

19th European Joint Conferences on Theory and Practice of Software
ETAPS 2016
Eindhoven, The Netherlands, April 2-8, 2016
http://www.etaps.org/2016/

Call for Satellite Events

-- ABOUT ETAPS --

The European Joint Conferences on Theory and Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. ETAPS is
an annual event which takes place in Europe each spring since 1998.

The nineteenth conference, ETAPS 2016, will take place April 2-8, 2016
in Eindhoven, The Netherlands.

ETAPS main conferences will take place on April 4-7, 2016. They are:

+ ESOP: European Symposium on Programming,
+ FASE: Fundamental Approaches to Software Engineering,
+ FOSSACS: Foundations of Software Science and Computation Structures,
+ POST: Principles of Security and Trust,
+ TACAS: Tools and Algorithms for the Construction and Analysis of
Systems.

-- SATELLITE EVENTS --

The ETAPS 2016 organizing committee invites proposals for satellite
events (workshops etc.) that will complement the main
conferences. They should fall within the scope of ETAPS. This
encompasses all aspects of the system development process, including
specification, design, implementation, analysis and improvement, as
well as the languages, methodologies and tools which support these
activities, covering a spectrum from practically-motivated theory to
soundly-based practice. Satellite events provide an opportunity to
discuss and report on emerging research approaches and practical
experience relevant to theory and practice of software.

ETAPS 2016 satellite events will be held immediately before and after
the main conferences, on April 2-3 and April 8, 2016.

-- ARRANGEMENTS FOR SATELLITE EVENTS --

The organizers of an ETAPS 2016 satellite are expected to:

+ create and maintain a website for the event,
+ form a PC, produce a call for papers for the event (if appropriate),
+ advertise the event through specialist mailing lists etc. to
complement the publicity of ETAPS,
+ review the submissions received and make acceptance decisions,
+ prepare an informal (pre)proceedings for the event (if appropriate),
+ prepare the event's program complying with any scheduling constraints
defined by the ETAPS 2016 organizing committee,
+ prepare and organize the publication of a formal (post-)proceedings
(if desired).

The ETAPS 2016 organizing committee will:

+ promote the event on the website and in the publicity material of
ETAPS 2016,
+ integrate the event's program into the overall program of the
conference,
+ arrange registration for the event as a component of registration
for ETAPS, collect a participation fee from the registrants,
+ produce a compilation USB memory stick of the informal (pre-)
proceedings of the satellite events of ETAPS 2016 and distribute
this to the registrants,
+ provide the event with a meeting room of an appropriate size,
A/V equipment, coffee breaks and possibly lunch(es).

As a rule, ETAPS will not contribute toward the travel or
accommodation costs of invited speakers or organizers of satellite
events.

-- SUBMISSION OF SATELLITE EVENT PROPOSALS --

Researchers and practitioners wishing to organize satellite events are
invited to submit proposals to the workshop co-chairs Julien Schmaltz
and Erik de Vink using this web form.

A proposal should not exceed two pages and should include:

+ the name and acronym of the satellite event,
+ the names and contact information of the organizers,
+ the duration of the event: one or two days,
+ the preferred period: April 2, April 3, April 8 or April 2-3,
+ the expected number of participants,
+ a brief description (120 words approximately) of the event topic for
the website and publicity material of ETAPS 2016,
+ a brief explanation of the event topic and its relevance to ETAPS,
+ an explanation of the selection procedure of contributions to the
event, the PC chair and members, if known already, information about
past editions of the event, if applicable,
+ any other relevant information, like a special event format, invited
speakers, demo sessions, special space requirements, etc.,
+ a tentative schedule for paper submission, notification of acceptance
and final versions for the (informal pre-)proceedings (the ETAPS 2016
organizing committee will need the final files by March 12, 2016),
+ the plans for formal publication (no formal publication,
formal proceedings ready by the event, formal post-proceedings,
publication venue - EPTCS or elsewhere).

The proposals will be evaluated by the ETAPS 2016 organizing committee
on the basis of their assessed benefit for prospective participants of
ETAPS 2016. Prospective organizers may wish to consult the web pages
of previous satellite events as examples:

ETAPS 2015: http://www.etaps.org/2015/workshops
ETAPS 2014: http://www.etaps.org/2014/workshops
ETAPS 2013: http://www.etaps.org/2013/workshops
ETAPS 2012: http://www.etaps.org/2012/workshops

-- IMPORTANT DATES --

Satellite event proposals deadline: March 29, 2015.

Notification of acceptance: April 2, 2015.

-- VENUE --

ETAPS 2016 will take place at the Campus of the Eindhoven University
of Technology. Eindhoven, located in the south of the Netherlands,
has a small international airport, Eindhoven Airport, with direct
connections to various destinations in Europe. The main airport of the
Netherlands is the Amsterdam Airport, Schiphol. Schiphol has a direct
train connection to Eindhoven.

-- FURTHER INFORMATION AND ENQUIRIES --

Please contact the workshop co-chairs, Julien Schmaltz,
j.schmaltz@tue.nl, and Erik de Vink, e.p.d.vink@tue.nl.

--
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] ICFEM 2015 (in Paris): Call for workshops

[we apologize for multiple receptions]

====================================================================
ICFEM 2015
The 17th International Conference on Formal Engineering Methods

Call for workshops

http://icfem2015.lri.fr/
====================================================================


IMPORTANT DATES
* Workshop proposal deadline: March 22, 2015
* Workshop proposal notification: April 13, 2015
* Workshops: November 6th (and 7th), 2015


The ICFEM 2015 conferences invites workshops as satellite events.
Such satellite events must be related to the ICFEM conference, and may
cover the following principal themes (but any topics relevant to the
field of formal methods and their practical applications will also be
considered):

* Abstraction and refinement
* Formal specification and modeling
* Program analysis
* Software verification
* Software model checking
* Formal approaches to software testing
* Formal methods for self-adaptive systems, for object and component
systems, concurrent and real-time systems, for cloud computing and
cyber-physical systems, for software safety, security, reliability and
dependability
* Tool development, integration and experiments involving verified systems
* Formal methods used in certifying products under international standards
* Formal model-based development and code generation
* Computer security
* Aeronautics
* Train control systems

The ICFEM 2015 workshops will be held immediately after the conference,
i.e., on Friday 6th of November, 2O15.
(If needed, two-day workshops can take place on Saturday 7th as well.)


SUBMISSION

Workshop organizers are invited to submit proposals by e-mail to
Etienne.Andre (at) lipn.univ-paris13.fr

A proposal should typically be in the form of a 1- or 2-page PDF
document, and should include:
* the workshop name and acronym
* the names, affiliations and contact information of the organizers
* whether the workshop is a first edition
* whether the workshop is affiliated to some project (European, ANR, etc.)
* information on the past editions (if any): dates and places, number of
participants
* the duration of the event (from half a day to 2 days)
* a short description of the event (typically 1-3 sentences) to be
published on the ICFEM Web site
* the topic covered by the workshop, and its relationship to ICFEM
* an expected number of participants
* the publication scheme for the proceedings (if any)
* any other useful information (invited speakers, etc.)

Workshop organizers will be responsible for:
* scientific organization: selection of the invited speakers and regular
speakers
* publication of the proceedings (if any)
* advertisement for the workshop (dedicated Web site, call for papers,
call for participation etc.)

ICFEM organizers will be responsible for:
* providing a room of accurate size
* advertising the workshops from the ICFEM Web site
* giving practical information on the workshop in the ICFEM official program
* providing all lunches and coffee breaks
* centralizing the registrations

ICFEM will charge a registration fee for the attendance to the
workshops, to be determined (typically around 100€ as in ICFEM 2014).


ICFEM 2015 COMMITTEES

General chair
* Fatiha Zaïdi, University of Paris-Sud, France

Workshop chair
* Etienne Andre, LIPN, Universite Paris 13

Program chairs
* Michael Butler, University of Southampton, United Kingdom
* Sylvain Conchon, University of Paris-Sud, France

Steering committee
* Keijiro Araki, Kyushu University, Japan
* Michael Butler, University of Southampton, UK
* Jin Song Dong, National University of Singapore [Chair]
* Jifeng He, East China Normal University, China
* Michael Hinchey, University of Limerick, Ireland
* Shaoying Liu, Hosei University, Japan
* Shengchao Qin, University of Teesside, UK

Local arrangment chair
* Tristan Crolard, CNAM, Paris

Financial chair
* The OCamlPro Compagny


--
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] TABLEAUX 2015 - Call for Papers

FIRST CALL FOR PAPERS

TABLEAUX 2015

23rd International Conference on Automated Reasoning with
Analytic Tableaux and Related Methods

Wroclaw, Poland, September 21-24, 2015

http://tableaux2015.ii.uni.wroc.pl/


GENERAL INFORMATION
TABLEAUX 2015 is the 23rd in the series of international meetings
on Automated Reasoning with Analytic Tableaux and Related Methods,
and will be held in Wroclaw, Poland, during September 21-24, 2015.

TABLEAUX 2015 will be co-located with the 10th International Symposium
on Frontiers of Combining Systems (FroCoS 2015).

The computer science institute of Wroclaw has a large experience
in hosting international conferences. It has hosted
the IEEE Symposium on Logic in Computer Science (LICS 2007),
the 23rd International Conference on Automated Deduction
(CADE 2011), and the 22nd European Symposium on Algorithms (ALGO 2014).

TOPICS
Tableaux methods offer a convenient and flexible set of tools
for automated reasoning in classical logic, extensions of classical
logic, and a large number of non-classical logics. For large
groups of logics, tableaux methods can be generated automatically.
Areas of application include verification of software and computer
systems, deductive databases, knowledge representation and its required
inference engines, teaching, and system diagnosis.
The conference series aims to bring together researchers interested in all
aspects of tableaux - theoretical foundations, applications,
and implementation techniques.

* tableaux methods for classical and non-classical logics
(e.g. modal, temporal, description, intuitionistic, substructural,
fuzzy, paraconsistent logics) and their proof theoretic
foundations.
* related methods (model elimination, model checking, connection
methods, resolution, BDDs).
* sequent calculi for classical and non-classical logics,
as tools for proof search and proof representation.
* flexible, easily extendable, light weight methods for theorem proving.
* novel types of calculi for theorem proving and verification
in classical and non-classical logics.
* systems, tools, implementations and applications (provers,
logical frameworks, model checkers, ... ).
* implementation techniques (data structures, efficient algorithms,
performance measurement, extendibility, ... ).
* extensions of tableaux procedures with conflict-driven learning,
generation of proofs; compact (or humanly readable) representation
of proofs.
* decision procedures, theoretically optimal procedures.
* applications of automated deduction to mathematics, software
development, protocol verification, or teaching.

TABLEAUX 2015 also welcomes papers describing applications of tableaux
procedures to real world examples. Such papers should be tailored to
the tableaux community and should focus on the role of reasoning,
and logical aspects of the solution.

SUBMISSIONS
Submissions are invited in two categories:

A Research papers, which describe original theoretical research,
original algorithms, or applications, with length
up to 15 pages.
B System descriptions, with length up to 10 pages.

Submissions will be reviewed by the PC, possibly will help of
external reviewers, taking into account readability, relevance
and originality.

For category A, theoretical results and algorithms must be original,
and not submitted for publication elsewhere. Submissions will be reviewed
taking into account correctness, theoretical prettyness, and possible
implementability.

For category B submissions, a working implementation
must be available on the internet, which includes sources.
The aim of a system description is to make the system available
in such a way that users can use it, understand it, and build on it.

Accepted papers in both categories will be published in the conference
proceedings (within the LNAI series of Springer).

For accepted papers in both of the categories, at least one author
is required to attend the conference and present the paper.

Further information and instructions about submissions can be found
on the conference website http://tableaux2015.ii.uni.wroc.pl

IMPORTANT DATES

Abstract submission deadline: May 8th, 2015
Paper submission deadline: May 15th, 2015
Author Notification: July 1st, 2015
Final Version: July 17th 2015
Conference: September 21st-24th, 2015

PROGRAM COMMITTEE
-----------------

Marc Bezem, University of Bergen, Norway
Agata Ciabattoni, Vienna University of Technology, Austria
David Delayahe, National Conservatory of Arts and Professions, Paris, France
Ulrich Furbach, University of Koblenz, Germany
Didier Galmiche, Universite de Lorraine, Nancy, France
Silvio Ghilardi, Universita degli Studi di Milano, Italy
Rajeev Gore, Australian National University, Canberra, Australia
Stephane Graham-Lengrand, Ecole Polytechnique, Palaiseau, France
Reiner Haehnle, Darmstadt University of Technology, Germany
Konstantin Korovin, University of Manchester, UK
George Metcalfe, University of Bern, Switzerland
Dale Miller, INRIA Saclay-Ile-de-France, France
Barbara Morawska, Technische Universitaet Dresden, Germany
Boris Motik, University of Oxford, UK
Claudia Nalon, University of Brasilia, Brasil
Sara Negri, University of Helsinki, Finland
Linh Anh Nguyen, University of Warsaw, Poland
Hans de Nivelle (chair), University of Wroclaw, Poland
Jens Otten, University of Potsdam, Germany
Andrei Popescu, Middlesex University London, UK
Renate Schmidt, University of Manchester, UK
Luca Vigano, King's College, London, UK
Bruno Woltzenlogel-Paleo, Vienna University of Technology, Austria

WORKSHOPS AND TUTORIALS
------------------------

Workshops have been solicited in separate call, which can
be found on http://tableaux2015.ii.uni.wroc.pl or
http://frocos2015.ii.uni.wroc.pl

Tutorials for FroCoS/TABLEAUX will be solicited in a separate call, which
will be published later.


--
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] ETAPS 2015 call for participation

******************************************************************

CALL FOR PARTICIPATION

ETAPS 2015

18th European Joint Conferences on Theory And Practice of Software

London, UK, 11-18 April 2015

http://www.etaps.org/

******************************************************************

-- ABOUT ETAPS --

The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2015 is already
the eighteenth event in the series.


-- MAIN CONFERENCES (13-17 April) --

* CC: Compiler Construction
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of
Systems


-- INVITED TALKS --

Unifying speakers:

Daniel Licata (Wesleyan University, USA)
Catuscia Palamidessi (INRIA Saclay and LIX, France)

CC invited speaker:

Keshav Pingali (University of Texas, USA)

FoSSaCS invited speaker:

Frank Pfenning (Carnegie Mellon University, USA)

TACAS invited speaker:

Wang Yi (Uppsala University, Sweden)


-- CONTRIBUTED PAPERS

See the accepted paper lists and the programme of the main conferences
at the conference website.


-- SATELLITE EVENTS (11-12 and 18 April) --

17 satellite workshops will take place before or after ETAPS 2015.

GALOP, GaM, QAPL (11-12 April)

FMSPLE, FOPARA, SynCop, VPT (11 April)
DICE, FESCA, VerifyThis, WoC, WPLI (12 April)

HotSpot, MBT, PLACES, TTATT, TPDP (18 April)


-- REGISTRATION

Early registration is until Saturday, 14 February 2015.

Normal-rate registration is until Tuesday, 10 March 2015.


-- ACCOMMODATION

We request that participants arrange their accommodation on their own.
See our recommendations on the website.


-- HOST CITY --

London is one of the most visited and cosmopolitan cities on earth. It
is a leading global city, with strengths in the arts, commerce,
education, entertainment, fashion, finance, healthcare, media,
professional services, research and development, tourism and transport
all contributing to its prominence. It can be reached by more people,
from more destinations, in less time, than any other destination in
the world.


-- ORGANIZERS

General chairs: Pasquale Malacaria, Nikos Tzevelekos

Workshop chair: Paulo Oliva

Publicity chairs: Michael Tautschnig and Greta Yorsh

Further organizers:
Dino Distefano, Edmund Robinson and Mehrnoosh Sadrzadeh


--- HOST INSTITUTION

Queen Mary University of London


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
etaps2015@qmul.ac.uk

--
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] ICFP 2015: Final Call for Papers

=====================================================================

20th ACM SIGPLAN International Conference on Functional Programming

ICFP 2015

Vancouver, Canada, August 31 - September 2, 2015

http://www.icfpconference.org/icfp2015

=====================================================================

Important Dates
~~~~~~~~~~~~~~~

Submissions due: Friday, February 27 2015, 23:59 UTC-11
https://icfp15.hotcrp.com/
Author response: Tuesday, April 21, 2015
through Thursday, 23 April, 2015
Notification: Friday, May 1, 2015
Final copy due: Friday, June 12, 2015

Scope
~~~~~

ICFP 2015 seeks original papers on the art and science of functional
programming. Submissions are invited on all topics from principles to
practice, from foundations to features, and from abstraction to
application. The scope includes all languages that encourage
functional programming, including both purely applicative and
imperative languages, as well as languages with objects, concurrency,
or parallelism. Topics of interest include (but are not limited to):

* Language Design: concurrency, parallelism, and distribution; modules;
components and composition; metaprogramming; type systems;
interoperability; domain-specific languages; and relations to
imperative, object-oriented, or logic programming.

* Implementation: abstract machines; virtual machines; interpretation;
compilation; compile-time and run-time optimization; garbage
collection and memory management; multi-threading; exploiting
parallel hardware; interfaces to foreign functions, services,
components, or low-level machine resources.

* Software-Development Techniques: algorithms and data structures;
design patterns; specification; verification; validation; proof
assistants; debugging; testing; tracing; profiling.

* Foundations: formal semantics; lambda calculus; rewriting; type
theory; monads; continuations; control; state; effects; program
verification; dependent types.

* Analysis and Transformation: control-flow; data-flow; abstract
interpretation; partial evaluation; program calculation.

* Applications: symbolic computing; formal-methods tools; artificial
intelligence; systems programming; distributed-systems and web
programming; hardware design; databases; XML processing;
scientific and numerical computing; graphical user interfaces;
multimedia and 3D graphics programming; scripting; system
administration; security.

* Education: teaching introductory programming; parallel programming;
mathematical proof; algebra.

* Functional Pearls: elegant, instructive, and fun essays on
functional programming.

* Experience Reports: short papers that provide evidence that
functional programming really works or describe obstacles that have
kept it from working.

If you are concerned about the appropriateness of some topic, do not
hesitate to contact the program chair.

Abbreviated instructions for authors
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

* By Friday, 27 February 2015, 23:59 UTC-11, submit a full paper of
at most 12 pages (6 pages for an Experience Report) in standard ACM
conference format, including bibliography, figures, and appendices.

The deadlines will be strictly enforced and papers exceeding the page
limits will be summarily rejected.

* Authors have the option to attach supplementary material to a
submission, on the understanding that reviewers may choose not to
look at it.

* Each submission must adhere to SIGPLAN's republication policy, as
explained on the web at

http://www.sigplan.org/Resources/Policies/Republication

* Authors of resubmitted (but previously rejected) papers have the
option to attach an annotated copy of the reviews of their previous
submission(s), explaining how they have addressed these previous
reviews in the present submission. If a reviewer identifies
him/herself as a reviewer of this previous submission and wishes to
see how his/her comments have been addressed, the program chair will
communicate to this reviewer the annotated copy of his/her previous
review. Otherwise, no reviewer will read the annotated copies of
the previous reviews.

Overall, a submission will be evaluated according to its relevance,
correctness, significance, originality, and clarity. It should
explain its contributions in both general and technical terms, clearly
identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. The technical
content should be accessible to a broad audience. Functional Pearls
and Experience Reports are separate categories of papers that need not
report original research results and must be marked as such at the
time of submission. Detailed guidelines on both categories are on the
conference web site.

Proceedings will be published by ACM Press. Authors of accepted
submissions will have a choice of one of three ways to manage their
publication rights. These choices are described at

http://authors.acm.org/main.html

Presentations will be videotaped and released online if the presenter
consents. The proceedings will be freely available for download from
the ACM Digital Library from one week before the start of the
conference until two weeks after the conference.

Formatting: Submissions must be in PDF format printable in black and
white on US Letter sized paper and interpretable by
Ghostscript. Papers must adhere to the standard ACM conference format:
two columns, nine-point font on a ten-point baseline, with columns
20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc
(0.33in). A suitable document template for LaTeX is available at

http://www.sigplan.org/Resources/Author/

Submission: Submissions will be accepted on the web using a link
that will be posted at

https://icfp15.hotcrp.com/

Improved versions of a paper may be submitted at any point before
the submission deadline using the same web interface.

Author response: Authors will have a 72-hour period, starting at 0:00
UTC on Tuesday, 21 April 2015, to read reviews and respond to them.

ACM Author-Izer is a unique service that enables ACM authors to
generate and post links on either their home page or institutional
repository for visitors to download the definitive version of their
articles from the ACM Digital Library at no charge. Downloads through
Author-Izer links are captured in official ACM statistics, improving
the accuracy of usage and impact measurements. Consistently linking
the definitive version of ACM article should reduce user confusion
over article versioning. After your article has been published and
assigned to your ACM Author Profile page, please visit

http://www.acm.org/publications/acm-author-izer-service

to learn how to create your links for free downloads from the ACM DL.

Publication date: The official publication date of accepted papers
is the date the proceedings are made available in the ACM Digital
Library. This date may be up to two weeks prior to the first day
of the conference. The official publication date affects the deadline
for any patent filings related to published work.

General Chair:
Kathleen Fisher Tufts University (USA)

Program Chair:
John Reppy University of Chicago (USA)

Program Committee:
Amal Ahmed Northeastern University (USA)
Jean-Philippe Bernardy Chalmers University of Technology (Sweden)
Matthias Blume Google (USA)
William Byrd University of Utah (USA)
Andy Gill University of Kansas (USA)
Neal Glew Google (USA)
Fritz Henglein University of Copenhagen (Denmark)
Gabriele Keller University of New South Wales and NICTA (Australia)
Andrew Kennedy Microsoft Research Cambridge (UK)
Neelakantan Krishnaswami Birmingham University (UK)
Daan Leijen Microsoft Research Redmond (USA)
Keiko Nakata FireEye Dresden (Germany)
Mike Rainey INRIA Rocquencourt (France)
Andreas Rossberg Google (Germany)
Manuel Serrano INRIA Sophia Antipolis (France)
Simon Thompson University of Kent (UK)
David Van Horn University of Maryland (USA)
Stephanie Weirich University of Pennsylvania (USA)

--
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] [TFP 2015] 2nd call for papers

-----------------------------
S E C O N D C A L L F O R P A P E R S
-----------------------------

======== TFP 2015 ===========

16th Symposium on Trends in Functional Programming
June 3-5, 2015
Inria Sophia Antipolis, France
http://tfp2015.inria.fr/


The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

The selected revised papers will be published as a Springer Lecture
Notes in Computer Science (www.springer.com/lncs) volume.

TFP 2015 will be the main event of a pair of functional programming
events. TFP 2015 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 2nd.

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
* Edinburgh (Scotland) in 2003;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* and in Soesterberg (The Netherlands) in 2014.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== INVITED SPEAKER ==

TFP is pleased to announce a talk by the following invited speaker:

* Laurence Rideau is a researcher at INRIA and is interested in the
semantics of programming languages , the formal methods, and the
verification tools for programs and mathematical proofs. She
participated in the beginnings of the Compcert project (certified
compiler), and is part of the Component Mathematical team in the
MSR-INRIA joint laboratory, who performed the formalization of the
Feit-Thompson theorem successfully.

Thirty years ago, computers barged in mathematics with the famous
proof of the Four Color Theorem. Initially limited to simple
calculation, their role is now expanding to the reasoning whose
complexity is beyond the capabilities of most humans, as the proof of
the classification of finite simple groups. We present our large
collaborative adventure around the formalization of the Feit-Thompson
theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem)
that is a first step to the classification of finite groups
and that uses a palette of methods and techniques that range from
formal logic to software (and mathematics) engineering.


== SCOPE ==

The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include:

Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems,
global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2015 program chair, Manuel Serrano.


== BEST PAPER AWARDS ==

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.

== SPONSORS ==

TFP is financially supported by <to be announced>


== PAPER SUBMISSIONS ==

Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students. A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.

We use EasyChair for the refereeing process. Papers must be submitted at:

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

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0


== IMPORTANT DATES ==

Submission of draft papers: March 17, 2015
Notification: March 24, 2015
Registration: April 7, 2015
TFP Symposium: June 3-5, 2015
Student papers feedback: June 9, 2015
Submission for formal review: July 1, 2015
Notification of acceptance: September 8, 2015
Camera ready paper: October 8, 2015


== PROGRAM COMMITTEE ==

Janis Voigtländer University of Bonn, DE
Scott Owens University of Kent, UK
Neil Sculthorpe Swansea University, UK
Colin Runciman University of York, UK
Manuel Serrano Inria (PC chair), FR
Rinus Plasmeijer University of Nijmegen, NL
Tomas Petricek University of Cambridge, UK
Marco T. Morazan Seton Hall University, USA
Wolfgang De Meuter Vrije Universiteit Brussel, BE
Michel Mauny Ensta ParisTech, FR
Sam Lindley The University of Edinburgh, UK
Daan Leijen Microsoft, USA
Jurriaan Hage Utrecht University, NL
Andy Gill University of Kansas, USA
Thomas Gazagnaire University of Cambrige, UK
Lars-Ake Fredlund Universidad Politécnica de Madrid, ES
Jean-Christophe Filliatre Université Paris Sud Orsay, FR
Marc Feeley Université de Montréal, CA
Olaf Chitil University of Kent, UK
Edwin Brady University of St Andrews, UK


--
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] FARM 2015 Workshop - 1st call for papers and demos

FARM 2015

3rd ACM SIGPLAN International Workshop on
Functional Art, Music, Modelling and Design

Vancouver, Canada, 5 September, 2015

The ACM SIGPLAN International Workshop on Functional Art,
Music, Modelling and Design (FARM) gathers together people
who are harnessing functional techniques in the pursuit of
creativity and expression.

Functional Programming has emerged as a mainstream software
development paradigm, and its artistic and creative use is
booming. A growing number of software toolkits, frameworks
and environments for art, music and design now employ
functional programming languages and techniques. FARM is a
forum for exploration and critical evaluation of these
developments, for example to consider potential benefits of
greater consistency, tersity, and closer mapping to a
problem domain.

FARM encourages submissions from across art, craft and
design, including textiles, visual art, music, 3D sculpture,
animation, GUIs, video games, 3D printing and architectural
models, choreography, poetry, and even VLSI layouts, GPU
configurations, or mechanical engineering designs. The
language used need not be purely functional ("mostly
functional" is fine), and may be manifested as a domain
specific language or tool. Theoretical foundations, language
design, implementation issues, and applications in industry
or the arts are all within the scope of the workshop.

Submissions are invited in two categories:

* Full papers

5 to 12 pages using the ACM SIGPLAN template. FARM 2015
is an interdisciplinary conference, so a wide range of
approaches are encouraged and we recognize that the
appropriate length of a paper may vary considerably
depending on the approach. However, all submissions must
propose an original contribution to the FARM theme, cite
relevant previous work, and apply appropriate research
methods.


* Demo abstracts

Demo abstracts should describe the demonstration and its
context, connecting it with the themes of FARM. A demo
could be in the form of a short (10-20 minute) tutorial,
presentation of work-in-progress, an exhibition of some
work, or even a performance. Abstracts should be no
longer than 2 pages, using the ACM SIGPLAN template and
will be subject to a light-touch peer review.

If you have any questions about what type of contributions
that might be suitable, or anything else regarding
submission or the workshop itself, please contact the
organisers at:

farm-2015@easychair.org


KEY DATES:

Full Paper and Demo Abstract submission Deadline: 17 May
Author Notification: 26 June
Camera Ready: 19 July
Workshop: 5 September



SUBMISSION

All papers and demo abstracts must be in portable document
format (PDF), using the ACM SIGPLAN style guidelines. The
text should be in a 9-point font in two columns. The
submission itself will be via EasyChair:

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

PUBLICATION

Accepted papers will be included in the formal proceedings
published by ACM Press and will also be made available
through the the ACM Digital Library; see
http://authors.acm.org/main.cfm for information on the
options available to authors. Authors are encouraged to
submit auxiliary material for publication along with their
paper (source code, data, videos, images, etc.); authors
retain all rights to the auxiliary material.



WORKSHOP ORGANISATION

Workshop Chair: Henrik Nilsson, University of Nottingham

Program Chair: David Janin, University of Bordeaux

Publicity Chair: Samuel Aaron, University of Cambridge

Program Committee:

Samuel Aaron, University of Cambridge
Jean Bresson, IRCAM Paris
David Broman, KTH and UC Berkeley
Paul Hudak, Yale University
David Janin (chair), University of Bordeaux
Anton Kholomiov, Orffeus instrumental ensemble Moscow
Alex Mclean, University of Leeds
Carin Meier, Outpace Systems
Henrik Nilsson, University of Nottingham
Yann Orlarey, GRAME Lyon
Donya Quick, Yale University
Shigeki Sagayama, Meiji University
Chung-chieh Shan, Indiana University
Michael Sperber, Active Group GmbH
Bodil Stokke, FutureAdLabs

For further details, see the FARM website:
http://functional-art.org


--
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 Workshops- Calls for Papers

================================================================

Joint Call for Papers of Associated Workshops at the
25th International Conference of Automated Deduction (CADE-25)
1-7 August 2015, Berlin
http://cade-25.info

================================================================

Workshops
- Bridging the Gap between Human and Automated Reasoning (Bridging)
- Automated Theorem Proving meets Interactive Theorem Proving (AMI)
- International Workshop on Confluence (IWC)
- Deduktionstreffen 2015 (DT)
- The Fourth International Workshop on Proof eXchange for Theorem
Proving (PxTP)
- International Workshop on Quantification (QUANTIFY 2015)
- The 2nd Vampire Workshop (Vampire)
- International Workshop on Logical Frameworks and Meta-Languages: Theory
and Practice (LFMTP)
- CADE-25 Poster Session and Task-Force towards an Encyclopedia of Proof
Systems (EPS)

******************************************************************************
Bridging the Gap between Human and Automated Reasoning (Bridging)
=================================================================
http://ratiolog.uni-koblenz.de/bridging.html

Human reasoning or the psychology of deduction is well researched in
cognitive psychology and in cognitive science. There are a lot of
findings which are based on experimental data about reasoning tasks,
among others models for the Wason selection task or the suppression
task discussed by Byrne and others. This research is supported also by
brain researchers, who aim at localizing reasoning processes within
the brain. Automated deduction, on the other hand, is mainly focusing
on the automated proof search in logical calculi. And indeed there
is tremendous success during the last decades. Recently a coupling of
the areas of cognitive science and automated reasoning is addressed
in several approaches. For example there is increasing interest in
modeling human reasoning within automated reasoning systems including
modeling with answer set programming, deontic logic or abductive logic
programming. There are also various approaches within AI research.

This workshop is intended to get an overview of existing approaches and
make a step towards a cooperation between computational logic and
cognitive science. Topics of interest include, but are not limited to
the following:
- limits and differences between automated and human reasoning
- psychology of deduction
- common sense reasoning
- logics modeling human cognition
- modeling human reasoning using automated reasoning systems
- non-monotonic, defeasible, and classical reasoning and possible explanations
for human reasoning
- application fields of automated reasoning in the interaction with human
reasoners

IMPORTANT DATES
===============
Submission deadline: May 1, 2015
Notification: May 22, 2015
Final Submission: June 5, 2015
Workshop: Aug 1, 2015

For more details see: http://ratiolog.uni-koblenz.de/bridging.html

******************************************************************************
Automated Theorem Proving meets Interactive Theorem Proving (AMI)
=================================================================
http://ami2015.it.uu.se/

AIMS AND SCOPE
==============
The AMI workshop provides an informal platform for researchers
interested in automated theorem proving (ATP) and interactive
theorem proving (ITP), for instance, developers and users of ATP,
SMT and similar systems, and developers and users of ITP systems
such as Coq, HOL, Isabelle or Mizar. Its aim is the exchange of
experiences and ideas for pushing these technologies further into the
mainstream: to explore methods or tools from ATP that could be
benefit ITP and vice versa; to advance the integration and
convergence of these technologies, e.g. by considering tools and
techniques from mathematics, programming languages or AI; to bring
ATP and ITP work flows closer to mathematical and engineering
practice.

WORKSHOP TOPICS include
=======================
- proof automation for ITP: from tactics and decision procedures via
FOL to fragments of CoC and HOL; ATP with types and data types;
- ATP with large data sets (as generated by ITP systems): machine
learning and other AI approaches, proof management;
- theory hierarchies in ITP/ATP systems: their design and management;
- ideas and techniques from mathematics and programming;
- use and user experience: ATP/ITP uses and integrations in fields
like formalised mathematics or hardware/software verification.

SUBMISSIONS
===========
To foster discussions, we ask for submissions of extended abstracts of
2 to 4 pages as well as for full papers of at most 15 pages. If
submissions are based on previously published material that should be
stated clearly. Presentations will be selected based on the quality of
their contribution and their relevance to the workshop. All accepted
submissions will be published online at the workshop web site. Quality
of submissions permitting, we are planning their considation for a
journal special issue after the workshop. Papers must be submitted
via EasyChair.

IMPORTANT DATES
===============
Abstract submission: May 7 2015
Paper submission: May 14 2015
Notification: June 16 2015
Final Version: June 25 2015
Workshop: August 2 2015

PROGRAMME COMMITTEE
===================
Christoph Benzmueller (FU Berlin, Germany)
Nicolai Bjorner (Microsoft Research)
Simon Foster (University of York, UK)
Mike Gordon (University of Cambridge, UK)
Tim Griffin (University of Cambridge, UK)
Sebastiaan Joosten (TU Eindhoven/RU Nijmegen, Netherlands)
Chantal Keller (Microsoft Research/MSR-Inria)
Gerwin Klein (NICTA/UNSW, Australia)
Assia Mahboubi (Inria/MSR-Inria, France)
Andrei Paskevich (LRI/Universite Paris Sud, France)
Stephan Schulz (DHBW, Germany)

INVITED SPEAKERS (joint with the PxTP workshop)
===============================================
Bart Jacobs (KU Leuven, Belgium)
Georges Gonthier (Microsoft Research - Inria)

ORGANISERS
==========
Damien Pous (ENS Lyon, France)
Georg Struth (University of Sheffield, UK)
Tjark Weber (Uppsala University, Sweden)

******************************************************************************
International Workshop on Confluence (IWC)
==========================================
http://www.csl.sri.com/users/tiwari/iwc2015/

Confluence provides a general notion of determinism and has been
conceived as one of the central properties of rewriting systems.
Confluence relates to many topics of rewriting (completion, modularity,
termination, commutation, etc.) and had been investigated in many
formalisms of rewriting such as first-order rewriting, lambda-calculi,
higher-order rewriting, constraint rewriting, conditional rewriting, etc.
Recently there is a renewed interest in confluence research, resulting
in new techniques, tool support, confluence competition, and
certification as well as in new applications. The scope of the workshop
is all these aspects of confluence and related topics.

The goal of the workshop is to provide a forum for researchers
interested in the topic of confluence to exchange and share new
developments in the field. The workshop will enable discussion on
theoretical results, new problems, applications, implementations and
benchmarks, and share the current state-of-the-art on the
development of confluence tools.

Specific topics of interest include:
- confluence and related properties (unique normal forms,
commutation, ground confluence)
- completion
- critical pair criteria
- decidability issues
- complexity issues
- system descriptions
- certification
- applications of confluence

Submission May 15, 2015
Notification June 12, 2015
Final version July 3, 2015
Workshop August 2, 2015

******************************************************************************
Deduktionstreffen 2015 (DT)
===========================
http://conference.mi.fu-berlin.de/cade-25/DT

The 'Deduktionstreffen' is the annual meeting of the section
'Deduction Systems' of the German Informatics Society (Gesellschaft
fuer Informatik e.V. (GI)). It is a friendly and informal meeting with
a familiar atmosphere. All members and friends of the German Deduction
Community are invited to present, discuss and share their latest
research results and ideas at the event.

A particular focus of the 'Deduktionstreffen' is on young researchers
and students, which are particularly encouraged to present their
ongoing research projects to a wider audience. Another goal of the
meeting is stimulate networking effects and to foster collaborative
research projects.

The format of the event is as follows: Accepted abstracts are
presented as 5min teaser talks followed by a poster presentation.
The 'Deduktionstreffen 2015' is associated with the 25th Conference of
Automated Deduction (CADE-25; http://cade-25.info).

Submission of Presentation Abstracts
====================================
Please submit your presentation abstract (max. 1 page) via Easychair:
https://easychair.org/conferences/?conf=deduktionstreffen201. The
(preliminary) submission deadline is May 1, 2015. Notification is
planned for mid May.

Invited Speakers
================
Renate Schmidt, University of Manchester
tba

Program Committee
=================
Serge Autexier, DFKI Bremen
Bernhard Beckert, KIT
Christoph Benzmueller, FU Berlin (co-chair)
Christian Blanchette, TU Muenchen
Ulrich Furbach, Universitaet Koblenz
Juergen Giesl, RWTH Aachen
Matthias Horbach, Universitaet Koblenz/MPII (co-chair)
Dieter Hutter, DFKI Bremen
Manfred Kerber, University of Birmingham
Christoph Kreitz, Universitaet Potsdam
Jens Otten, Universitaet Potsdam
Florian Rabe, Jacobs University Bremen
Stephan Schulz, DHBW Stuttgart
Viorica Sofronie-Stokkermans, Universitaet Koblenz/MPII
Volker Sorge, University of Birmingham
Christoph Weidenbach, MPII Saarbruecken

Local Organisation
==================
Christoph Benzmueller, FU Berlin
Alexander Steen, FU Berlin
Max Wisniewski, FU Berlin

******************************************************************************
The Fourth International Workshop on Proof eXchange for Theorem Proving (PxTP)
==============================================================================
http://pxtp15.lri.fr

Background
==========
The PxTP workshop brings together researchers working on various aspects
of communication, integration, and cooperation between reasoning systems
and formalisms.

The progress in computer-aided reasoning, both automated and interactive,
during the past decades, made it possible to build deduction tools that
are increasingly more applicable to a wider range of problems and are
able to tackle larger problems progressively faster. In recent years,
cooperation of such tools in larger verification environments has
demonstrated the potential to reduce the amount of manual intervention.
Examples include the Sledgehammer tool providing an interface between
Isabelle and (untrusted) automated provers, and also collaboration of
the HOL Light and Isabelle systems in the formal proof of the Kepler
conjecture.

Cooperation between reasoning systems relies on availability of
theoretical formalisms and practical tools to exchange problems,
proofs, and models. The PxTP workshop strives to encourage such
cooperation by inviting contributions on suitable integration,
translation and communication methods, standards, protocols,
and programming interfaces. The workshop welcomes the interested
developers of automated and interactive theorem proving tools,
developers of combined systems, developers and users of translation
tools and interfaces, and producers of standards and protocols.
We are interested both in success stories and in descriptions
of the current bottlenecks and proposals for improvement.

Topics
======
Topics of interest for this workshop include all aspects of
cooperation between reasoning tools, whether automatic or
interactive. More specifically, some suggested topics are:
- applications that integrate reasoning tools (ideally
with certification of the result);
- translations between logics, proof systems, models;
- distribution of proof obligations among heterogeneous
reasoning tools;
- algorithms and tools for checking and importing (replaying,
reconstructing) proofs;
- proposed formats for expressing problems and solutions for
different classes of logic solvers (SAT, SMT, QBF, first-order
logic, higher-order logic, typed logic, rewriting, etc.);
- meta-languages, logical frameworks, communication methods,
standards, protocols, and APIs connected to problems, proofs,
and models;
- comparison, refactoring, and optimization of proofs;
- practical experiences, case studies, feasibility studies;
- applications relying on importing proofs from automatic theorem
provers, such as certified static analysis, proof-carrying code,
or certified compilation;
- data structures and algorithms for improved proof production in
solvers (e.g., efficient proof representations).

Submissions
===========
Researchers interested in participating are invited to submit either
an extended abstract (up to 8 pages) or a regular paper (up to 15
pages). Submissions will be refereed by the program committee, which
will select a balanced program of high-quality contributions. Short
submissions that could stimulate fruitful discussion at the workshop
are particularly welcome. We expect that one author of every accepted
paper will present their work at the workshop.

Submitted papers should describe previously unpublished work, and must
be prepared using the LaTeX EPTCS class (http://style.eptcs.org/).
Papers will be submitted via EasyChair, at the PxTP'2015 workshop page
(http://www.easychair.org/conferences/?conf=pxtp2015). Accepted full
papers will appear in an EPTCS volume.

Important dates
===============
- Abstract submission: Thu, May 7, 2015
- Paper submission: Thu, May 14, 2015
- Notification: Tue, June 16, 2015
- Camera ready versions due: Thu, June 25, 2015
- Workshop: August 2-3, 2015

Invited speakers (joint with the AMI 2015 workshop)
===================================================
- Georges Gonthier (Microsoft Research)
- Bart Jacobs (KU Leuven)

Program committee
=================
- Jesse Alama (Vienna University of Technology)
- Peter Baumgartner (NICTA)
- Jasmin Blanchette (TU Muenchen)
- Guillaume Burel (CEDRIC, ENSIIE)
- Evelyne Contejean (LRI, CNRS, Universite Paris Sud)
- Cezary Kaliszyk (University of Innsbruck), co-chair
- Ramana Kumar (University of Cambridge)
- Dale Miller (Inria / LIX, Ecole polytechnique)
- Bruno Woltzenlogel Paleo (Vienna University of Technology)
- Andrei Paskevich (LRI, Universite Paris Sud), co-chair
- Damien Pous (LIP, CNRS, ENS Lyon)
- Geoff Sutcliffe (University of Miami)
- Laurent Thery (Inria)
- Cesare Tinelli (University of Iowa)
- Josef Urban (Radboud University Nijmegen)

Previous PxTP editions
======================
- PxTP 2011 (http://pxtp2011.loria.fr/), affiliated with CADE-23
- PxTP 2012 (http://pxtp2012.inria.fr/), affiliated with IJCAR 2012
- PxTP 2013 (http://www.cs.ru.nl/pxtp13/), affiliated with CADE-24

******************************************************************************
International Workshop on Quantification (QUANTIFY 2015)
========================================================
http://fmv.jku.at/quantify15/

Quantifiers play an important role in language extensions of many logics.
The use of quantifiers often allows for a more succinct encoding as it
would be possible without quantifiers. However, the introduction of
quantifiers affects the complexity of the extended formalism in general.
Consequently, theoretical results established for the quantifier-free
formalism may not directly be transferred to the quantified case. Further,
techniques successfully implemented in reasoning tools for quantifier-free
formulas cannot directly be lifted to a quantified version.

The goal of the 2nd International Workshop on Quantification (QUANTIFY 2015)
is to bring together researchers who investigate the impact of quantification
from a theoretical as well as from a practical point of view. Quantification
is a topic in different research areas such as in SAT in terms of QBF, in CSP
in terms of QCSP, in SMT, etc. This workshop has the aim to provide an
interdisciplinary forum where researchers of various fields may exchange
their experiences.

IMPORTANT DATES
===============
Please follow http://fmv.jku.at/quantify15/ for any updates.

May 8 2015: paper submission
May 29 2015: notification of acceptance
June 23 2015: camera-ready version of papers
August 1 2015: workshop

TOPICS OF INTEREST
==================
The workshop is concerned with all theoretical and practical
aspects of quantification in logics such as QBF, QCSP, SMT,
and theorem proving. The topics of interest include
(but are not limited to):

- Complexity results
- Encodings with and without quantification and comparisons thereof
- Applications of quantification
- Implementations of reasoning tools
- Case studies and experimental results
- Intersections between the different research communities
working on quantification
- Surveys of state-of-the-art approaches to handling quantification

SUBMISSION OF EXTENDED ABSTRACTS
================================
Submissions of extended abstracts are solicited and will be managed via
Easychair:
https://easychair.org/conferences/?conf=quantify15

Submitted papers should be formatted in either LNCS format or a
standard LaTeX article format (paper size A4, font size 11pt).

We solicit two types of submissions:
1. Talk abstracts (maximum two pages, excluding references)
describing already published results.
2. Full papers (maximum 14 pages, excluding references) on novel,
unpublished work.

The talk abstracts of category 1 should include a relevant
bibliography of related work and an outline of the planned talk.
For this category, we explicitly advocate talks which survey results
already published, maybe in multiple articles or presentations
capturing the commonalities and differences
of various quantification approaches (perhaps even interdisciplinary).

Each submission will be assessed by the program committee and the
workshop organizers with respect to novelty, originality, and scope.

Submissions related to completed work as well as work in progress are
welcome. Authors are encouraged to provide additional material such as
source code of tools, experimental data, benchmarks and related
publications in an appendix or a related webpage. The additional
material will be considered at the discretion of the reviewers.

Previously published work or extensions thereof may be submitted to the
workshop but that case has to be explicitly stated in the submitted
paper. This regulation also applies to work which is currently under
review elsewhere.

Since the workshop does not have official proceedings, work related to
accepted submissions can be resubmitted to other venues without
restrictions.

Authors of accepted abstracts and papers are expected to give a talk at
the workshop.

PROGRAM CHAIRS
==============
Hubie Chen, Universidad del Pais Vasco and Ikerbasque
Florian Lonsing, Vienna University of Technology, Austria
Martina Seidl, Johannes Kepler University Linz, Austria

******************************************************************************
The 2nd Vampire Workshop (Vampire)
==================================
http://easychair.org/smart-program/Vampire2015/index.html

IMPORTANT DATES
===============
Submission deadline: June 15, 2015
Notification of acceptance: June 20, 2015
Final paper submission: June 30, 2015
Workshop day: August 2, 2015

WORKSHOP AIM
============
The workshop aims at discussing the development and use of the
first-order theorem prover Vampire. The workshop will address the
newest trends in implementing first-order theorem provers, and focus
on new challenges and application areas.
Workshop participants will include both Vampire developers and users
and provides a convenient opportunity for interesting discussions
between tool developers and users. The users can learn more about
Vampire and its recent developments. The developers can learn more
about the use of Vampire, its efficiency in various application areas
and needs of the users.
The workshop is going to to shed the light on on problems such as
- what is essential for substantial progress in theorem proving tools;
- what are the best implementation principles to be used;
- what are the best heuristics and strategies, depending on application
areas;
- both successful and unsuccessful case studies;
- missing features in modern theorem provers.
The workshop will also overview the most recent advances made in
Vampire.

PAPER SUBMISSION
================
We seek submissions reporting on theory, application, case studies,
experiments and work-in-progress using Vampire and other theorem
provers in various applications. Submissions can be in any form,
ranging from work in progress to completed work. For example, the
users can submit:
- extended abstracts or full papers;
- theoretical papers;
- experimental papers and case studies
- or in general any papers that can benefit tool developers and users.
Papers can be of any length, ranging from 2-page abstracts to full
papers up to 20 pages in length. The papers should use the
EasyChair LaTeX, Microsoft Word, or ODT templates, which can be
found at:
http://www.easychair.org/publications/epic-templates.
Submissions should be made using EasyChair, via the link:
https://easychair.org/conferences/?conf=vampire2015
The workshop proceedings will be published in the EasyChair EPiC
series.

PROGRAM COMMITEE
================
Laura Kovacs (Chalmers University of Technology) - chair
Andrei Voronkov (University of Manchester) - chair

******************************************************************************
International Workshop on Logical Frameworks and Meta-Languages:
Theory and Practice (LFMTP)
================================================================
http://lfmtp.org/workshops/2015/

Logical frameworks and meta-languages form a common substrate for
representing, implementing, and reasoning about a wide variety of
deductive systems of interest in logic and computer science. Their
design and implementation and their use in reasoning tasks ranging
from the correctness of software to the properties of formal
computational systems have been the focus of considerable research
over the last two decades. This workshop will bring together
designers, implementors, and practitioners to discuss various aspects
impinging on the structure and utility of logical frameworks, including
the treatment of variable binding, inductive and co-inductive reasoning
techniques and the expressivity and lucidity of the reasoning process.

LFMTP 2015 will provide researchers a forum to present state-of-the art
techniques and discuss progress in areas such as the following:
- Encoding and reasoning about the meta-theory of programming
languages and related formally specified systems.
- Theoretical and practical issues concerning the treatment of
variable binding, especially the representation of, and reasoning
about, datatypes defined from binding signatures.
- Logical treatments of inductive and co-inductive definitions and
associated reasoning techniques.
- New theory contributions: canonical and substructural
frameworks, contextual frameworks, proof-theoretic foundations
supporting binders, functional programming over logical
frameworks, homotopy type theory.
- Applications of logical frameworks, e.g., in proof-carrying
architectures such as proof-carrying authorization.
- Techniques for programming with binders in functional
programming languages such as Haskell, OCaml, or Agda and
logic programming languages such as lambda Prolog or Alpha-
Prolog.

Program / Invited Speakers
==========================
TBA

Registration
============
Registration for LFMTP is open and early registration ends on TBA.
Please see the CADE-25 registration page for more details.
Important Dates
- Friday, April 30th: Abstract submission deadline
- Friday, May 7th: Submission deadline
- Friday June, 12th: Notification to authors
- Friday July, 3rd: Final version due
- Saturday August, 1st: Workshop date

Submission
==========
In addition to regular papers, we also solicit "work in progress" reports,
in a broad sense. Those do not need to report fully polished research
results, but should be interesting for the community at large.
Submitted papers should be in PDF, formatted using the ACM
SIGPLAN style guidelines. The length is restricted to 8 pages for
regular papers and 4 pages for "Work in Progress" papers.
Submission is via EasyChair. Submit to LFMTP15 now!

Proceedings
===========
TBA

Program Committee
=================
- Iliano Cervesato (Carnegie Mellon University, co-chair)
- Kaustuv Chaudhuri (Inria & LIX/Ecole polytechnique, co-chair)
The rest of the program committee will be finalized shortly.

******************************************************************************
CADE-25 Poster Session and Task-Force towards an Encyclopedia of Proof
Systems (EPS)
======================================================================
http://proofsystem.github.io/Encyclopedia

Aims and Scope
==============
In this jubilee edition of CADE, we shall commemorate the multitude of
proof systems that form the theoretical foundations for automated
deduction. To achieve this goal, this alternative workshop proposes to
bring the whole community together in a task-force to produce a concise
encyclopedia of proof systems. Every entry in this encyclopedia will
follow a given template and will preferably be exactly one page long,
displaying the inference rules of the proof system and possibly a few
clarifying remarks. The one-page encyclopedia entries will be
displayed as posters during CADE (the Conference on Automated
Deduction).

Submission Instructions
=======================
Please visit the task-force's website for instructions:
http://proofsystem.github.io/Encyclopedia

Participation in CADE is not required for submission,
but is strongly encouraged.

Important Dates
===============
- Submission Deadline: 19th of April 2015
- Notification: 15th of May 2015
(Submit early!!)

Publication Plans
=================
When the encyclopedia reaches a broad coverage of various proof systems,
its publication as a book will be sought. However, this is not yet
guaranteed and details are still undefined.

Organization
============
Bruno Woltzenlogel Paleo (bruno@logic.at)

******************************************************************************

--
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] First Call for Papers, PxTP 2015

The Fourth International Workshop on
Proof eXchange for Theorem Proving (PxTP)

http://pxtp15.lri.fr/

August 2-3, 2015, Berlin, Germany

associated with CADE 2015

Important dates

* Abstract submission: Thu, May 7, 2015
* Paper submission: Thu, May 14, 2015
* Notification: Tue, June 16, 2015
* Camera ready versions due: Thu, June 25, 2015
* Workshop: August 2-3, 2015

Background

The PxTP workshop brings together researchers working on various aspects
of communication, integration, and cooperation between reasoning systems
and formalisms.

The progress in computer-aided reasoning, both automated and interactive,
during the past decades, made it possible to build deduction tools that
are increasingly more applicable to a wider range of problems and are
able to tackle larger problems progressively faster. In recent years,
cooperation of such tools in larger verification environments has
demonstrated the potential to reduce the amount of manual intervention.
Examples include the Sledgehammer tool providing an interface between
Isabelle and (untrusted) automated provers, and also collaboration of
the HOL Light and Isabelle systems in the formal proof of the Kepler
conjecture.

Cooperation between reasoning systems relies on availability of
theoretical formalisms and practical tools to exchange problems,
proofs, and models. The PxTP workshop strives to encourage such
cooperation by inviting contributions on suitable integration,
translation and communication methods, standards, protocols,
and programming interfaces. The workshop welcomes the interested
developers of automated and interactive theorem proving tools,
developers of combined systems, developers and users of translation
tools and interfaces, and producers of standards and protocols.
We are interested both in success stories and in descriptions
of the current bottlenecks and proposals for improvement.

Topics

Topics of interest for this workshop include all aspects of
cooperation between reasoning tools, whether automatic or
interactive. More specifically, some suggested topics are:

* applications that integrate reasoning tools (ideally
with certification of the result);

* translations between logics, proof systems, models;

* distribution of proof obligations among heterogeneous
reasoning tools;

* algorithms and tools for checking and importing (replaying,
reconstructing) proofs;

* proposed formats for expressing problems and solutions for
different classes of logic solvers (SAT, SMT, QBF, first-order
logic, higher-order logic, typed logic, rewriting, etc.);

* meta-languages, logical frameworks, communication methods,
standards, protocols, and APIs connected to problems, proofs,
and models;

* comparison, refactoring, and optimization of proofs;

* practical experiences, case studies, feasibility studies;

* applications relying on importing proofs from automatic theorem
provers, such as certified static analysis, proof-carrying code,
or certified compilation;

* data structures and algorithms for improved proof production in
solvers (e.g., efficient proof representations).

Submissions

Researchers interested in participating are invited to submit either
an extended abstract (up to 8 pages) or a regular paper (up to 15
pages). Submissions will be refereed by the program committee, which
will select a balanced program of high-quality contributions. Short
submissions that could stimulate fruitful discussion at the workshop
are particularly welcome. We expect that one author of every accepted
paper will present their work at the workshop.

Submitted papers should describe previously unpublished work, and must
be prepared using the LaTeX EPTCS class (http://style.eptcs.org/).
Papers will be submitted via EasyChair, at the PxTP'2015 workshop page
(http://www.easychair.org/conferences/?conf=pxtp2015). Accepted full
papers will appear in an EPTCS volume.

Invited speakers (joint with the AMI'2015 workshop)

* Georges Gonthier (Microsoft Research)
* Bart Jacobs (KU Leuven)

Program committee

* Jesse Alama (Vienna University of Technology)
* Peter Baumgartner (NICTA)
* Jasmin Blanchette (TU München)
* Guillaume Burel (CÉDRIC, ENSIIE)
* Évelyne Contejean (LRI, CNRS, Université Paris Sud)
* Cezary Kaliszyk (University of Innsbruck), co-chair
* Ramana Kumar (University of Cambridge)
* Dale Miller (Inria / LIX, École polytechnique)
* Bruno Woltzenlogel Paleo (Vienna University of Technology)
* Andrei Paskevich (LRI, Université Paris Sud), co-chair
* Damien Pous (LIP, CNRS, ENS Lyon)
* Geoff Sutcliffe (University of Miami)
* Laurent Théry (Inria)
* Cesare Tinelli (University of Iowa)
* Josef Urban (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] CONTEXT 2015: Second Call for Papers and Workshop Proposals

*** Second Call for Papers and Workshop Proposals *** The 9th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) 2–6 November 2015, Lordos Beach Hotel, Larnaca, Cyprus http://cyprusconferences.org/context2015 The CONTEXT conferences are the world’s prime forum for presentation and exchange of insights and cutting-edge results from the wide range of disciplines concerned with context. The main theme of CONTEXT 2015 is “Back to the roots”, focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems. CONTEXT 2015 invites high-quality contributions from researchers and practitioners in foundational studies, applications and evaluations of modeling and use of context in all relevant fields. Areas of interest include, but are not limited to, the role of context seen from different perspectives in: • Agent-based architectures • Ambient intelligence • Cognition and perception by humans and artifacts • Context-aware and situated systems • Context modeling tools • Communication and dialogue • Data analysis and visualization • Decision making • Discourse comprehension and representation • Engineering, e.g., in transport networks, industrial plants etc. • Experimental philosophy and experimental pragmatics • (Formal) models of context • Human-computer interaction • Knowledge representation • Language acquisition and processing • Learning, knowledge management and sharing • Logic and reasoning • Machine learning • Ontology/ies • Semantics and Pragmatics • Smart and interactive spaces • Understanding art, images, music and theatre Proceedings Accepted papers and poster abstracts will be published in a volume of the Springer LNAI series. Submission format Submissions may be either full papers of up to 14 pages (in Springer LNCS format) or poster abstracts of 4–6 pages. Full papers may be accepted as such with oral presentation, or their authors may be invited to prepare a poster abstract. Detailed formatting and submissions instructions will be provided. Conference events CONTEXT 2015 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium as well as keynote talks and a panel discussion. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site. All accepted authors will have the option of presenting a system demonstration at the poster session. Important dates Full papers and posters: • Submission deadline: June 1, 2015  • Notification: July 13, 2015 • Final version: August 17, 2015 Workshops CONTEXT 2015 workshops will provide a platform for presenting novel and emerging ideas in the use and the modelling of context in a less formal and possibly more focused way than the conference itself. The format of each workshop is to be determined by the organisers, but it is expected that workshops will contain ample time for general discussion and engagement by all participants - not just those presenting papers. Workshops that foster collaboration, discussion, group problem-solving and community-building initiatives are particularly encouraged. Researchers and practitioners from all relevant fields are invited to submit proposals for review. Proposals for workshops should contain: 1. A title and brief (2-page max) description of the workshop topic and content. 2. The desired workshop length (one day, two days or a half day) and an estimate of the number of attendees. 3. The names, postal addresses, phone numbers, and email addresses of the organisers, with one-paragraph statements of their research interests and areas of expertise. 4. A list of potential members of the program committee, with an indication of which members have already signed up. 5. A description of any shared tasks associated with the workshop. 6. A description of special requirements for technical needs. 7. An indication of whether posters are likely to be included in the workshop program. Please submit proposals in plain text in the body of an email to the workshop organiser Samia Oussena (samia.oussena@uwl.ac.uk) no later than March 20, 2015. Notification of acceptance of workshop proposals will occur no later than April 1, 2015. Organisers of accepted workshops will be responsible for publicising and running the workshop, including reviewing submissions and producing the camera-ready workshop proceedings and a possibly printed version; the conference website may link to online workshop proceedings. It is crucial that organisers commit to all deadlines. Workshop organisers cannot accept for publication papers that will be (or have been) published elsewhere, although they are free to set their own policies on simultaneous submission and review. At least one organiser of an accepted workshop is expected attend and lead the workshop; any participant and speaker must register for the conference. The CONTEXT 2015 organisers will set the workshop fees, provide rooms, equipment, technical support, coffee and lunch breaks. Workshop timeline • Submission of proposals: March 20, 2015 • Notification: April 1, 2015 • Submission deadline, workshop papers: August 1, 2015 • Notification for workshop papers: September 1, 2015 • Final version of workshop papers: October 1, 2015 Doctoral Consortium TBA Program Chairs Henning Christiansen, Roskilde University, Denmark Isidora Stojanovic, UPF, Spain & CNRS, France Workshop Chair Samia Oussena, University of West London, UK Local Arrangements Chair George Angelos Papadopoulos, University of Cyprus, Cyprus General Chair Henning Christiansen, Roskilde University, Denmark Chairs of the Community of Context Patrick Blackburn, Roskilde University, Denmark Patrick Brezillon, Université Pierre et Marie Curie, France Henning Christiansen, Roskilde University, Denmark Richard Dapoigny, Université de Savoie, France Thomas R. Roth-Berghofer, University of West London, UK Hedda R. Schmidtke, Carnegie Mellon University, USA Look for updates and more details at: - http://cyprusconferences.org/context2015 - https://www.facebook.com/context.conference

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