2015-06-20

[Caml-list] Second IEEE/ACM International Conference on Big Data Computing (BDC 2015): Third Call for Papers

*** Third Call for Papers ***

Second IEEE/ACM International Conference on Big Data Computing
(BDC 2015)

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

Co-located with the 8th IEEE/ACM International Conference
on Utility and Cloud Computing (UCC 2015)

http://datasys.cs.iit.edu/events/BDC2015/



CONTEXT AND SCOPE

Rapid advances in digital sensors, networks, storage, and computation along
with their availability at low cost is leading to the creation of huge collections
of data -- dubbed as Big Data. This data has the potential for enabling new
insights that can change the way business, science, and governments deliver
services to their consumers and can impact society as a whole. This has led
to the emergence of the Big Data Computing paradigm focusing on sensing,
collection, storage, management and analysis of data from variety of sources
to enable new value and insights.

To realize the full potential of Big Data Computing, we need to address
several challenges and develop suitable conceptual and technological
solutions for dealing them. These include life-cycle management of data,
large-scale storage, flexible processing infrastructure, data modeling,
scalable machine learning and data analysis algorithms, techniques for
sampling and making trade-off between data processing time and accuracy,
and dealing with privacy and ethical issues involved in data sensing, storage,
processing, and actions.

The International Symposium on Big Data Computing (BDC) 2015 -- held in
conjunction with 8th IEEE/ACM International Conference on Utility and Cloud
Computing (UCC) 2015, December 7-10, 2015, St. Raphael Resort, Limassol,
Cyprus, aims at bringing together international researchers, developers,
policy makers, and users and to provide an international forum to present
leading research activities, technical solutions, and results on a broad range
of topics related to Big Data Computing paradigms, platforms and their
applications. The conference features keynotes, technical presentations,
posters, and workshops.


TOPICS

Authors are invited to submit original unpublished research manuscripts
that demonstrate current research in all areas of Big Data Computing.

Topics of interest include but are not limited to:

I. Big Data Science
· Analytics
· Algorithms for Big Data
· Energy-efficient Algorithms
· Big Data Search
· Big Data Acquisition, Integration, Cleaning, and Best Practices
· Visualization of Big Data

II. Big Data Infrastructures and Platforms
· Programming Systems
· Cyber-Infrastructure
· Performance evaluation
· Fault tolerance and reliability
· I/O and Data management
· Storage Systems (including file systems, NoSQL, and RDBMS)
· Resource management
· Many-Task Computing
· Many-core computing and accelerators

III. Big Data Security and Policy
· Management Policies
· Data Privacy
· Data Security
· Big Data Archival and Preservation
· Big Data Provenance

IV. Big Data Applications
· Scientific application cases studies on Cloud infrastructure
· Big Data Applications at Scale
· Experience Papers with Big Data Application Deployments
· Data streaming applications
· Big Data in Social Networks
· Healthcare Applications
· Enterprise Applications

One or more best paper awards will be given for outstanding contributed
papers.


PAPER SUBMISSION

Authors are invited to submit papers electronically. Submitted manuscripts
should be structured as technical papers and may not exceed 10 letter size
(8.5 x 11) pages including figures, tables and references. Authors should
submit the manuscript in PDF format and make sure that the file will print
on a printer that uses letter size (8.5 x 11) paper. The official language of
the meeting is English. All manuscripts will be reviewed and will be judged
on correctness, originality, technical strength, significance, quality of
presentation, and interest and relevance to the conference attendees. Papers
conforming to the above guidelines can be submitted through the BDC 2015
paper submission system:

https://www.easychair.org/conferences/?conf=bdc2015).

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 conference
PC Chair for more information.

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 BDC 2015 will be invited to extend and submit to the
Special Issue on Big Data Computing in the IEEE Transaction on Cloud
Computing.


IMPORTANT DATES

· 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

· Proceedings-published posters due: 28 August, 2015
· Notification of acceptance: 18 September, 2015
· Camera ready posters due: 21 September, 2015


