2015-03-28

[Caml-list] CONTEXT 2015: Third Call for Papers and Posters

*** Third Call for Papers and Posters ***

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

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.

2015-03-27

[Caml-list] Mentoring workshop @ ICFP

CALL for Applications for Student Travel Support

SIGPLAN Programming Languages Mentoring Workshop @ ICFP
Vancouver, BC (co-located with ICFP 2015)
Sunday, August 30th, 2015

http://www.cis.upenn.edu/~sweirich/icfp-plmw15/

We are pleased to invite students interested in functional programming research to the programming languages mentoring workshop at ICFP. The goal of this workshop is to introduce senior undergraduate and early graduate students to research topics in functional programming as well as provide career mentoring advice to help them get through graduate school, land a great job, and succeed. We have recruited leaders from the functional programming community to provide overviews of current research topics, and give
students valuable advice about how to thrive in graduate school, search for a job, and cultivate habits and skills that will help them in research careers.

This workshop is part of the activities surrounding ICFP, the International Conference on Functional Programming, and takes place the day before the main conference. One goal of the workshop is to make the ICFP conference more accessible to newcomers and we hope that participants will stay through the entire conference.

Through the generous donation of our sponsors, we are able to provide travel scholarships to fund student participation. These travel scholarships will cover reasonable travel expenses (airfare, hotel and registration fees) for attendance at both the workshop and the ICFP
conference. Anyone may apply for a travel scholarship, but first priority will be given to women and underrepresented minority applicants from the United States and Canada.

The workshop is open to all. Students with alternative sources of funding for their travel and registration fees are welcome. In particular, many student attendance programs provide full or partial travel funding for students to attend ICFP 2015, including the ACM Student Research Competition. More information about student attendance programs at ICFP is available: http://icfpconference.org/icfp2015/student-attendance.html

APPLICATION for TRAVEL SUPPORT:
The travel funding application is available here: http://www.cs.ubc.ca/~rxg/icfp-plmw/
The deadline for full consideration of funding is April 24th, 2015. Selected participants will be notified starting June 5th.

ORGANIZERS:
Ron Garcia, University of British Columbia
Stephanie Weirich, University of Pennsylvania
with Kathleen Fisher, Tufts University (and General Chair, ICFP 2015)


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

[Caml-list] AVoCS 2015: Second Call for Papers

---------------------------------------------------------------------
SECOND CALL FOR PAPERS

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

1-4 September 2015, Edinburgh, UK

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

2015-03-26

[Caml-list] Verification Mentoring Workshop Student Scholarships

Verification Mentoring Workshop 2015:
CALL for Applications for Student Travel Scholarships
-----------------------------------------------------

We are organizing a new one-day workshop called the Verification Mentoring
Workshop (VMW). It is co-located with the International Conference on Computer
Aided Verification (CAV), to be held in San Francisco, July 18-24, 2015. CAV
is a premier conference in the area of verification, dedicated to the
advancement of the theory and practice of computer-aided formal analysis
methods for hardware and software systems.

The goal of VMW is to attract early-stage graduate students to pursue research
careers in the area of computer-aided verification and formal methods. Invited
talks at the workshop will cover a broad overview of research topics in the
area (so students can follow sessions of interest at CAV), the range of career
options and perspectives (academia, industry, research labs, etc.), and job
search advice (especially from young researchers). Participation of women and
under-represented minorities is especially encouraged.

