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

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

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

[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

[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

[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

[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