ORGANIZATION

General Chairs
· Rajkumar Buyya, University of Melbourne, Australia
· George Papadopoulos, University of Cyprus

Program Committee Chairs (bdc15-chairs@datasys.cs.iit.edu)
· Amy Apon, National Science Foundation, USA
· Ioan Raicu, Illinois Institute of Technology & Argonne National Laboratory,
USA
· Manish Parashar, Rutgers University, USA

Program Committee Vice Chairs
· Ilkay Altintas, University of California, San Diego, USA
· Omer Rana, Cardiff University, UK

Program Committee Members
· Alexander Rasin, DePaul University, USA
· Alok Choudhary, Northwestern University, USA
· Abhishek Chandra, University of Minnesota, USA
· Andre Luckow, BMW IT Research Center, USA
· Daniel Katz, University of Chicago and Argonne National Lab, USA
· Dongfang Zhao, Illinois Institute of Technology, USA
· Douglas Thain, University of Notre Dame, USA
· Florian Schintke, Zuse Institute Berlin, Germany
· Giuliano Casale, Imperial College London, UK
· Jaliya Ekanayake, Microsoft, USA
· Jessica Chen-Burger, Heriot-Watt University, UK
· Judy Qiu, Indiana University, USA
· Justin Wozniak, Argonne National Lab, USA
· Ke Wang, Illinois Institute of Technology, USA
· Kesheng (John) Wu, Lawrence Berkeley National Lab, USA
· Kyle Chard, University of Chicago and Argonne National Lab, USA
· Lavanya Ramakrishnan, Lawrence Berkeley National Laboratory, USA
· Marco Netto, IBM Research, Brazil
· Matei Ripeanu, University of British Columbia, Canada
· Matei Stroila, HERE, USA
· Nagiza Samatova, North Carolina State University, USA
· Paolo Missier, Newcastle University, UK
· Paul Watson, NewCastle University, UK
· Peter Burnap, Cardiff University, UK
· Rahul Potharaju, Microsoft, USA
· Rajkumar Kettimuthu, Argonne National Lab and University of Chicago, USA
· Robert Ross, Argonne National Lab, USA
· Samer Al-Kiswany, University of British Columbia, Canada
· Scott Klasky, Oak Ridge National Lab, USA
· Wei Tang, Argonne National Lab, USA
· Weidong Shi, University of Houston, USA
· Xiaolin (Andy) Li, University of Florida, USA
· Yanlong Yin, Bloomberg, USA
· Yong Chen, Texas Tech University, USA
· Yong Zhao, University of Electronic Science and Technology, China
· Zhao Zhang, University of California, Berkeley, USA

Cyber Chair
· Dongfang Zhao, Illinois Institute of Technology, USA

Local Organizing Committee Chair
· George Angelos Papadopoulos, 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-06-19

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

*** Fourth Call for Papers and Tutorial 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.

Please use the following Easy Chair link to update your submission:
https://easychair.org/conferences/?conf=ucc2015 .

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. There is NO student
rate for the author who is responsible for registration for his/her published
paper. If you have more than one accepted paper, you have to register for
each one individually. There is no discount if you have two or more papers
accepted. 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 IEEE Transactions on Cloud Computing. Papers will be selected
based on their reviewers' scores and appropriateness to the 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.


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

• 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

Program Committee

http://cyprusconferences.org/ucc2015/?page_id=281


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

[Caml-list] TAPAS Call for Papers

Call for Abstracts
----------------------------------------------------------------------
Sixth Workshop on Tools for Automatic Program Analysis

TAPAS 2015
----------------------------------------------------------------------

8 September 2015
Saint-Malo, France
Satellite Workshop of SAS 2015

http://research.berdine.net/tapas2015/


IMPORTANT DATES
---------------
Submission deadline 26 June, 2015
Notification 17 July, 2015
Workshop 8 September, 2015


OBJECTIVES
----------