We will provide travel scholarships to student participants, where the
scholarships will cover registration for the VMW workshop and CAV conference,
accommodations, plus travel expenses. The workshop website
(http://i-cav.org/2015/workshop-mentorship/) is now accepting applications for
student travel scholarships.

Important Dates:
----------------
Deadline for submission of applications: April 20, 2015
Notification of travel scholarships awarded: May 1, 2015
VMW Workshop: July 19, 2015
CAV Conference: July 20 - 24, 2015

VMW 2015 is partially supported by the NSF (National Science Foundation, USA).
More details on the VMW workshop and CAV conference can be found at
http://i-cav.org/2015/.

Organizers of VMW 2015:
Aarti Gupta, Princeton, USA
Rupak Majumdar, Max Plank Institute for Software Systems, Germany
Corina Pasareanu, NASA/CMU, USA
Ruzica Piskac, Yale, 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

2015-03-25

[Caml-list] Second Call for Papers: SETS 2015

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

CALL FOR PAPERS -- SETS 2015

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

AIM

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

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

TOPICS

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

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

CONTRIBUTIONS AND PROCEEDINGS

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

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

Proceedings, including all the papers selected for the workshop, will be
published as online proceedings in the CEUR workshop proceedings series
(CEUR-WS.org).

PAPER SUBMISSION

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

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

IMPORTANT DATES

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

PROGRAMME CO-CHAIRS

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

PROGRAMME COMMITTEE

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



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

2015-03-22

[Caml-list] IEEE/ACM UCC 2015: Second Call for Papers, Tutorial and Workshop Proposals

*** Second Call for Papers, Tutorial and Workshop Proposals ***

8th IEEE/ACM International Conference on Utility and Cloud
Computing (UCC 2015)

December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus

http://cyprusconferences.org/ucc2015



CONTEXT AND SCOPE

Cloud Computing delivers computational resources on-demand as services
that are commoditized and delivered analogous to traditional utilities such as
electricity, gas, water and telephony. Cloud service offerings for compute,
storage and communication resources as well as for hosted software and data
are growing at a tremendous rate, and it is essential to understand how to
effectively transform these services into Utilities that provide value to both
users and providers. There is also increasing interest from commercial
providers to offer business and revenue models around the services they
offer. Understanding how these models could be used to provide utility for
users, intermediary brokers (aggregators) and providers is also an area of
active research. UCC is the premier IEEE/ACM conference covering all areas
related to Cloud Computing as a Utility and provides an international forum
for leading researchers and practitioners in this important and growing field.
UCC 2015, to be held in Cyprus, will happen as Cloud providers worldwide
add new services and increase Cloud utility at an accelerated pace, and Cloud
service users explore new usage modes.

This will be the 8th UCC in a successful conference series. Previous events
were held in Shanghai, China (Cloud 2009), Melbourne, Australia (Cloud 2010
& UCC 2011), Chennai, India (UCC 2010), Chicago, USA (UCC 2012), Dresden,
Germany (UCC2013), and London, UK (UCC 2014).


CALL FOR PAPERS

Authors are invited to submit original unpublished research manuscripts that
demonstrate current research in all areas of Cloud and Utility computing
including design and analysis of distributed and centralized Cloud systems,
data centre design and engineering, economic and market models for cloud
systems, revenue and business models and their applications in scientific,
engineering, and commercial deployment.

Topics of interest include but are not limited to:

• Big Data and Analytics

• Principles and theoretical foundations of Utility Computing, including
pricing and service models

• Policy languages and Programming models

• Utility driven model and mechanisms for Cloud federations

• Autonomic techniques for Clouds and Cloud applications

• Utility-driven platforms for Clouds

• Architectural models to achieve Utility in Clouds

• Designs and deployment models for Clouds: private, public, hybrid,
federated, aggregated

• Cloud Computing middleware, stacks, tools, delivery networks and
services at all layers (XaaS)

• Virtualization technologies and other enablers

• Economic models and scenarios of use

• Scalability and resource management: brokering, scheduling, capacity
planning, parallelism and elasticity, as well as marketplaces

• Cloud management: autonomic, adaptive, self-*, SLAs, performance
models and monitoring

• Applications: games, social networks, scientific computing (e-science)
and business

• Mobile and energy-efficient use of Clouds

• Beyond technology: Cloud business and legal implications, such as
security, privacy, trust and jurisdiction, especially in Utility contexts

One or more best paper awards will be given for outstanding contributed
papers. Further details as well as submission guidelines are available at the
conference website and below.


MANUSCRIPT GUIDELINES

Submitted manuscripts should be structured as technical papers and
may not exceed ten (10) single-spaced double-column pages using
10-point size font on 8.5x11 inch pages (IEEE conference style), including
figures, tables, and references.

Electronic submissions must be in the form of a readable PDF file.
Manuscripts must be received by July 03, 2015. All manuscripts will be
reviewed by the Program Committee and evaluated on originality, relevance
of the problem to the conference theme, technical strength, rigor in analysis,
quality of results, and organization and clarity of presentation of the paper.

Submitted papers must represent original unpublished research that is not
currently under review for any other conference or journal. Papers not
following these guidelines will be rejected without review and further action
may be taken, including (but not limited to) notifications sent to the heads of
the institutions of the authors and sponsors of the conference. Submissions
received after the due date, exceeding length limit, or not appropriately
structured may also not be considered. Authors may contact the Program
Chairs at the email addressed below for further information or clarification.
Notification of review decisions will be mailed by August 21, 2015. Camera
-ready papers are due by September 21, 2015. Published proceedings will
be available at the conference.

At least one author of each paper must be registered for the conference in
order for the paper to be published in the proceedings. Presentation of an
accepted paper at the conference is a requirement of publication. Any paper
that is not presented at the conference will not be included in IEEE Xplore.


SPECIAL ISSUES

Selected papers from the conference will be invited to submit an extended
version to the a number of top quality journals. Papers will be selected based
on their reviewers' scores and appropriateness to a journal's theme. All
extended versions will undergo reviews and must represent original
unpublished research work. Further details will be made available at the
conference webpage.


TUTORIAL PROPOSAL REQUIREMENTS

Each tutorial proposal must contain the following:

• Title.

• Name and Affiliation of the Speaker(s).

• Abstract (one paragraph, 200 words max., including previous experience
with such tutorials).

• Intended Audience (one paragraph) and prerequisites: Describe the
background assumed of tutorial attendees (i.e. beginner, intermediate,
advanced), and any requirements needed (e.g. bring own laptop).

• Learning Outcome (one paragraph): Describe the benefit, knowledge or
skill that will be gained by attendees.

• Description (no more than 2 pages): A statement giving clear motivation
/justification for the topic to be presented at UCC 2015 and a
comprehensive outline of the proposed content.

• Statement on if this tutorial has been given before and if so how this
presentation will be different.

• Materials (one paragraph): A description of materials to be provided to
attendees on the conference website – course slides, annotated
bibliography, code snippets, etc. NOTE: the materials themselves do not
need to be provided in the proposal.

• Bio-sketch: A single paragraph bio-sketch per tutorial presenter.

• Requested tutorial length (preferably half-a-day).

• Tutorial proposals should be submitted in PDF format by email to the
tutorial chairs by the 3rd of July, 2015.


RESPONSIBILITIES

Materials for the tutorial must be emailed by the 13th of November 2015 at
the latest. The UCC 2015 Conference Organizing Committee will be
responsible for the following:

• Providing logistics support and a meeting place for the tutorial.

• In conjunction with the organizers, determining the tutorial date and time.

• Providing copies of the tutorial materials to attendees.


WORKSHOP PROPOSAL REQUIREMENTS

Proposals for workshops should be no more than 2 pages in length and
should contain the following information:

• Title and brief technical description of the workshop, specifying the goals
and the technical issues that will be the focus of the workshop.

• A brief description of why and to whom the workshop is of interest.

• A list of related workshops or similar events held in the last 3 years, or to
be held in 2015.

• The names and contact information (web page, email address) of the
proposed technical program committee. This committee should consist
of at least 10 people knowledgeable about the technical issues to be
addressed and preferably not more than two members of the same
institution.

• A description of the qualifications of the organizers (who would be the
Workshop Chairs) with respect to organizing this workshop. This can
include papers published in the proposed topic area, previous workshop
organization, and other relevant information.

• Workshop proposals should be submitted in PDF format by email to the
workshop chairs by the 8th of May, 2015.


RESPONSIBILITIES

Workshop chair(s) will be responsible for the following:

• Producing a web page and a "Call for Papers/Participation" for their
workshop. The URL should be sent to the UCC Workshops chairs. The call
must make it clear that the workshop is open to all members of the Cloud,
Big Data, Grid and Cluster Computing community. It should mention that
at least one author of each accepted submission must attend the workshop
and that all workshop participants must pay the UCC 2015 workshop
day or conference registration fee. The CfP should make it clear that the
registration of at least one author requires the full (non-student, non-
workshop) rate.

• Ensure that all workshop papers are a maximum of 6 pages in length (in
IEEE format). It is the responsibility of the workshop organizers to ensure
that this page limit has been adhered to. Additional pages may be
purchased (in some circumstances) subject to approval by the proceedings
chairs.

• Provide a brief description of the workshop for the conference web page
and program.

• Selecting the participants and the format of the workshop. The publication
of proceedings will be by the IEEE in the same volume as the main
conference. The acceptance notification (by workshop chairs) therefore
should be the same as the conference paper acceptance notification (i.e. the
dates should be the same). All other details can be up to workshop
organizers to set.

• Advertising the workshop beyond the conference web page.

• Assistance in producing a camera-ready version of the workshop
proceedings.


IMPORTANT NOTE

If the workshop is too small (i.e. does not attract enough submissions) the
UCC 2015 Organizing Committee may decide to merge that workshop with
another. So we encourage workshop organizers to attract a large community.
In extreme situations we may also cancel workshops if there are not enough
submissions.

Workshop organizers must ensure that suitable quality measures have been
taken to ensure that the accepted papers are of high quality. All papers must
be reviewed by an International Technical Program Committee with a
minimum of 3 reviews per paper. The workshop organizers should also try
to observe an acceptance rate that is no higher than 50%.

Unless indicated on the UCC website, there will be no travel support and
no registration discounts for authors and organizers.

Workshops are not automatically endorsed by IEEE or ACM and should not
use the names of these organisations in their titles.

The UCC 2015 Conference Organizing Committee will be responsible for the
following:

• Providing a link to a workshop's local page.

• Providing logistics support and a meeting place for the workshop.

• In conjunction with the organizers, determining the workshop date and
time.

• Providing copies of the workshop proceedings to attendees.


IMPORTANT DATES

• Tutorial proposals due: 03 July, 2015
• Notification of tutorial proposals: 14 August, 2015
• Final description of accepted proposals: 14 September, 2015
• Tutorial slides due: 13 November, 2015

• Workshop proposals due: 08 May, 2015
• Notification of workshop proposals: 22 May 2015

• Paper submissions due: 03 July, 2015
• Notification of acceptance: 21 August, 2015
• Camera ready papers due: 21 September, 2015

• Early and author registration deadline: 21 September, 2015


COMMITTEES

General Chairs

• Ashiq Anjum, University of Derby, UK
• George Papadopoulos, University of Cyprus

Program Committee Chairs

• Manish Parashar, Rutgers University, USA (parashar AT rutgers.edu)
• Omer Rana, Cardiff University, UK (ranaof AT cardiff.ac.uk)

Standards/Plug-fest Chair

• Alan Sill, Texas Tech, USA & Open Grid Forum

Workshops Chairs

• Ilkay Altintas, SDSC, USA (altintas AT sdsc.edu)
• Josef Spillner, TU Dresden, Germany (josef.spillner AT tu-dresden.de)

Tutorials Chairs

• Ewa Deelman, USC, USA (deelman AT isi.edu)
• Rafael Tolosana, Univ. of Zaragoza, Spain (rafaelt AT unizar.es)

Posters Chair

• Khalid Elgazzar, Queen's University, Kingston, Canada

PhD Symposium Chair

• Kenneth Johnson, Auckland University of Technology, New Zealand

Cloud Challenge 2015 Chair

• Ian Taylor, Cardiff University, UK

Industry Chair

• Achilleas Achilleos, University of Cyprus, Cyprus

Proceedings Chairs

• Nick Antonopoulos, University of Derby, UK
• George Palis, University of Cyprus, Cyprus

Publicity Chair

• Georgia Kapitsaki, University of Cyprus, Cyprus

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

2015-03-21

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

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

2015-03-19

[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

2015-03-18

[Caml-list] [TFP'15] final call for papers - extended deadline march 31 -

-----------------------------
L A S T 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 SPEAKERS ==

TFP is pleased to announce talks by the following two invited speakers:

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

* Anil Madhavapeddy

== 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 Erlang Solutions.


== 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 31, 2015
Notification: April 7, 2015
Registration: May 4, 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

2015-03-16

[Caml-list] WIMS 2015: Final Call for Papers (extended submission deadline)

*** Final Call for Papers ***

5th International Conference on Web Intelligence, Mining and Semantics

WIMS 2015

July 13-15, 2015, St. Raphael Resort, Limassol, Cyprus

http://cyprusconferences.org/wims2015/

*** Extended Submission Deadline: 7th April 2015 ***


Conference Purpose and Scope

WIMS is a series of peer-reviewed International Computer Science
conferences. It is a forum for researchers and practitioners to present their
state-of-the-art results in building Intelligent Web, to examine performance
characteristics of various approaches in Web-based intelligent information
technology, and to cross-fertilize their ideas on the development of Web
-based intelligent information management solutions across different
domains.

The purpose of the WIMS series is to:

* Provide a forum for established researchers and practitioners to present
their contributions to the state of the art research and development in Web
technology and applications.

* Give doctoral students an opportunity to present their research to a friendly
and knowledgeable audience and receive valuable feedback.

* Provide an informal social event where Web technology researchers and
practitioners can meet.

WIMS traditionally hosts a small number of short tutorials on the topics
related to the scope of the conference series. The role of a WIMS tutorial is to
be a theme-oriented comprehensive survey. The call for WIMS 2015 tutorials
is published separately.

WIMS also offers its infrastructure and facilities for the organizers of satellite
workshops that complement the scope of the conference. The call for WIMS
2015 workshops is also published separately.

Companies or individuals interested in presenting their industrial products or
methodologies are invited to contact the conference chairs.

Conference Scope

WIMS solicits regular and work-in-progress research, discussion papers and
industry experience report papers in related fields. Papers exploring new
directions or areas are also welcome. In particular but not exclusively the
submissions within the following areas are relevant:

* Scalable Web and Data Architectures and Infrastructures
- Crawling, caching and querying Linked (Semantic) Data
- Dataset dynamics and synchronization
- Big Data computing
- User Interfaces and visualization for the Web of (Linked Semantic)
Data at scale
- Indexing and information extraction from the (Semantic) Deep Web
- 3D media and content
- Sensing Web and the Web of Things
- Web-based Health- and Bio- Information Systems
- Web security, integrity, privacy, and trust
- Nature-inspired models and approaches in Web and data processing
infrastructures

* Web Intelligence (WI)
- Semantic Agent Systems for WI
- Advanced Interaction and Communication Paradigms with WI
- Natural Language / Ontology-/Taxonomy-based / Hybrid Interfaces
- Intelligence for Visualizing (Linked Semantic) Web Data at scale
- Intelligence for Big Data Analytics
- Ubiquitous Intelligence and the Internet of Things
- WI in Social Media
- WI in Human Computation and Social Games
- Opinion Mining / Sentiment Analysis on the Social Web
- Social Monetization and Computational Advertising
- Visualising social network data
- WI for services, grids, and middleware
- Nature-inspired Models and approaches for WI

* Web Mining, Information and Knowledge Extraction
- Text, data stream, web and multimedia content mining
- Contextualization and clustering in web mining and information extraction
- Knowledge extraction and ontology learning from the Web
- Linked Data mining
- Information Extraction and Knowledge Discovery from Big Data
- Mining and Information Extraction from the Deep Web
- Semantic Deep Web data fusion

* Web Semantics and Reasoning
- Knowledge Representation for the Web
- Ontology specification: expressivity versus usability
- Ontologies and Linked Semantic Data
- Development and re-use of ontologies for the Web
- Crowdsourcing for ontology engineering and management on the Social
Web
- Lifecycle, management, and evolution of Web ontologies
- Ontology merging and alignment
- Rule markup languages and systems
- Semantic annotation
- Reasoning: scalability, expressivity, incompleteness, vagueness, and/or
uncertainty

* WIMS Applications
- Web applications of semantic agent systems
- Semantics-driven information retrieval
- Semantic search
- Intelligent e-Technology and the Semantic Web
- Intelligence and semantics for business information management and
integration
- Intelligence and semantic technologies in Digital Media
- Semantic technologies in e-Business, e-Commerce, e-Finance, e-Health,
e-Science, e-Government, e-Learning
- WI for multimedia, sensors, and situational awareness
- WI for software and systems engineering
- Quality of Life Technology for Web Access
- Nature-inspired models and approaches in WIMS applications

* Evaluation and Validation of WIMS Technologies and Applications
- Evaluation and validation Methodologies
- Datasets and Benchmarks for cross-evaluations and competitions
- Evaluation and validation Infrastructures
- Evaluation and validation metrics (e.g. fitness, quality, completeness,
correctness, etc.)

Submission Guidelines

Four types of submissions are solicited for the main conference:
i. Regular research papers
ii. Short research papers
iii. Case Studies and Applications papers
iv. Posters

The papers in all the categories should describe original results that have not
been accepted or submitted for publication elsewhere. All submissions will be
evaluated by at least three members of the international program committee.

Regular Research Papers

The papers in this category are the reports on accomplished research work or
in-depth discussions and analysis of a certain problem. The first type of
papers can present a novel method, technique or analysis with appropriate
empirical or other type of evaluation as a proof of validity. The main
evaluation criteria for this category are originality, technical soundness, and
the soundness of evaluation. For the second type within the genre we expect
receiving reasonable overviews placing a problem onto the state-of-the-art
landscape and analyzing how far current solutions fall short. We also expect
in-depth discussions and analysis of a certain problem, with clear definitions
and argumentation in terms of qualitative or quantitative representation of
the main characteristics of the problem.

Page limit: 12 ACM pages


Short Research Papers

The papers in this category are the short reports of the preliminary results or
describing the work in progress. The main evaluation criteria for this category
are originality, technical correctness, and possible value of the planned
results in a short to mid-term perspective.

Short papers can be also presented in a form of a poster.

Page limit: 6 ACM pages

Case Studies and Applications Papers

The papers in this category describe case studies of deployed applications,
lessons learnt, and examples of measurable benefits. This category also
includes papers that reports innovative applications of WIMS in areas of
industry and government, as well as industrial experience and
demonstrations of innovative systems.

Page limit: 12 ACM pages

Posters

WIMS poster track is a venue for late-breaking results, ongoing research
activities, and speculative or innovative work in progress. This track is
intended to provide authors and participants with the ability to connect with
each other and to engage in discussions about the work. Posters provide
authors with a unique opportunity to draw attention to their work during the
conference.

Page limit: 4 ACM pages

Submissions should be made electronically in PDF or DOC/DOCX (MS/Open
Word) format via the electronic submission system of the WIMS2015
Conference Management system at:

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

Publication

Accepted papers/tutorials/posters will be published by ACM and
disseminated through the ACM Digital Library through the International
Conference Proceedings Series (ICPS).

Important Dates

07.04.2015 Submission of papers/posters (extended deadline)

27.04.2015 Notification of acceptance for papers/posters

11.05.2015 Camera ready versions of the accepted papers, posters,
tutorial papers

30.05.2015 Author registration deadline

13-15.07.2015 Conference

All the above deadlines are 23:59 Hawaii Time.

WIMS Conferences Chair

Rajendra Akerkar, Western Norway Research Institute, Norway

General Chair

Marios D. Dikaiakos, University of Cyprus, Cyprus

Program Committee Co-Chairs

Achilleas P. Achilleos, University of Cyprus, Cyprus
Tope Omitola, University of Southampton, United Kingdom

Advisory Committee

Grigoris Antoniou, University of Huddersfield, UK
Harold Boley, Faculty of Computer Science,
University of New Brunswick, Fredericton, Canada
James Hendler, Rensselaer Polytechnic Institute, Troy, NY, USA
Guus Schreiber, VU University, Amsterdam, the Netherlands
Amit Sheth, Ohio Center of Excellence on Knowledge-enabled Computing, Ohio, USA

Industrial Track Chair

John Davies, BT Research & Innovation, UK

Publicity Chair

Christos Mettouris, University of Cyprus, Cyprus

Local Organization Chair

George A. Papadopoulos, University of Cyprus, Cyprus

Web Chair

Kyriakos Georgiadis, EasyConferences LTD, Cyprus

The proceedings of the previous WIMS conferences are available at:
- WIMS2011: https://dl.acm.org/citation.cfm?id=1988688
- WIMS?2012: https://dl.acm.org/citation.cfm?id=2254129
- WIMS?2013: https://dl.acm.org/citation.cfm?id=2479787
- WIMS?2014: https://dl.acm.org/citation.cfm?id=2611040

Look for updates and more details at:
http://cyprusconferences.org/wims2015/
http://www.linkedin.com/groups?gid=3933343
https://www.facebook.com/groups/WIMSCon/
https://twitter.com/wims2015



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

2015-03-09

[Caml-list] Horn Clauses for Verification and Synthesis - Call for Papers

Call for Papers

Horn Clauses for Verification and Synthesis (HCVS)

July 19, 2015 - San Francisco, USA

Submission deadlines:

- paper submission: May 22, 2015
- paper notification: June 19, 2015

Most Program Verification and Synthesis problems of interest can be
modeled directly using Horn clauses and many recent advances in the
CLP and CAV communities have centered around efficiently solving
problems presented as Horn clauses.

This workshop aims to bring together researchers working in the two
communities of Constraint/Logic Programming (e.g., ICLP and CP) and
Program Verification community (e.g., CAV, TACAS, and VMCAI) on the
topic of Horn clause based analysis, verification and synthesis.

Horn clauses for verification and synthesis have been advocated by
these two communities in different times and from different
perspectives and this workshop is organized to stimulate interaction
and a fruitful exchange and integration of experiences.

Topics of interest include, but are not limited to the use of Horn
clauses, constraints, and related formalisms in the following areas:

- Analysis and verification of programs in various programming
paradigms (e.g., imperative, object-oriented, functional, logic,
higher-order, concurrent)
- Program synthesis
- Program testing
- Program transformation
- Constraint solving
- Type systems
- Case studies and tools
- Challenging problems

We solicit regular papers describing theory and implementation of
Horn-clause based analysis and tool descriptions. We also solicit
extended abstracts describing work-in-progress and presentations
covering previously published results that are of interest to the
workshop.

Invited speakers:

- Ranjit Jhala, University of California at San Diego
- Joxan Jaffar, National University of Singapore


Program Committee:

Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Gregory J. Duck (National University of Singapore)
Fabio Fioravanti (University of Chieti-Pescara)
John Gallagher (Roskilde University and IMDEA-Software Madrid)
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) - chair
Radu Grigore (University of Oxford)
Konstantin Korovin (Manchester University)
Viktor Kuncak (EPFL)
David Monniaux (CNRS/Verimag)
Jorge A. Navas (NASA) - chair
Corneliu Popeea (CQSE)
Maurizio Proietti (IASI-CNR, Italy)
Philipp Ruemmer (Uppsala University, Department of Information Technology)
Andrey Rybalchenko (Microsoft Research)
Valerio Senni (ALES srl)
Peter Stuckey (University of Melbourne)
Yakir Vizel (Princeton University)

The submission format is up to 12 pages plus bibliography for regular
papers and 1 to 3 pages (for work-in-progress), both in EPTCS format.

Original accepted papers will be published electronically as a volume
in the Electronic Proceedings in Theoretical Computer Science (EPTCS)
series, see http://www.eptcs.org/

Authors of accepted papers are required to ensure that at least one of
them will be present at the workshop. Papers must be submitted
through the EasyChair system using the web page:
https://easychair.org/conferences/?conf=hcvs2015.

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

2015-03-08

[Caml-list] ETAPS 2015 final call for participation

[Tutorials information added.
Note that normal-rate registration ends 10 March.]


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

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)


-- TUTORIALS

Daniel J. Bernstein (U. of Illinois at Chicago, USA /
Technische Universiteit Eindhoven, The Netherlands):
The death of optimizing compilers

Florian Kirchner (CEA, France):
Keep calm and verify your software: an overview of the
Frama-C platform


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

2015-03-07

[Caml-list] APLAS 2015: Call for Papers

*********************************************************************
APLAS 2015, Call for Papers
13th Asian Symposium on Programming Languages and Systems
Pohang, Korea, November 30 - December 2, 2015
*********************************************************************

*IMPORTANT DATES*
Submission deadline: June 5, 2015 
Author notification: August 17, 2015
Conference: November 30 - December 2, 2015

*INVITED SPEAKERS*
Peter O'Hearn, Facebook
Sukyoung Ryu, KAIST
Eran Yahav, Technion
Hongseok Yang, University of Oxford

*ABOUT*
APLAS aims to stimulate programming language research by providing a 
forum for the presentation of latest results and the exchange of 
ideas in programming languages and systems. APLAS is based in Asia, 
but is an international forum that serves the worldwide programming 
language community.

APLAS is sponsored by the  Asian Association for Foundation of 
Software (AAFS), founded by Asian researchers in cooperation with 
many researchers from Europe and the USA. Past APLAS symposiums were 
successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), 
Kenting ('11),  Shanghai ('10),  Seoul ('09),  Bangalore ('08), 
Singapore ('07),  Sydney ('06),  Tsukuba ('05),  Taipei ('04)  and 
Beijing ('03) after three informal workshops. Proceedings of the past 
symposiums were published in Springer's LNCS.

*TOPICS*
The symposium is devoted to foundational and practical issues in 
programming languages and systems. Papers are solicited on topics 
such as
* semantics, logics, foundational theory
* design of languages, type systems and foundational calculi
* domain-specific languages
* compilers, interpreters, abstract machines
* program derivation, synthesis and transformation
* program analysis, verification, model-checking
* logic, constraint, probabilistic and quantum programming
* software security
* concurrency and parallelism
* tools and environments for programming and implementation
Topics are not limited to those discussed in previous symposiums. 
Papers identifying future directions of programming and those 
addressing the rapid changes of the underlying computing platforms 
are especially welcome. Demonstration of systems and tools in the 
scope of APLAS are welcome to the System and Tool presentations 
category. Authors concerned about the appropriateness of a topic are 
welcome to consult with program chair prior to submission.

*SUBMISSION*
We solicit submissions in two categories:
a) Regular research papers
 - describing original scientific research results, including tool 
   development and case studies. Regular research papers should not 
   exceed 18 pages in the Springer LNCS format, including 
   bibliography and figures. They should clearly identify what has 
   been accomplished and why it is significant. Submissions will be 
   judged on the basis of significance, relevance, correctness, 
   originality, and clarity. In case of lack of space, proofs, 
   experimental results, or any information supporting the technical 
   results of the paper could be provided as an appendix or a link to 
   a web page, but reviewers are not obliged to read them.
