2015-06-29

[Caml-list] Call for Papers - 5th Program Protection and Reverse Engineering Workshop

CALL FOR PAPERS 

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

5th Program Protection and Reverse Engineering Workshop (PPREW-5)

Hilton Los Angeles/Universal City

Los Angeles, CA

December 08, 2015

Website: http://www.pprew.org

 

Co-Located with:

Annual Computer Security Applications Conference (ACSAC) 2015

Website: https://www.acsac.org/

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

 

Important Dates:

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

Paper Submission: September 1, 2015

Author Notification: October 19, 2015

Camera Ready: November 20, 2015

Workshop: December 8, 2015

 

Workshop Aims:

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

Program protection and reverse engineering techniques both find

their practical use in malware research and analysis as well as

legitimate protection schemes for intellectual property and

commercial software. Program protection techniques vary widely

from the use of obfuscation, tamper-proofing, watermarking,

virtualization, and an array of methods to frustrate disassembly,

debugging, and decompilation. Reverse engineering of low-level

constructs such as machine code or gate-level circuit definitions

through static and dynamic analysis is geared to recover higher

levels of abstract information to determine a program's function

as well as to classify it with existing similar code (which is

typically malicious). Both program protection and reverse

engineering techniques are utilized for legitimate and illegal

purposes. Theoretically, protection is seen as impossible in the

general case but the promise of mathematically based

transformations with rigorous cryptographic properties is an area

of active interest. Given enough time and resources, reverse

engineering and de-obfuscation is assumed to be achievable.

 

PPREW invites papers on program protection and reverse engineering

used in legitimate contexts, with particular focus on studies and

experiments that explore the boundary of practical methods and

their theoretical limits. The workshop is intended to provide a

discussion forum for researchers that are exploring theoretical

definitions and frameworks, implementing and using practical

methods and empirical studies, and those developing new tools

or techniques in this unique area of security. We expect the

workshop to provide exchange of ideas and support for cooperative

relationships among researchers in industry, academia,

and government.

 

Topics of interest include, but are not limited, to the following:

- Obfuscation / Deobfuscation (polymorphism)

- Tamper-proofing / Hardware-based protection

- Theoretic proofs for exploitation or protection

- Software watermarking / Digital fingerprinting

- Reverse engineering tools and techniques

- Side channel analysis and vulnerability mitigation

- Program / circuit slicing

- Information hiding and discovery

- Virtualization for protection and/or analysis

- Forensic and anti-forensic protection

- Moving target and active cyber defense

- Theoretic analysis frameworks:

o Abstract Interpretation

o Homomorphic Encryption

o Term Rewriting Systems

o Machine Learning

o Large Scale Boolean Matching

- Component / Functional Identification

- Program understanding

- Source code (static/dynamic) analysis techniques

  

Submission Guidelines:  

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

Original, unpublished manuscripts of up to 12-pages including

figures and references must follow the ACM SIG proceedings format.

SIGPLAN conference paper templates are available for LaTeX and

Word at:

 

http://www.acm.org/sigs/publications/proceedings-templates.

 

Submissions must be in PDF.

   

Submitted papers must adhere to the SIGPLAN Re-publication Policy

and the ACM Policy on Plagiarism. Concurrent submissions to other

conferences,workshops, journals, or similar forums of publication

are not allowed. Submissions that do not meet these guidelines may

not be considered.

 

The URL for submission is through Easy Chair:

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

 

Publication:

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

For accepted papers, at least one author must register for, attend,

and make a presentation at PPREW in order for the paper to appear

in the workshop proceedings. Proceedings will be published through

ACM International Conference Publication Series (ICPS) and will

appear in the ACM Digital Library.

  

Program Chairs: 

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

•Mila Dalla Preda, University of Verona, Italy

•Natalia Stakhanova, University of New Brunswick, Canada

  

General Chair:

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

•J. Todd McDonald, University of South Alabama, USA

  

Program Committee:

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

•Todd Andel, University of South Alabama, USA

