[We apologize for multiple copies.]
============================================================
Call for Papers
ICECCS 2015
(The 20th International Conference on Engineering of
Complex Computer Systems)
December 9-12, 2015
Gold Coast, Australia
http://iceccs2015.monash.edu.au
============================================================
IMPORTANT DATES
---------------------------
* Abstract submission: June 7th, 2015
* Paper submission deadline: June 21st, 2015
* Notification of acceptance: September 6th, 2015
* Camera-ready material for publication: September 20th, 2015
* Checking for Production: September 30th, 2015
* Workshop proposal submission: July 5th, 2015
* Conference date: December 9th-12th, 2015
The twentieth International Conference on Engineering of Complex
Computer Systems (ICECCS 2015) will be held in the Gold Coast,
Australia, 9-12 December, 2015.
Complex computer systems are present in every aspect of human
activities, ranging from construction, communications, defense, finance,
health care, manufacturing and transportation. Complexity arises from
many factors, including the dynamic environments and scenarios these
systems operate in; demanding and sometimes conflicting requirements in
functionality, efficiency, scalability, security, dependability and
adaptability; as well as the large variation in development methodology,
programming languages and implementation details.
This twentieth edition of the ICECCS conference series aims to bring
together industrial, academic, and government experts, from a variety of
application domains and software disciplines, to discuss how the
disciplines' problems and solution techniques interact within the whole
system. Researchers, practitioners, tool developers and users, and
technology transfer experts are all welcome. The scope of interest
includes long-term research issues; near-term requirements and
challenges; established complex systems; emerging promising tools; and
retrospective and prospective reflections of research and development
into complex systems.
KEYNOTE SPEAKERS
---------------------------
* Colin Fidge Queensland University of Technology, Australia
* Mounir Mokhtari, CNRS & Institut Mines-Telecom, France
* Jun Sun, Singapore University of Technology and Design, Singapore
SCOPE AND TOPICS
---------------------------
Authors are invited to submit papers describing original, unpublished
research results, case studies and tools. Papers are solicited in all
areas related to complex computer-based systems, including causes of
complexity and means of measuring, avoiding, controlling, or coping with
complexity. Topic areas include, but are not limited to:
* Requirement specification and analysis
* Verification and validation
* Security and privacy of complex systems
* Model-driven development
* Reverse engineering and refactoring
* Software architecture
* Big data management
* Ambient intelligence, pervasive computing
* Ubiquitous computing, context awareness, sensor networks
* Design by contract
* Agile methods
* Safety-critical & fault-tolerant architectures
* Adaptive, self-managing and multi-agent systems
* Real-time, hybrid and embedded systems
* Systems of systems
* Cyber-physical systems and Internet of Things (IoT)
* Tools and tool integration
* Past reflections and future outlooks
* Industrial case studies
SUBMISSION
---------------------------
Different types of contributions are sought, including novel research,
lessons learned, experience reports, and discussions of practical
problems faced by industry and user domains. The ultimate goal of the
conference is to build a rich and comprehensive conference program that
can fit the interests and needs of its attendees: practitioners,
researchers, managers, and students. A program goal is to organize
several sessions that include both academic and industrial papers on a
given topic and culminate panels to discuss relationships between
industrial and academic research.
FULL PAPERS
Full papers are divided into two categories:
* Technical Papers and
* Experience Reports.
The papers submitted to both categories will be reviewed by program
committee members, and papers accepted in either category will be
published in the conference proceedings. Technical papers should
describe original research. Experience reports should describe practical
projects carried out in industry, and reflect on the lessons learned
from them.
SHORT PAPERS
Short paper submissions should specify in their abstract whether they
describe ongoing or PhD research. Both types of short papers will be
reviewed by program committee members, and accepted short papers will be
published in the conference proceedings.
PAPER SUBMISSION
Submitted manuscripts should be in English and formatted in the style of
the 2-column IEEE Conference Publishing Services (CPS) Proceedings
Format. Papers should not exceed 10 pages for full papers and 4 pages
for short papers, including figures, references, and appendices. All
submissions should be in PDF format. Submissions not adhering to the
specified format and length may be rejected immediately, without review.
Detailed instructions on paper formatting and submission can be found on
the Submission page.
All submissions should be made through the Easychair Website:
https://easychair.org/conferences/?conf=iceccs20150.
SPECIAL ISSUE
A special issue for selected papers of ICECCS'15 is planned in the
journal "Innovations in Systems and Software Engineering"
(https://www.springer.com/computer/swe/journal/11334).
ORGANIZING COMMITTEES
---------------------------
General Chair
* Yang Liu, Nanyang Technological University, Singapore
Program Committee Chair
* Yuan-Fang Li, Monash University, Australia
Workshop Chair
* Ralf Huuck, NICTA , Australia
Doctoral Symposium Chairs
* Alwen Fernanto Tiu, Nanyang Technological University, Singapore
* Jun Pang, University of Luxembourg, Luxembourg
Registration Chair
* Yan Liu, National University of Singapore, Singapore
Publicity Chair
* Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France
STEERING COMMITTEE
---------------------------
* Jin Song Dong, National University of Singapore, Singapore
* Mike Hinchey, University of Limerick, Ireland
* Xiaohong Li, Tianjin University, China
* Shaoying Liu, Hosei University, Japan
* Andrew Martin, University of Oxford
* Jing Sun, University of Auckland, New Zealand
PROGRAMME COMMITTEE
---------------------------
* Marc Aiguier (Ecole Centrale Paris)
* Yamine Ait Ameur (IRIT/INPT-ENSEEIHT)
* Aldeida Aleti (Monash University)
* Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
* Cyrille Valentin Artho (AIST)
* Luciano Baresi (DEIB - Politecnico di Milano)
* Phil Brooke (Teesside University)
* Radu Calinescu (University of York)
* Christine Choppy (Universite Paris 13, Sorbonne Paris Cite, France)
* Kerstin Eder (University of Bristol, Department of Computer Science)
* Carlo A. Furia (ETH Zurich)
* Sebastien Gerard (CEA, LIST)
* Lindsay Groves (Victoria University of Wellington)
* John Grundy (Swinburne University of Technology)
* Esther Guerra (Universidad Autónoma de Madrid)
* Fei He (School of Software, Tsinghua University)
* Xu Jing (Institute of Machine Intelligence, Nankai University)
* Timo Kehrer (University of Siegen)
* Joseph Kiniry (Galois, Inc.)
* Daniel Kroening (Computer Science Department, University of Oxford)
* Ralf Lammel (Universitat Koblenz-Landau)
* Kung-Kiu Lau (The University of Manchester)
* Xiaohong Li (TianJin University)
* Yuan-Fang Li (Monash University)
* Didier Lime (Ecole Centrale de Nantes -- IRCCyN, France)
* Yang Liu (Nanyang Technology University, Singapore)
* David Lo (Singapore Management University)
* Gerald Luettgen (University of Bamberg)
* Tiziana Margaria (Lero)
* Alistair Mcewan (University of Leicester)
* Dominique Mery (Universite de Lorraine, LORIA)
* Paolo Nesi (University of Florence, DSI)
* Jun Pang (University of Luxembourg)
* Robert Pettit (The Aerospace Corporation)
* Christian Prehofer (LMU Munchen)
* Cesar Rodriguez (Universite Paris 13, Sorbonne Paris Cite, France)
* Bernhard Rumpe (RWTH Aachen University)
* Cristina Seceleanu (Malardalen University, Vasteras, SWEDEN)
* Volker Stolz (University of Oslo)
* Jun Sun (Singapore University of Technology and Design)
* Jing Sun (The University of Auckland)
* Kenji Taguchi (AIST)
* Dalila Tamzalit (LINA Laboratory, University of Nantes, France)
* Tian Huat Tan (National University of Singapore)
* Andre van Hoorn (University of Stuttgart)
* Tullio Vardanega (University of Padua)
* Hai H. Wang (University of Aston)
* Chao Wang (Virginia Tech)
* Heike Wehrheim (University of Paderborn)
* Yinxing Xin (Nanyang Technological University)
* Ling Yuan (Huzhong University of Science and Technology)
* Bechir Zalila (ReDCAD Laboratory, University of Sfax)
* Naijun Zhan (Lab. of Computer Science, Institute of Software, Chinese
Academy of Sciences)
* Steffen Zschaler (King's College London)
TO BE COMPLETED
--
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-05-27
[Caml-list] APLAS 2015: Final Call for Papers
*********************************************************************
APLAS 2015, Call for Papers
13th Asian Symposium on Programming Languages and Systems
Pohang, Korea, November 30 - December 2, 2015
*********************************************************************
*IMPORTANT DATES*
Submission deadline: June 5, 2015
Author notification: August 17, 2015
Final version: September 7, 2015
Conference: November 30 - December 2, 2015
*INVITED SPEAKERS*
Peter O'Hearn, Facebook
Sukyoung Ryu, KAIST
Eran Yahav, Technion
Hongseok Yang, University of Oxford
*ABOUT*
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of
ideas in programming languages and systems. APLAS is based in Asia,
but is an international forum that serves the worldwide programming
language community.
APLAS is sponsored by the Asian Association for Foundation of
Software (AAFS), founded by Asian researchers in cooperation with
many researchers from Europe and the USA. Past APLAS symposiums were
successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12),
Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08),
Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and
Beijing ('03) after three informal workshops. Proceedings of the past
symposiums were published in Springer's LNCS.
*TOPICS*
The symposium is devoted to foundational and practical issues in
programming languages and systems. Papers are solicited on topics
such as
* semantics, logics, foundational theory
* design of languages, type systems and foundational calculi
* domain-specific languages
* compilers, interpreters, abstract machines
* program derivation, synthesis and transformation
* program analysis, verification, model-checking
* logic, constraint, probabilistic and quantum programming
* software security
* concurrency and parallelism
* tools and environments for programming and implementation
Topics are not limited to those discussed in previous symposiums.
Papers identifying future directions of programming and those
addressing the rapid changes of the underlying computing platforms
are especially welcome. Demonstration of systems and tools in the
scope of APLAS are welcome to the System and Tool presentations
category. Authors concerned about the appropriateness of a topic are
welcome to consult with program chair prior to submission.
*SUBMISSION*
We solicit submissions in two categories:
a) Regular research papers
- describing original scientific research results, including tool
development and case studies. Regular research papers should not
exceed 18 pages in the Springer LNCS format, including
bibliography and figures. They should clearly identify what has
been accomplished and why it is significant. Submissions will be
judged on the basis of significance, relevance, correctness,
originality, and clarity. In case of lack of space, proofs,
experimental results, or any information supporting the technical
results of the paper could be provided as an appendix or a link to
a web page, but reviewers are not obliged to read them.
b) System and tool presentations
- describing systems or tools that support theory, program
construction, reasoning, or program execution in the scope of
APLAS. System and Tool presentations are expected to be centered
around a demonstration. The paper and the demonstration should
identify the novelties of the tools and use motivating examples.
System and Tool papers should not exceed 8 pages in the Springer
LNCS format, including bibliography and figures. Submissions will
be judged based on both the papers and the described systems or
tools. It is highly desirable that the tools are available on the
web.
Papers should be submitted electronically via the submission web page
<https://easychair.org/conferences/?conf=aplas2015> using EasyChair.
Acceptable formats are PostScript or PDF.
Submitted papers must be unpublished and not submitted for
publication elsewhere. Papers must be written in English.
The proceedings will be published as a volume in Springer's
LNCS series. Accepted papers must be presented at the conference.
*ORGANIZERS*
General Chair:
Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea)
Program Chair:
Xinyu Feng (Univ. of Science and Technology of China, China)
Program Committee:
James Brotherston (Univ. College London, UK)
James Cheney (Univ. of Edinburgh, UK)
Huimin Cui (Institute of Computing Technology, CAS, China)
Mike Dodds (Univ. of York, UK)
Xinyu Feng (Univ. of Science and Technology of China, China)
Nate Foster (Cornell Univ., USA)
Alexey Gotsman (IMDEA Software Institute, Spain)
Aquinas Hobor
(School of Computing, National Univ. of Singapore / Yale-NUS College)
Chung-Kil Hur (Seoul National Univ., Korea)
Radha Jagadeesan (DePaul Univ., USA)
Annie Liu (Stony Brook Univ., USA)
Andreas Lochbihler (ETH Zurich, Switzerland)
Santosh Nagarakatte (Rutgers Univ., USA)
David A. Naumann (Stevens Inst. of Tech., USA)
Michael Norrish (NICTA, Australia)
Hakjoo Oh (Korea Univ., Korea)
Murali Krishna Ramanathan (Indian Institute of Science, India)
Xavier Rival (CNRS / ENS / INRIA, France)
Kohei Suenaga (Kyoto Univ., Japan)
Gang Tan (Lehigh Univ., USA)
Alwen Tiu (Nanyang Technological University, Singapore)
Martin Vechev (ETH Zurich, Switzerland)
Bow-Yaw Wang (Academia Sinica, Taiwan)
Nobuko Yoshida (Imperial College London, UK)
Lijun Zhang (Institute of Software, CAS, China)
[Caml-list] AVoCS 2015: Final Call for Papers
======================================================================
FINAL 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
-----------------------|*** HIGHLIGHTS ***|----------------------------
+ Paper deadline: 12th June (with abstract due 5th June)
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Student support from FME/SICSA sponsorships
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================
IMPORTANT DATES
Submission of abstract (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/
including invited talk by J Strother Moore (Univerity of Texas at Austin)
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
FINAL 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
-----------------------|*** HIGHLIGHTS ***|----------------------------
+ Paper deadline: 12th June (with abstract due 5th June)
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Student support from FME/SICSA sponsorships
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================
IMPORTANT DATES
Submission of abstract (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/
including invited talk by J Strother Moore (Univerity of Texas at Austin)
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-05-22
[Caml-list] Second IEEE/ACM International Conference on Big Data Computing (BDC 2015): Second Call for Papers
| *** Second 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-05-21
[Caml-list] CONTEXT 2015: Final Call for Papers and Posters (extended deadline!)
| *** Final 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 *** Extended Deadline: June 15, 2015 *** 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. Keynote talks • Emma Borg, University of Reading, UK Linguistic Meaning, Context and Assertion • Enrico Rukzio, Universität Ulm, Germany Mobile Interaction with Pervasive User Interfaces Workshops CONTEXT 2015 workshops will provide a platform for presenting novel and emerging ideas in the use and the modelling of context in a less formal and possibly more focused way than the conference itself. Three workshops are confirmed so far: • Smart University 3.0 • CATI - Context Awareness & Tactile design for mobile Interaction • SHAPES 3.0 — THE SHAPE OF THINGS Important dates Full papers and posters: • Submission deadline: June 15, 2015 (extended) • Notification: July 13, 2015 • Final version: August 17, 2015 Workshops and Doctoral Symposium Papers: • Submission deadline: August 1, 2015 • Notification: September 1, 2015 • Final version: October 1, 2015 Doctoral Consortium The Context 2015 Doctoral Symposium is an opportunity for doctoral researchers to showcase their work and discuss problems, challenges, and ideas in an open and collegial environment with expert feedback. The Doctoral Symposium is a workshop for doctoral researchers from all over the world who are in the early and middle phases of their research work (i.e., the Symposium is not intended for those who are finished or nearly finished their research). 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-05-20
[Caml-list] IEEE/ACM UCC 2015: Third Call for Papers and Tutorial Proposals
| *** Third 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-05-19
[Caml-list] LPAR-20 in Fiji - Call for Papers and Workshops
The 20th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
LPAR-20
University of the Pacific, Suva, Fiji
http://www.LPAR-20.org
CALL FOR PAPERS AND WORKSHOPS
The series of International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 20th LPAR
will be held at the University of the South Pacific, Suva, Fiji in 2015
(see dates below).
== Topics
New results in the fields of computational logic and applications are welcome.
Also welcome are more exploratory presentations, which may examine open
questions and raise fundamental concerns about existing theories and practices.
Topics of interest include, but are not limited to:
+ Abduction and interpolation methods
+ Automated reasoning
+ Constraint programming
+ Decision procedures
+ Description logics
+ Foundations of security
+ Hardware verification
+ Implementations of logic
+ Interactive theorem proving
+ Knowledge representation and reasoning
+ Logic and computational complexity
+ Logic and databases
+ Logic and games
+ Logic and machine learning
+ Logic and the web
+ Logic and types
+ Logic in artificial intelligence
+ Logic of distributed systems
+ Logic programming
+ Logical aspects of concurrency
+ Logical foundations of programming
+ Modal and temporal logics
+ Model checking
+ Non-monotonic reasoning
+ Ontologies and large knowledge bases
+ Probabilistic and fuzzy reasoning
+ Program analysis
+ Rewriting
+ Satisfiability checking
+ Satisfiability modulo theories
+ Software verification
+ Specification using logic
+ Unification theory
== Submission Details
Submissions of two kinds are welcome:
- Regular papers that describe solid new research results. They can be up to
15 pages long in LNCS style, including figures and references, but excluding
appendices (that reviewers are not required to read).
- Experimental and tool papers that describe implementations of systems, report
experiments with implemented systems, or compare implemented systems. They
can be up to 8 pages long in the LNCS style.
Both types of papers must be electronically submitted in PDF via EasyChair:
https://easychair.org/conferences/?conf=lpar20
== Participation
Prospective authors are required to register a title and an abstract a week
before the paper submission deadline (see below). Authors of accepted papers
are required to ensure that at least one of them will be present at the
conference. More details about the venue and organisation can be found on the
conference website.
== Important Dates
Abstract Submission: 30 June
Paper Submission: 7 July
Notification: 23 August
Workshops: 23 November
Conference: 24-28 November
== Programme Committee
Cyrille Valentin Artho AIST, Japan
Franz Baader TU Dresden, Germany
Christel Baier TU Dresden, Germany
Peter Baumgartner NICTA, Australia
Armin Biere Johannes Kepler University, Austria
Nikolaj Bjorner Microsoft Research, USA
Lei Bu Nanjing University, China
Franck Cassez Macquarie University, Australia
Ansgar Fehnker University of the South Pacific
Rajeev Gore Australian National University, Australia
Tim Griffin University of Cambridge, UK
Ralf Huuck NICTA and UNSW, Australia
Kim Guldstrand Larsen Aalborg University, Denmark
Dejan Jovanovic SRI International, USA
Gerwin Klein NICTA and UNSW, Australia
Dexter Kozen Cornell University, USA
Rustan Leino Microsoft Research, USA
Joe Leslie-Hurd Intel Corporation, USA
Annabelle McIver Macquarie University, USA
Kenneth McMillan Microsoft Research, USA
Marius Minea Politehnica University of Timisoara, Romania
Matteo Mio CNRS, ENS Lyon, France
Prakash Panangaden McGill University, Canada
Christine Paulin-Mohring Universit=C3=A9 Paris-Sud, France
Andreas Podelski University of Freiburg, Germany
Geoff Sutcliffe University of Miami, USA
Gancho Vachkov The University of the south Pacific (USP), Fiji
Ron Van Der Meyden UNSW, Australia
Tomas Vojnar Brno University of Technology, Czech Republic
Andrei Voronkov University of Manchester, UK
Toby Walsh NICTA and UNSW, Australia
More to be announced ...
CALL FOR WORKSHOPS
LPAR-20 workshops will be held either as one-day or half-day events. If you
would like to propose a workshop for LPAR-20, please contact the workshop
chair via email (Peter.Baumgartner@nicta.com.au), by the proposal deadline.
== Proposals
To help planning, workshop proposals should contain the following data:
- Name of the workshop.
- Brief description of the workshop, including workshop topics.
- Valid web address of the workshop.
- Contact information of the workshop organizers.
- An estimate of the audience size.
- Proposed format of the workshop (for example, regular talks, tool demos,
poster presentations, etc.).
- Duration of the workshop (one-day or half-day).
- Potential invited speakers (if any).
- Procedures for selecting papers and participants.
- Special technical or AV needs.
== Important dates
Workshop proposals submission deadline: May 15, 2015
Notification of acceptance: June 1, 2015
Workshops: November 23, 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
Logic for Programming, Artificial Intelligence and Reasoning
LPAR-20
University of the Pacific, Suva, Fiji
http://www.LPAR-20.org
CALL FOR PAPERS AND WORKSHOPS
The series of International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 20th LPAR
will be held at the University of the South Pacific, Suva, Fiji in 2015
(see dates below).
== Topics
New results in the fields of computational logic and applications are welcome.
Also welcome are more exploratory presentations, which may examine open
questions and raise fundamental concerns about existing theories and practices.
Topics of interest include, but are not limited to:
+ Abduction and interpolation methods
+ Automated reasoning
+ Constraint programming
+ Decision procedures
+ Description logics
+ Foundations of security
+ Hardware verification
+ Implementations of logic
+ Interactive theorem proving
+ Knowledge representation and reasoning
+ Logic and computational complexity
+ Logic and databases
+ Logic and games
+ Logic and machine learning
+ Logic and the web
+ Logic and types
+ Logic in artificial intelligence
+ Logic of distributed systems
+ Logic programming
+ Logical aspects of concurrency
+ Logical foundations of programming
+ Modal and temporal logics
+ Model checking
+ Non-monotonic reasoning
+ Ontologies and large knowledge bases
+ Probabilistic and fuzzy reasoning
+ Program analysis
+ Rewriting
+ Satisfiability checking
+ Satisfiability modulo theories
+ Software verification
+ Specification using logic
+ Unification theory
== Submission Details
Submissions of two kinds are welcome:
- Regular papers that describe solid new research results. They can be up to
15 pages long in LNCS style, including figures and references, but excluding
appendices (that reviewers are not required to read).
- Experimental and tool papers that describe implementations of systems, report
experiments with implemented systems, or compare implemented systems. They
can be up to 8 pages long in the LNCS style.
Both types of papers must be electronically submitted in PDF via EasyChair:
https://easychair.org/conferences/?conf=lpar20
== Participation
Prospective authors are required to register a title and an abstract a week
before the paper submission deadline (see below). Authors of accepted papers
are required to ensure that at least one of them will be present at the
conference. More details about the venue and organisation can be found on the
conference website.
== Important Dates
Abstract Submission: 30 June
Paper Submission: 7 July
Notification: 23 August
Workshops: 23 November
Conference: 24-28 November
== Programme Committee
Cyrille Valentin Artho AIST, Japan
Franz Baader TU Dresden, Germany
Christel Baier TU Dresden, Germany
Peter Baumgartner NICTA, Australia
Armin Biere Johannes Kepler University, Austria
Nikolaj Bjorner Microsoft Research, USA
Lei Bu Nanjing University, China
Franck Cassez Macquarie University, Australia
Ansgar Fehnker University of the South Pacific
Rajeev Gore Australian National University, Australia
Tim Griffin University of Cambridge, UK
Ralf Huuck NICTA and UNSW, Australia
Kim Guldstrand Larsen Aalborg University, Denmark
Dejan Jovanovic SRI International, USA
Gerwin Klein NICTA and UNSW, Australia
Dexter Kozen Cornell University, USA
Rustan Leino Microsoft Research, USA
Joe Leslie-Hurd Intel Corporation, USA
Annabelle McIver Macquarie University, USA
Kenneth McMillan Microsoft Research, USA
Marius Minea Politehnica University of Timisoara, Romania
Matteo Mio CNRS, ENS Lyon, France
Prakash Panangaden McGill University, Canada
Christine Paulin-Mohring Universit=C3=A9 Paris-Sud, France
Andreas Podelski University of Freiburg, Germany
Geoff Sutcliffe University of Miami, USA
Gancho Vachkov The University of the south Pacific (USP), Fiji
Ron Van Der Meyden UNSW, Australia
Tomas Vojnar Brno University of Technology, Czech Republic
Andrei Voronkov University of Manchester, UK
Toby Walsh NICTA and UNSW, Australia
More to be announced ...
CALL FOR WORKSHOPS
LPAR-20 workshops will be held either as one-day or half-day events. If you
would like to propose a workshop for LPAR-20, please contact the workshop
chair via email (Peter.Baumgartner@nicta.com.au), by the proposal deadline.
== Proposals
To help planning, workshop proposals should contain the following data:
- Name of the workshop.
- Brief description of the workshop, including workshop topics.
- Valid web address of the workshop.
- Contact information of the workshop organizers.
- An estimate of the audience size.
- Proposed format of the workshop (for example, regular talks, tool demos,
poster presentations, etc.).
- Duration of the workshop (one-day or half-day).
- Potential invited speakers (if any).
- Procedures for selecting papers and participants.
- Special technical or AV needs.
== Important dates
Workshop proposals submission deadline: May 15, 2015
Notification of acceptance: June 1, 2015
Workshops: November 23, 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
2015-05-10
[Caml-list] First Call for Papers for IFL 2015
Hello,
Please, find below the first call for papers for IFL 2015.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
---
IFL 2015 - Call for papers
27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2015
University of Koblenz-Landau, Koblenz, Germany
In cooperation with ACM SIGPLAN
September 14-16, 2015
http://ifl2015.wikidot.com/
Scope
The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2015 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming.
Peer-review
Following the IFL tradition, IFL 2015 will use a post-symposium review process to produce the formal proceedings. All participants of IFL2015 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity.
Important dates
August 10: Submission deadline draft papers
August 12: Notification of acceptance for presentation
August 14: Early registration deadline
August 21: Late registration deadline
September 7: Submission deadline for pre-symposium proceedings
September 14-16: IFL Symposium
December 1: Submission deadline for post-symposium proceedings
January 15, 2016: Notification of acceptance for post-symposium proceedings
March 1, 2016: Camera-ready version for post-symposium proceedings
Submission details
Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at:
http://www.acm.org/sigs/sigplan/authorInformation.htm
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2015
Topics
IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2015, please contact the PC chair at rlaemmel@acm.org. Topics of interest include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros.
Programme committee
Chair: Ralf Lämmel, University of Koblenz-Landau, Germany
- Malgorzata Biernacka, University of Wroclaw, Poland
- Laura M. Castro, University of A Coruña, Spain
- Martin Erwig, Oregon State University, USA
- Dan Ghica, University of Birmingham, UK
- Andrew Gill, University of Kansas, USA
- Stephan Herhut, Google, USA
- Zhenjiang Hu, National Institute of Informatics (NII), Japan
- Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina
- Frédéric Jouault, ESEO, France
- Oleg Kiselyov, Tohoku University, Japan
- Lindsey Kuper, Indiana University, USA
- Rita Loogen, Philipps-Universität Marburg, Germany
- Akimasa Morihata, University of Tokyo, Japan
- Atsushi Ohori, Tohoku University, Japan
- Bruno C. D. S. Oliveira, The University of Hong Kong, Hong Kong
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Norman Ramsey, Tufts University, USA
- Matthew Roberts, Macquarie University, Australia
- Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
- Simon Thompson, University of Kent, UK
- Stephanie Weirich, University of Pennsylvania, USA
- Steve Zdancewic, University of Pennsylvania , USA
Venue
The 27th IFL will be held in association with the Faculty of Computer Science, University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected by train to several international airports. For instance, Koblenz can be reached from Frankfurt by high-speed train ICE within an hour. The modern Koblenz campus is close to the city center and can be reached by foot, bus, or cab. See the website for more information on the venue.
--
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
Please, find below the first call for papers for IFL 2015.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
---
IFL 2015 - Call for papers
27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2015
University of Koblenz-Landau, Koblenz, Germany
In cooperation with ACM SIGPLAN
September 14-16, 2015
http://ifl2015.wikidot.com/
Scope
The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2015 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming.
Peer-review
Following the IFL tradition, IFL 2015 will use a post-symposium review process to produce the formal proceedings. All participants of IFL2015 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity.
Important dates
August 10: Submission deadline draft papers
August 12: Notification of acceptance for presentation
August 14: Early registration deadline
August 21: Late registration deadline
September 7: Submission deadline for pre-symposium proceedings
September 14-16: IFL Symposium
December 1: Submission deadline for post-symposium proceedings
January 15, 2016: Notification of acceptance for post-symposium proceedings
March 1, 2016: Camera-ready version for post-symposium proceedings
Submission details
Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at:
http://www.acm.org/sigs/sigplan/authorInformation.htm
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2015
Topics
IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2015, please contact the PC chair at rlaemmel@acm.org. Topics of interest include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros.
Programme committee
Chair: Ralf Lämmel, University of Koblenz-Landau, Germany
- Malgorzata Biernacka, University of Wroclaw, Poland
- Laura M. Castro, University of A Coruña, Spain
- Martin Erwig, Oregon State University, USA
- Dan Ghica, University of Birmingham, UK
- Andrew Gill, University of Kansas, USA
- Stephan Herhut, Google, USA
- Zhenjiang Hu, National Institute of Informatics (NII), Japan
- Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina
- Frédéric Jouault, ESEO, France
- Oleg Kiselyov, Tohoku University, Japan
- Lindsey Kuper, Indiana University, USA
- Rita Loogen, Philipps-Universität Marburg, Germany
- Akimasa Morihata, University of Tokyo, Japan
- Atsushi Ohori, Tohoku University, Japan
- Bruno C. D. S. Oliveira, The University of Hong Kong, Hong Kong
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Norman Ramsey, Tufts University, USA
- Matthew Roberts, Macquarie University, Australia
- Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
- Simon Thompson, University of Kent, UK
- Stephanie Weirich, University of Pennsylvania, USA
- Steve Zdancewic, University of Pennsylvania , USA
Venue
The 27th IFL will be held in association with the Faculty of Computer Science, University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected by train to several international airports. For instance, Koblenz can be reached from Frankfurt by high-speed train ICE within an hour. The modern Koblenz campus is close to the city center and can be reached by foot, bus, or cab. See the website for more information on the venue.
--
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-05-08
[Caml-list] DCM 2015 (Cali, Colombia): Call for Papers
[Apologies for cross-postings.]
==============================================================
CALL FOR PAPERS
DCM 2015: 11th International Workshop on Developments in Computational Models
October 28, 2015, Cali - Colombia
http://dcm-workshop.org.uk/2015/
A satellite event of ICTAC 2015 - http://www.ictac2015.co
==============================================================
== IMPORTANT DATES
- Submission Deadline for Extended Abstracts (5 pages): August 3
- Notification: 13 September
- Pre-proceedings version due: 5 October
- Workshop: 28 October
- Submission Deadline for EPTCS Proceedings: 7 December
== AIM
Several new models of computation have emerged in the last few years,
and many developments of traditional computational models have been
proposed with the aim of taking into account the new demands of
computer systems users and the new capabilities of computation
engines. A new computational model, or a new feature in a traditional
one, usually is reflected in a new family of programming languages,
and new paradigms of software development.
DCM 2015 is the eleventh in a series of international workshops
focusing on new computational models. The aim of this workshop is to
bring together researchers who are currently developing new
computational models or new features for traditional computational
models, in order to foster their interaction, to provide a forum for
presenting new ideas and work in progress, and to enable newcomers to
learn about current activities in this area.
DCM 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth
International Colloquium on Theoretical Aspects of Computing
(http://www.ictac2015.co)
== TOPICS OF INTEREST
Topics of interest include all abstract models of computation and
their properties, and their applications to the development of
programming languages and systems:
- functional calculi: lambda-calculus, rho-calculus, term and graph rewriting;
- quantum computation, including implementations and formal methods in
quantum protocols;
- probabilistic computation and verification in modeling situations;
- chemical, biological and bio-inspired computation, including spatial
models, self-assembly, growth models;
- models of concurrency, including the treatment of mobility, trust,
and security;
- infinitary models of computation;
- information-theoretic ideas in computing.
== INVITED SPEAKERS
- Mauricio Ayala Rincón, Universidade de Brasilia (Brazil).
- Gilles Dowek, INRIA (France).
== SUBMISSIONS
Submit your paper in PDF format via the conference EasyChair submission page:
https://www.easychair.org/conferences/?conf=dcm2015
Submissions should be an abstract of at most 5 pages, written in
English. Please follow the EPTCS style: http://style.eptcs.org/
Simultaneous submission to journals, conferences or other workshops is
not permitted.
A submission may contain an appendix, but reading the appendix should
not be necessary to assess its merits. After the workshop authors are
invited to submit a full paper of their presentation.
Accepted contributions will appear in an issue of EPTCS (Electronic
Proceedings in Theoretical Computer Science).
== PROGRAM COMMITTEE:
- Mario Benevides (Brazil)
- Luís Caires (Portugal)
- Ugo Dal Lago (Italy)
- Nachum Dershowitz (Israel)
- Jérôme Feret (France)
- Marcelo Frias (Argentina)
- Russ Harmer (France)
- Ivan Lanese (Italy)
- Radu Mardare (Denmark)
- Elvira Mayordomo (Spain)
- César A. Muñoz (USA) - chair
- Jorge A. Pérez (The Netherlands) - chair
- Andrés Sicard-Ramírez (Colombia)
- Alexandra Silva (The Netherlands)
- Daniele Varacca (France)
== CONTACT INFORMATION
- César A. Muñoz <cesar.a.munoz[at]nasa.gov>
- Jorge A. Pérez <j.a.perez[at]rug.nl>
--
Jorge A. Pérez
Assistant Professor
Johann Bernoulli Institute for Mathematics and Computer Science
University of Groningen
Groningen, The Netherlands
Email: j.a.perez@rug.nl
URL: http://www.jorgeaperez.net
--
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
==============================================================
CALL FOR PAPERS
DCM 2015: 11th International Workshop on Developments in Computational Models
October 28, 2015, Cali - Colombia
http://dcm-workshop.org.uk/2015/
A satellite event of ICTAC 2015 - http://www.ictac2015.co
==============================================================
== IMPORTANT DATES
- Submission Deadline for Extended Abstracts (5 pages): August 3
- Notification: 13 September
- Pre-proceedings version due: 5 October
- Workshop: 28 October
- Submission Deadline for EPTCS Proceedings: 7 December
== AIM
Several new models of computation have emerged in the last few years,
and many developments of traditional computational models have been
proposed with the aim of taking into account the new demands of
computer systems users and the new capabilities of computation
engines. A new computational model, or a new feature in a traditional
one, usually is reflected in a new family of programming languages,
and new paradigms of software development.
DCM 2015 is the eleventh in a series of international workshops
focusing on new computational models. The aim of this workshop is to
bring together researchers who are currently developing new
computational models or new features for traditional computational
models, in order to foster their interaction, to provide a forum for
presenting new ideas and work in progress, and to enable newcomers to
learn about current activities in this area.
DCM 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth
International Colloquium on Theoretical Aspects of Computing
(http://www.ictac2015.co)
== TOPICS OF INTEREST
Topics of interest include all abstract models of computation and
their properties, and their applications to the development of
programming languages and systems:
- functional calculi: lambda-calculus, rho-calculus, term and graph rewriting;
- quantum computation, including implementations and formal methods in
quantum protocols;
- probabilistic computation and verification in modeling situations;
- chemical, biological and bio-inspired computation, including spatial
models, self-assembly, growth models;
- models of concurrency, including the treatment of mobility, trust,
and security;
- infinitary models of computation;
- information-theoretic ideas in computing.
== INVITED SPEAKERS
- Mauricio Ayala Rincón, Universidade de Brasilia (Brazil).
- Gilles Dowek, INRIA (France).
== SUBMISSIONS
Submit your paper in PDF format via the conference EasyChair submission page:
https://www.easychair.org/conferences/?conf=dcm2015
Submissions should be an abstract of at most 5 pages, written in
English. Please follow the EPTCS style: http://style.eptcs.org/
Simultaneous submission to journals, conferences or other workshops is
not permitted.
A submission may contain an appendix, but reading the appendix should
not be necessary to assess its merits. After the workshop authors are
invited to submit a full paper of their presentation.
Accepted contributions will appear in an issue of EPTCS (Electronic
Proceedings in Theoretical Computer Science).
== PROGRAM COMMITTEE:
- Mario Benevides (Brazil)
- Luís Caires (Portugal)
- Ugo Dal Lago (Italy)
- Nachum Dershowitz (Israel)
- Jérôme Feret (France)
- Marcelo Frias (Argentina)
- Russ Harmer (France)
- Ivan Lanese (Italy)
- Radu Mardare (Denmark)
- Elvira Mayordomo (Spain)
- César A. Muñoz (USA) - chair
- Jorge A. Pérez (The Netherlands) - chair
- Andrés Sicard-Ramírez (Colombia)
- Alexandra Silva (The Netherlands)
- Daniele Varacca (France)
== CONTACT INFORMATION
- César A. Muñoz <cesar.a.munoz[at]nasa.gov>
- Jorge A. Pérez <j.a.perez[at]rug.nl>
--
Jorge A. Pérez
Assistant Professor
Johann Bernoulli Institute for Mathematics and Computer Science
University of Groningen
Groningen, The Netherlands
Email: j.a.perez@rug.nl
URL: http://www.jorgeaperez.net
--
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-05-01
[Caml-list] [TFP'15] call for participation
-----------------------------
L A S T C A L L F O R P A R T I C I P A T I O N
-----------------------------
======== TFP 2015 ===========
16th Symposium on Trends in Functional Programming
June 3-5, 2015
Inria Sophia Antipolis, France
http://tfp2015.inria.fr/
The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.
The selected revised papers will be published as a Springer Lecture
Notes in Computer Science (www.springer.com/lncs) volume.
TFP 2015 will be the main event of a pair of functional programming
events. TFP 2015 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 2nd.
The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
* Edinburgh (Scotland) in 2003;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* and in Soesterberg (The Netherlands) in 2014.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).
== INVITED SPEAKERS ==
TFP is pleased to announce talks by the following two invited speakers:
* Laurence Rideau is a researcher at INRIA and is interested in the
semantics of programming languages , the formal methods, and the
verification tools for programs and mathematical proofs. She
participated in the beginnings of the Compcert project (certified
compiler), and is part of the Component Mathematical team in the
MSR-INRIA joint laboratory, who performed the formalization of the
Feit-Thompson theorem successfully.
Thirty years ago, computers barged in mathematics with the famous
proof of the Four Color Theorem. Initially limited to simple
calculation, their role is now expanding to the reasoning whose
complexity is beyond the capabilities of most humans, as the proof of
the classification of finite simple groups. We present our large
collaborative adventure around the formalization of the Feit-Thompson
theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem)
that is a first step to the classification of finite groups
and that uses a palette of methods and techniques that range from
formal logic to software (and mathematics) engineering.
* Anil Madhavapeddy
== SCOPE ==
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:
Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject
Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming
techniques to other languages are also within the scope of the
symposium.
Topics suitable for the symposium include:
Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems,
global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2015 program chair, Manuel Serrano.
== BEST PAPER AWARDS ==
To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.
In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.
== SPONSORS ==
TFP is financially supported by Erlang Solutions.
== PROGRAM ==
Please find the program at:
http://tfp2015.inria.fr/program/
The program features two invited talks by Laurence Rideau and Anil
Madhavapeddy
and one comprehensive Dart tutorial by Florian Loitsch.
== IMPORTANT DATES ==
Registration: May 4, 2015
TFP Symposium: June 3-5, 2015
== PROGRAM COMMITTEE ==
Janis Voigtländer University of Bonn, DE
Scott Owens University of Kent, UK
Neil Sculthorpe Swansea University, UK
Colin Runciman University of York, UK
Manuel Serrano Inria (PC chair), FR
Rinus Plasmeijer University of Nijmegen, NL
Tomas Petricek University of Cambridge, UK
Marco T. Morazan Seton Hall University, USA
Wolfgang De Meuter Vrije Universiteit Brussel, BE
Michel Mauny Ensta ParisTech, FR
Sam Lindley The University of Edinburgh, UK
Daan Leijen Microsoft, USA
Jurriaan Hage Utrecht University, NL
Andy Gill University of Kansas, USA
Thomas Gazagnaire University of Cambrige, UK
Lars-Ake Fredlund Universidad Politécnica de Madrid, ES
Jean-Christophe Filliatre Université Paris Sud Orsay, FR
Marc Feeley Université de Montréal, CA
Olaf Chitil University of Kent, UK
Edwin Brady University of St Andrews, UK
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
L A S T C A L L F O R P A R T I C I P A T I O N
-----------------------------
======== TFP 2015 ===========
16th Symposium on Trends in Functional Programming
June 3-5, 2015
Inria Sophia Antipolis, France
http://tfp2015.inria.fr/
The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.
The selected revised papers will be published as a Springer Lecture
Notes in Computer Science (www.springer.com/lncs) volume.
TFP 2015 will be the main event of a pair of functional programming
events. TFP 2015 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 2nd.
The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
* Edinburgh (Scotland) in 2003;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* and in Soesterberg (The Netherlands) in 2014.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).
== INVITED SPEAKERS ==
TFP is pleased to announce talks by the following two invited speakers:
* Laurence Rideau is a researcher at INRIA and is interested in the
semantics of programming languages , the formal methods, and the
verification tools for programs and mathematical proofs. She
participated in the beginnings of the Compcert project (certified
compiler), and is part of the Component Mathematical team in the
MSR-INRIA joint laboratory, who performed the formalization of the
Feit-Thompson theorem successfully.
Thirty years ago, computers barged in mathematics with the famous
proof of the Four Color Theorem. Initially limited to simple
calculation, their role is now expanding to the reasoning whose
complexity is beyond the capabilities of most humans, as the proof of
the classification of finite simple groups. We present our large
collaborative adventure around the formalization of the Feit-Thompson
theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem)
that is a first step to the classification of finite groups
and that uses a palette of methods and techniques that range from
formal logic to software (and mathematics) engineering.
* Anil Madhavapeddy
== SCOPE ==
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:
Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject
Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming
techniques to other languages are also within the scope of the
symposium.
Topics suitable for the symposium include:
Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems,
global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2015 program chair, Manuel Serrano.
== BEST PAPER AWARDS ==
To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.
In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.
== SPONSORS ==
TFP is financially supported by Erlang Solutions.
== PROGRAM ==
Please find the program at:
http://tfp2015.inria.fr/program/
The program features two invited talks by Laurence Rideau and Anil
Madhavapeddy
and one comprehensive Dart tutorial by Florian Loitsch.
== IMPORTANT DATES ==
Registration: May 4, 2015
TFP Symposium: June 3-5, 2015
== PROGRAM COMMITTEE ==
Janis Voigtländer University of Bonn, DE
Scott Owens University of Kent, UK
Neil Sculthorpe Swansea University, UK
Colin Runciman University of York, UK
Manuel Serrano Inria (PC chair), FR
Rinus Plasmeijer University of Nijmegen, NL
Tomas Petricek University of Cambridge, UK
Marco T. Morazan Seton Hall University, USA
Wolfgang De Meuter Vrije Universiteit Brussel, BE
Michel Mauny Ensta ParisTech, FR
Sam Lindley The University of Edinburgh, UK
Daan Leijen Microsoft, USA
Jurriaan Hage Utrecht University, NL
Andy Gill University of Kansas, USA
Thomas Gazagnaire University of Cambrige, UK
Lars-Ake Fredlund Universidad Politécnica de Madrid, ES
Jean-Christophe Filliatre Université Paris Sud Orsay, FR
Marc Feeley Université de Montréal, CA
Olaf Chitil University of Kent, UK
Edwin Brady University of St Andrews, UK
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Subscribe to:
Posts (Atom)