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.