•Guillaume Bonfante, Loria, France

•Lorenzo Cavallaro, Royal Holloway, University of London, UK

•Mihai Christodorescu, Qualcomm-IBM Research, USA

•Jack Davidson, University of Virginia, USA

•Bjorn De Sutter, University of Ghent, Belgium

•Saumya Debray, University of Arizona, USA

•Jose M. Fernandez, Ecole Polytechnique de Montreal, Canada

•Yuan Xiang Gu, IRDETO, Canada

•Sylvain Guilley, TELECOM-ParisTech and Secure-IC S.A.S., France

•Thorsten Holz, Ruhr-Universität Bochum, Germany

•Johannes Kinder, Royal Holloway, University of London, UK

•Andy King, University of Kent, UK

•Sergio Maffeis, Imperial College London, UK

•Frederico Maggi, Politecnico di Milano, Italy

•William Mahoney, University of Nebraska Omaha, USA

•Jean-Yves Marion, INPL, France

•Isabella Mastroeni, Universita' di Verona, Italy

•Mizuhito Ogawa, JIST, Japan

•Mathias Payer, Purdue University, USA

•Stacy Prowell, Oak Ridge National Lab, USA

•William Robinson, Vanderbilt University, USA

•Axel Simon, Technische Universität München, Germany

•Clark Thomborson, University of Auckland, New Zealand

  

Steering Committee:

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

•Arun Lakhotia, University of Louisiana-Lafayette, USA

•Roberto Giacobazzi, University of Verona, Italy

•J. Todd McDonald, University of South Alabama, USA

•Mila Dalla Preda, University of Verona, Italy

2015-06-26

[Caml-list] Final call for papers: SR 2015, Oxford, Sept 21-22, UK

Summary of relevant information:


- Deadline (abstracts) : July 1st, 2015.
- Special issue : Journal of Information and Computation.
- Format : EPTCS (10 pages + references).
- Place : Oxford, UK.
- Date : September 21-22, 2015.
- Main topics : Games, Logic, Verification, Multi-Agent Systems.
- Invited Speakers : Johan van Benthem, Amsterdam/Stanford University.
Joseph Halpern, Cornell University.
Marta Kwiatkowska, Oxford University.
Moshe Vardi, Rice University.


Detailed information below:


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

SR 2015 - Call For Papers

3rd International Workshop on Strategic Reasoning

Oxford, 21-22 September, 2015

https://sites.google.com/site/sr2015homepage/

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

Strategic reasoning is one of the most active research areas in the
multi-agent system domain. The literature in this field is extensive
and provides a plethora of logics for modelling strategic
ability. Theoretical results are now being used in many exciting
domains, including software tools for information system security,
robot teams with sophisticated adaptive strategies, and automatic
players capable of beating expert human adversary, just to cite a
few. All these examples share the challenge of developing novel
theories and tools for agent strategies that take into account the
likely behaviour of adversaries. The SR international workshop aims to
bring together researchers working on different aspects of strategic
reasoning in computer science, artificial intelligence and multi-agent
systems research, both from a theoretical and a practical viewpoint.

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

TOPICS OF INTEREST.

The topics covered by SR include, but are not limited to, the
following:

* Logics for reasoning about strategic abilities;
* Logics for multi-agent mechanism design, verification, and synthesis;
* Logical foundations of decision theory for multi-agent systems;
* Strategic reasoning in formal verification;
* Automata theory for strategy synthesis;
* Strategic reasoning under perfect and imperfect information;
* Applications and tools for cooperative and adversarial reasoning;
* Robust planning and optimisation in multi-agent systems;
* Risk and uncertainty in multi-agent systems;
* Quantitative aspects of strategic reasoning.

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

INVITED SPEAKERS.

Speakers so far confirmed include:

* Johan van Benthem, University of Amsterdam/Stanford University
* Joseph Halpern, Cornell University
* Marta Kwiatkowska, University of Oxford
* Moshe Vardi, Rice University

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