b) System and tool presentations
 - describing systems or tools that support theory, program 
   construction, reasoning, or program execution in the scope of 
   APLAS. System and Tool presentations are expected to be centered 
   around a demonstration. The paper and the demonstration should 
   identify the novelties of the tools and use motivating examples. 
   System and Tool papers should not exceed 8 pages in the Springer 
   LNCS format, including bibliography and figures. Submissions will 
   be judged based on both the papers and the described systems or 
   tools. It is highly desirable that the tools are available on the 
   web.
Submitted papers must be unpublished and not submitted for 
publication elsewhere. Papers must be written in English. 
The proceedings will be published as a volume in Springer's 
LNCS series. Accepted papers must be presented at the conference.

*ORGANIZERS*
General Chair:
Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea)

Program Chair:
Xinyu Feng (Univ. of Science and Technology of China, China)

Program Committee:
James Brotherston (Univ. College London, UK)
James Cheney (Univ. of Edinburgh, UK)
Huimin Cui (Institute of Computing Technology, CAS, China)
Mike Dodds (Univ. of York, UK)
Xinyu Feng (Univ. of Science and Technology of China, China)
Nate Foster (Cornell Univ., USA)
Alexey Gotsman (IMDEA Software Institute, Spain)
Aquinas Hobor 
(School of Computing, National Univ. of Singapore / Yale-NUS College)
Chung-Kil Hur (Seoul National Univ., Korea)
Radha Jagadeesan (DePaul Univ., USA)
Annie Liu (Stony Brook Univ., USA)
Andreas Lochbihler (ETH Zurich, Switzerland)
Santosh Nagarakatte (Rutgers Univ., USA)
David A. Naumann (Stevens Inst. of Tech., USA)
Michael Norrish (NICTA, Australia)
Hakjoo Oh (Seoul National Univ., Korea)
Murali Krishna Ramanathan (Indian Institute of Science, India)
Xavier Rival (CNRS / ENS / INRIA, France)
Kohei Suenaga (Kyoto Univ., Japan)
Gang Tan (Lehigh Univ., USA)
Alwen Tiu (Nanyang Technological University, Singapore)
Martin Vechev (ETH Zurich, Switzerland)
Bow-Yaw Wang (Academia Sinica, Taiwan)
Nobuko Yoshida (Imperial College London, UK)
Lijun Zhang (Institute of Software, CAS, China)