In the last ten years, a wide range of static analysis tools have
emerged, some of which are currently in industrial use or are well
beyond the advanced prototype level. Many impressive practical results
have been obtained, which allow complex properties to be proved or
checked in a fully or semi-automatic way, even in the context of
complex software developments. In parallel, the techniques to design
and implement static analysis tools have improved significantly, and
much effort is being put into engineering the tools. This workshop is
intended to promote discussions and exchange experience between
specialists in all areas of program analysis design and
implementation, and users of static analysis tools.


SCOPE
-----

The technical program of TAPAS 2015 will consist of invited lectures
together with presentations based on submitted abstracts.

We welcome presentations on all aspects of program analysis tools
including, but not limited to the following:

- design and implementation of static analysis tools to check, prove
or infer properties (including practical techniques used for
obtaining precision and performance);

- components and other reusable infrastructure of static analysis
tools (front-ends, abstract domains, solvers, analysis algorithms,
frameworks, etc.);

- integration of static analyzers (in proof assistants, test
generation tools, IDEs, etc.);

- experience reports on the use of static analyzers (both research
prototypes and industrial tools);

- challenges for static analysis tools, such as new properties to
address or bottlenecks to overcome;

- usability of static analysis tools (including user interfaces and
other tools helping to exploit static analysis results); and

- tool demonstrations, and comparisons, by tool authors or
experienced users.


SUBMISSION
----------

Please visit the submission website:
<https://www.easychair.org/login.cgi?conf=tapas2015>.

All submitted abstracts will be reviewed by the program committee.

Submitted abstracts should be 1-2 pages.


INVITED SPEAKERS
----------------

Forthcoming.


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

Josh Berdine Microsoft Research (chair)
Arie Gurfinkel Software Engineering Inst, Carnegie Mellon Univ
Jan Reineke Saarland University
Manuel Hermenegildo T.U. Madrid (UPM), IMDEA Software Institute
Ralf Huuck NICTA, Univ of New South Wales, Red Lizard Software
Mihaela Sighireanu LIAFA, University of Paris Diderot, CNRS
Laura Kovacs Chalmers University of Technology
Andreas Podelski University of Freiburg
Mooly Sagiv Tel-Aviv University

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

[Caml-list] CICM 2015 CfP (Call for Participation + Call for Posters)

Conference on Intelligent Computer Mathematics
CICM 2015

13-17 July 2015
Washington DC, USA


The programme for this year's CICM in Washington can be found as
http://www.cicm-conference.org/2015/cicm.php?event=&menu=detailed-programme

The accepted papers as
http://www.cicm-conference.org/2015/cicm.php?event=&menu=talks

In addition we solicit for posters which will not be peer reviewed, but we
will just do a screen review for relevance to the conference. A poster
presentation will consist of a 5 minute teaser talk and the presentation of
the poster on Tuesday morning (together with the other presentations in the
Systems/Data/Projects track).

You can submit a brief abstract on a poster by 22 June 2015 via EasyChair:
https://www.easychair.org/conferences/?conf=cicm2015
You will be informed about acceptance shortly after your submission.

Registration to the conference will open shortly.

For details on the conference, registration, accommodation, etc. see
http://www.cicm-conference.org/2015/cicm.php


**********************************************************************
Invited Speakers:
**********************************************************************