IMPORTANT DATES.

* June 1st, 2015: Submission opening

* July 1st, 2015 (strict): Abstract submission deadline
* July 3rd, 2015 (strict): Paper submission deadline

* July 31st, 2015: Acceptance notification
* August 14th, 2015: Camera-ready version deadline

* September 21st-22nd, 2015: SR 2015 workshop

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

SUBMISSION.

Extended abstracts should be submitted not exceeding 10 pages (plus
references) in the EPTCS format. If necessary, the work may be
supplemented with a clearly marked appendix, which will be consulted
at the discretion of the PC. Submissions must be in PDF format and
will be handled via EasyChair, using the following link:

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

Two types of submission are invited:

* contributions reporting on novel research;
* expository contributions reporting on published work.

Each submission should be clearly identified as belonging to one
category or the other. In both categories, strong preference will be
given to papers whose topic is of interest to an interdisciplinary
audience and all contributions should be written so that they are
accessible to such an audience.

Extended abstracts will be held to the usual high standards of
research publications. In particular, they should contain enough
information to enable the PC to identify the main contribution of the
work, explain the significance of the work, its novelty, and its
practical or theoretical implications, and include comparisons with
and references to relevant literature.

Expository abstracts, which will be evaluated using similar high
standards, may survey an area or report on more specific previously
published work.

Submissions should make clear the relevance to the strategic reasoning
audience.

Submissions from PC members are also allowed. Note that, since the
workshop will have informal proceedings, extended versions of the
accepted papers can also be submitted elsewhere.

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

PROCEEDINGS.

The workshop proceedings will be available as a single PDF file from
the workshop website. Extended and revised versions of the best papers
presented at the workshop will be invited to a special issue of the
Journal of Information and Computation.

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

COMMITTEES.

Workshop Chairs

* Julian Gutierrez, University of Oxford, UK
* Fabio Mogavero, University of Naples Federico II, Italy
* Aniello Murano, University of Naples Federico II, Italy
* Michael Wooldridge, University of Oxford, UK [MAIN CONTACT]

Program Committee

* Thomas Agotnes, University of Bergen, Norway
* Natasha Alechina, University of Nottingham, UK
* Julian Bradfield, University of Edinburgh, UK
* Krishnendu Chatterjee, IST, Austria
* Vojtech Forejt, University of Oxford, UK
* Valentin Goranko, Stockholm University, Sweden
* Erich Graedel, RWTH Aachen University, Germany
* Julian Gutierrez, University of Oxford, UK
* Paul Harrenstein, University of Oxford, UK
* Andreas Herzig, CNRS, IRIT, France
* Orna Kupferman, Hebrew University, Israel
* Salvatore La Torre, University of Salerno, Italy
* Jerome Lang, LAMSADE, France
* Alessio Lomuscio, Imperial College London, UK
* Enrico Marchioni, University of Oxford, UK
* Nicolas Markey, LSV, CNRS, and ENS Cachan, France
* John-Jules Meyer, Utrecht University, The Netherlands
* Andrzej Murawski, University of Warwick, UK
* Luke Ong, University of Oxford, UK
* Sophie Pinchinat, IRISA Rennes, France
* Nikos Tzevelekos, Queen Mary University of London, UK
* Wiebe Van Der Hoek, University of Liverpool, UK
* Igor Walukiewicz, CNRS, LaBRI, France

Local Arrangements Committee

* Vojtech Forejt, University of Oxford, UK
* Julian Gutierrez, University of Oxford, UK
* Paul Harrenstein, University of Oxford, UK
* Enrico Marchioni, University of Oxford, UK
* Giuseppe Perelli, University of Oxford, UK
* Michael Wooldridge, University of Oxford, UK

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

===
Julian Gutierrez
Oxford University Department of Computer Science
Wolfson Building, Parks Road, Oxford OX1 3QD, UK
Web: http://www.cs.ox.ac.uk/people/julian.gutierrez/



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