2015-03-05

[Caml-list] 3rd Workshop on Interpolation - Call for Papers

iPRA 2015 - THIRD WORKSHOP ON INTERPOLATION: FROM PROOFS TO APPLICATIONS

CALL FOR CONTRIBUTIONS

Date: July 18, 2015
Location: San Francisco, CA (co-located with CAV 2015)
Web: http://forsyte.at/interpolation/

IMPORTANT DATES

Submission deadline: May 7, 2015, AOE
Notification: May 14, 2015
Workshop: July 18, 2015

ORGANISATION AND COMMITTEE

Laura Kovacs and Georg Weissenbacher

SCOPE

Craig interpolation enjoys a continuing popularity in the field of
verification. Historically, Craig's interpolation theorem has received
ample attention in proof theory and mathematical logic as well as in
complexity theory. The aim of the workshop is to bring together
theoreticians and practitioners from different fields.

We solicit submissions in form of an abstract of at most one page in
PDF format. The authors of accepted abstracts are required to
present their work at the workshop. There will be no published
proceedings.

We encourage submissions presenting work in progress, tools under
development, as well as research of PhD students, such that the
workshop can become a forum for active dialog between the groups
involved in applications of interpolation. We also encourage
contributions from outside the verification community.

Presentations of recently published papers are also allowed and
encouraged, but please indicate on your submission where the paper was
published/presented.