* Leonardo de Moura, https://leodemoura.github.io/
"Formalizing mathematics using the Lean Theorem Prover"
(http://leanprover.github.io/)
* Tobias Nipkow, http://www21.in.tum.de/~nipkow/
"Analyzing the Archive of Formal Proofs"
* Jim Pitman, http://www.stat.berkeley.edu/~pitman/
"Towards a Global Digital Mathematics Library"
* Richard Zanibbi, http://www.cs.rit.edu/~rlaz/
"Math Search for the Masses: Multimodal Search
Interfaces and Appearance-Based Retrieval"

**********************************************************************
The principal tracks of the conference will be:
**********************************************************************

* Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: Jacques Carette
* DML (Digital Mathematical Libraries)
Chair: Volker Sorge
* MKM (Mathematical Knowledge Management)
Chair: Cezary Kaliszyk
* Systems and Data
Chair: Florian Rabe
* Doctoral Programme
Chair: Umair Siddique

Publicity chair is Serge Autexier. The local arrangements are
coordinated by the Local Arrangements Chairs, Bruce R. Miller
(National Institute of Standards and Technology, USA) and Abdou
Youssef (The George Washington University, Washington, D.C.), and the
overall programme is organized by the General Programme Chair,
Manfred Kerber (U. Birmingham, UK).

As in previous years, we have co-located workshops:

* Formal Mathematics for Mathematicians
* Theorem proving components for Educational software (ThEdu'15)
* MathUI

Furthermore we have a doctoral programme to mentor doctoral
students giving presentations and a tutorial on the generic proof
assistant Isabelle.
--------------------------------------------------------------------------------

--
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] STAF 2015 - Call for Participation

STAF 2015: Software Technologies: Applications and Foundations
July 20th - 24th, 2015
L'Aquila, Italy
http://www.disim.univaq.it/staf2015/

The umbrella conference for the
* ECMFA'15 - 11th European Conference on Modelling Foundations and Applications
* ICGT'15 - 8th International Conference on Graph Transformation
* ICMT'15 - 8th International Conference on Model Transformation
* TAP'15 - 9th International Conference on Tests & Proofs
* TTC'15 - 8th Transformation Tool Contest

and many related events.

*** First Call for Participation ***

============================================================================
Software Technologies: Applications and Foundations (STAF) is a
federation of a number of the leading conferences on software
technologies. It was formed after the end of the successful TOOLS
federated event (http://tools.ethz.ch) in 2012, providing a loose
umbrella organisation, with steering committee, that aims to provide
continuity.

The STAF federated event runs annually; the conferences that participate
may vary from year to year, but all focus on practical and foundational
advances in software technology. The conferences address all aspects of
software technology, from object-oriented design, testing, mathematical
approaches to modelling and verification, transformation, model-driven
engineering, aspect- oriented techniques, and tools.

Registration
============

Register online at http://www.disim.univaq.it/staf2015/staf-2015-registration/
before June 16th (Tuesday) at reduced, early bird registration rates!

Keynote Speakers
================

* Lionel Briand (University of Luxembourg, Luxembourg)
* Arend Rensink (University of Twente, The Netherlands)
* Sam Nicander (Saab Aeronautics, Sweden)
* Gerti Kappel (Vienna University of Technology, Austria)
* Einar Broch Johnsen (University of Oslo, Norway)
* Francesco Zappa Nardelli (INRIA, France)
* Fréedéric Jouault (ESEO, France)

Tutorial
========

* Carlo Alberto Furia (ETH Zurich, Switzerland): Testing, fixing, and
proving with contracts.

Main conferences
================

* ECMFA'15 - 11th European Conference on Modelling Foundations and Applications
https://www.uni-marburg.de/fb12/swt/ecmfa2015/

* ICGT'15 - 8th International Conference on Graph Transformation
http://btn1x4.inf.uni-bayreuth.de/icgt2015/

* ICMT'15 - 8th International Conference on Model Transformation
http://www.model-transformation.org/

* TAP'15 - 9th International Conference on Tests & Proofs
http://tap2015.in.tum.de/

Satellite events
================

* TTC'15 - 8th Transformation Tool Contest
http://www.transformation-tool-contest.eu/

* PS'15 - 1st Project Showcase
http://www.disim.univaq.it/staf2015/projects-showcase/

* DocSymp'15 - STAF 2015 Doctoral Symposium
http://www.disim.univaq.it/staf2015/doctoral-symposium/

* BigMDE-15 - Third Workshop on Scalable Model Driven Engineering
http://www.big-mde.eu/

* BX-15 - Fourth International Workshop on Bidirectional Transformations
http://bx-community.wikidot.com/bx2015:home

* GCM-15 - Sixth International Workshop on Graph Computation Models
http://www-users.cs.york.ac.uk/~det/GCM2015/cfp.html

* MORSE-15 - Second Workshop on Model-Driven Robot Software Engineering
http://swt4.informatik.uni-mannheim.de/morse2015/

* PAME-15 - First Workshop on Patterns in Model Engineering
http://www-ens.iro.umontreal.ca/~syriani/pame2015/

* VAO-15 - Third Workshop on View-Based, Aspect-Oriented and
Orthographic Software Modelling http://vao.ipd.kit.edu/vao_2015

* VOLT-15 - Fourth Workshop on the Verification Of Model Transformations
http://volt2015.big.tuwien.ac.at/


Tentative program of all events is available at: http://bit.ly/1GvC4MU

Venue
=====

STAF 2015 will be hosted by L'Aquila, the capital city of the Abruzzi
region in Italy. The city's construction was begun by Frederick II, Holy
Roman Emperor and King of Sicily, as a bulwark against the power of the
papacy. The name of Aquila means "Eagle" in Italian. Construction was
completed in 1254 under Frederick's son, Conrad IV of Germany.

Laid out within medieval walls upon a hillside in the middle of a narrow
valley; tall snow-capped mountains of the Gran Sasso massif flank the
town. A maze of narrow streets, lined with Baroque and Renaissance
buildings and churches, open onto elegant piazzas.

The surrounding area boasts Roman ruins (the important Roman city of
Amiternum), ancient monasteries, and numerous castles. The best-known of
these is Rocca Calascio (used in the 1980s as the location for the movie
Ladyhawke), which is the highest castle in Italy and one of the highest
in Europe. Also nearby are several ski resorts like Gran Sasso d'Italia,
the highest of the Apennines where in its valley the movie The Name of
the Rose was filmed in the end of the 1980s.

Earthquakes mark the history of L'Aquila. STAF 2015 is the first
remarkable scientific event in Computer Science after the earthquake
that occurred in 2009. It is a small, big step towards the grand
achievement of restoring some form of normality in this place and its
people.

The conferences will be held on Dipartimento di Scienze Umane of the
University of L'Aquila

ADDRESS: Viale Nizza, 14
67100 L'Aquila (Italy)

GOOGLE MAP: https://goo.gl/maps/ZGqQE

Contact
=======

For further inquiries, do not hesitate to contact the organization team
at stafconference2015@gmail.com

Alfonso Pierantonio
STAF 2015 General Chair


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

[Caml-list] GCAI 2015 - Call for Papers

GCAI 2015: The First Global Conference on Artificial Intelligence

Tbilisi, Georgia, October 16-19, 2015
http://easychair.org/smart-program/GCAI2015/

First Call for Papers


GCAI 2015 will be held at Tbilisi State University, 16-19 October 2015.
The conference is organized jointly by LRG and Tbilisi State University.

SUBMISSION

Submissions in all areas of artifical intelligence are welcome. Submitted
papers must be original and not submitted simultaneously elsewhere. More
information can be found on the conference web pages. The submission page
is https://easychair.org/conferences/?conf=gcai2015 .

DATES

- Abstract registration: July 3, 2015
- Submission: July 10, 2015
- Notification: August 10, 2015
- Final version: August 25, 2015
- Early registration deadline: September 1, 2015
- Conference: October 16-19, 2015

PROGRAM COMMITTEE

The program committee contains 120 researchers from 34 countries. The
program chairs are

- Georg Gottlob (Oxford University)
- Geoff Sutcliffe (University of Miami)
- Andrei Voronkov (The University of Manchester)

PUBLICATION

The GCAI proceedings will be published by EasyChair in the Epic Series
in Computing. The volume will be open access and the authors will retain
copyrights.


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

[Caml-list] CADE-25 Call for Participation

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

CALL FOR PARTICIPATION
----------------------

Registration, accommodation, and travel information for CADE-25 and all
the affiliated events can be found at the conference website at
http://www.cade-25.info.

The call for the Woody Bledsoe Student Travel Award is attached.

DATES
-----
1-3 August 2015: Workshops, Tutorials, Special Session, Competitions
4-7 August 2015: CADE main conference, Competitions

GENERAL INFORMATION
-------------------
CADE is the major forum for the presentation of research in all
aspects of automated deduction. The CADE-25 conference programme will
include invited talks, paper presentations, system descriptions,
workshops, tutorials, system competitions, a poster session, and a
special jubilee session on the past, present, and future of automated
deduction.

Invited speakers (CADE-25 jubilee session)
* Ursula Martin, University of Oxford
* Frank Pfenning, Carnegie Mellon University
* David Plaisted, University of North Carolina at Chapel Hill
* Andrei Voronkov, University of Manchester

Invited speakers (CADE-25 main conference)
* Ulrich Furbach, University of Koblenz, ECCAI invited talk
* Edward Zalta, Stanford University
* Michael Genesereth, Stanford University (joint with RuleML Symposium)

Numerous further invited presentations will be part of the CADE-25
workshop program. Reception and dinner speeches will be given by
Wolfgang Bibel and Jörg Siekmann.

SCIENTIFIC PROGRAM
-----------------
* 7 invited presentations (see above)
* 24 regular research papers
* 12 system descriptions
* 9 workshops and 1 poster event
* 6 tutorials
* 3 system competitions
* presentation of Herbrand Award to Andrei Voronkov
* presentation of Skolem Awards (for most influential CADE papers
from CADE-20, CADE-14, CADE-8, and CADE-0-1)
* presentation of best paper award to Vijay D'Silva and Caterina Urban

WORKSHOPS
----------
* Bridging: Bridging the gap between human and automated reasoning
* DT: 29. Jahrestreffen der GI-Fachgruppe Deduktionssysteme
* HOL4: HOL4 Workshop
* IWC: The 4th International Workshop on Confluence
* LFMTP: International Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice
* LOCAS: Low-level Code Analysis for Security
* PxTP: Workshop on Proof eXchange for Theorem Proving
* QUANTIFY: 2nd International Workshop on Quantification
* Vampire: The Vampire Workshop

TUTORIALS
---------
* Abella: Reasoning about Computational Systems using Abella
* Beluga: Programming proofs about formal systems
* CPROVER: From Programs to Logic: The CPROVER verification tools
* Isabelle: Isabelle Tutorial
* Lean: Lean Theorem Prover: a Tutorial
* Superposition: 25th Anniversary of Superposition: Status and Future

COMPETITIONS
------------
* CASC: The CADE ATP System Competition
* CoCo: The 4th Confluence Competition
* termCOMP: Termination Competition

POSTER EVENT
------------
* EPS: The CADE-25 Taskforce towards an Encyclopedia of Proof Systems

WOODY BLEDSOE STUDENT TRAVEL AWARDS AT CADE-25
----------------------------------------------
The Woody Bledsoe Student Travel Award was created to honor the memory
of Woody Bledsoe, for his contributions to mathematics, artificial
intelligence, and automated theorem proving, and for his dedication to
students. The award is intended to enable selected students to attend
the International Conference on Automated Deduction (CADE) or the
International Joint Conference on Automated Reasoning (IJCAR),
whichever is scheduled for the year, by covering part of their
expenses.

The winners of the CADE-25 Woody Bledsoe Student Award will be
partially reimbursed (e.g., between Euro 200 and Euro 750) for their
conference registration, transportation, and accommodation expenses.
Preference will be given to students who will play an active role in
the conference (including satellite workshops, competitions, tutorials
and poster events) and do not have alternative funding. However, also
students in other situations are very much encouraged to apply.

A nomination consists of a recommendation letter of up to 300 words
from the student's advisor. Nominations for CADE-25 should be sent by
e-mail to the chairs and conference organizers at
cade25@inf.fu-berlin.de.

Nominations must arrive no later than 21 June 2015. The winners will
be notified by 28 June 2015.

The awards will be presented at CADE-25; in case a winner does not
attend, the chairs may transfer the award to another nominee or give
no award.

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