[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