Relevant topics include (but are not limited to) applications of
interpolation in:

- Interpolating decision procedures
- Proof theoretic approaches to interpolation
- Proof systems and calculi for interpolation
- Proof transformation techniques
- Inductive Proofs
- Logical Abduction
- Interpolation techniques based on constraint solving, linear programming...
- Alternative techniques for interpolation
- Interpolation theorems (for theories and extensions, non-classical
logic, ...)
- Interpolation-based/Inductive invariant generation
- Program analysis and verification
- Tools for interpolation
- Applications of Craig interpolation (verification, synthesis,
automated reasoning, ...)
- Complexity results and limitations
...

SUBMISSION INSTRUCTIONS

Abstracts (at most one page in PDF format) have to be submitted until
May 7 via the EasyChair system:

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

The authors will be notified on May 14, 2015.
There will be no formal workshop proceedings.

FORMAT

The workshop will feature

- an invited talk by Arie Gurfinkel (SEI/CMU),
- presentations (selected by a committee based on the submission of
abstracts) by workshop participants, and
- discussion and panel sessions.

The program will be coordinated with the HCVS workshop,
which takes place on July 19.

REGISTRATION

Registration for the workshop will be possible via the CAV
registration site: http://i-cav.org/2015/

POSTER

A poster is available on http://forsyte.at/interpolation. We
kindly ask you to print and display a copy in your department/workplace.

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

[Caml-list] SFM-15:MP school on multicore programming -- last call for participation

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


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

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

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

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


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

The school features the following lectures:

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

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

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

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

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

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

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

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

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

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

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


LOCATION
^^^^^^^^

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

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

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

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


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

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

Secretary:
* Monica Michelacci (CRU Bertinoro, IT)


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

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

Marco Bernardo
marco.bernardo AT uniurb.it

Monica Michelacci
mmichelacci AT ceub.it

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

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

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

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

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

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

No refund is possible for cancellation after May 15.

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

[Caml-list] [TFPIE 2015] 2nd call for papers

Trends in Functional Programming in Education (TFPIE 2015)
2nd Call for papers
https://wiki.science.ru.nl/tfpie/TFPIE2015

The 4th International Workshop on Trends in Functional Programming in
Education,
TFPIE 2015, will be held on June 2, 2015 in Sophia-Antipolis in France.
It is
co-located with the Symposium on Trends in Functional Programming (TFP 2015)
which takes place from June 3 - 5.

*** Goal ***

The goal of TFPIE is to gather researchers, teachers and professionals
that use,
or are interested in the use of, functional programming in education.
TFPIE aims
to be a venue where novel ideas, classroom-tested ideas and
work-in-progress on
the use of functional programming in education are discussed. The one-day
workshop will foster a spirit of open discussion by having a review
process for
publication after the workshop. The program chair of TFPIE 2015 will screen
submissions to ensure that all presentations are within scope and are of
interest to participants. Potential presenters are invited to submit an
extended
abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The
authors of accepted presentations will have their preprints and their slides
made available on the workshop's website/wiki. Visitors to the TFPIE 2015
website/wiki will be able to add comments. This includes presenters who may
respond to comments and questions as well as provide pointers to
improvements
and follow-up work. After the workshop, presenters will be invited to
submit (a
revised version of) their article for review. The PC will select the best
articles for publication in the journal Electronic Proceedings in
Theoretical
Computer Science (EPTCS). Articles rejected for presentation and extended
abstracts will not be formally reviewed by the PC. TFPIE workshops have
previously been held in St Andrews, Scotland (2012), Provo Utah, USA
(2013), and
Soesterberg, The Netherlands (2014).

*** Program Committee ***

Peter Achten, Radboud University Nijmegen, The Netherlands
Edwin Brady, University of St Andrews, UK
Johan Jeuring, Utrecht University and Open University, The Netherlands
(Chair)
Shriram Krishnamurthi, Brown University, US
Rita Loogen, Philipps-Universität Marburg, Germany
Marco Morazan, Seton Hall University, US
Norman Ramsey, Tufts University, US

*** Submission Guidelines ***

TFPIE 2015 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:

- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- Tools supporting learning FP
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy

*** Best Lectures ***

In addition to papers, we request "best lecture" presentations. What is your
best lecture topic in an FP related course? Do you have a fun way to
present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best
lecture topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees.

*** Submission ***

Papers and abstracts can be submitted via easychair at the following link:
https://easychair.org/conferences/?conf=tfpie2015
It is expected at at least one author for each submitted paper will
attend the
workshop.

*** Important Dates ***

April 7, 2015: Early Registration for TFP closes
April 27, 2015: Submission deadline for draft TFPIE papers and abstracts
May 3 2015: Notification of acceptance for presentation
?? (Probably May 22 2015): Registration for TFPIE closes - as does late
registration for TFP
June 2, 2015: Presentations in Sophia-Antipolis, France
July 7, 2015: Full papers for EPTCS proceedings due.
September 1, 2015: Notification of acceptance for proceedings
September 22, 2015: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version;
abstracts with no corresponding full versions by the full paper deadline
will be
considered as withdrawn.


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