Ciao-users July 2013

ciao-users@cliplab.org

2 participants
2 discussions

VMCAI 2014: Call for Papers
by Xavier Rival 20 Jul '13

20 Jul '13

VMCAI 2014 CALL FOR PAPERS 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) January 19-21, 2014, San Diego, USA Co-located with POPL 2014 (January 22-24, 2014) 41th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages SCOPE VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. The program of VMCAI'14 will consist of refereed research papers and tool demonstrations, as well as invited lectures and tutorials. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, error diagnosis, program transformation, hybrid and cyberphysical systems. Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must describe original work, be written and presented in English, and must not overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Proceedings are published by Springer-Verlag as volumes in the Lecture Notes in Computer Science series. IMPORTANT DATES Abstract Submission: September 6, 2013 Paper Submission: September 13, 2013 Acceptance Notification: October 25, 2013 Conference: January 19-21, 2014 (right before POPL) The deadlines are strict and will not be changed. SUBMISSION INSTRUCTIONS The VMCAI 2014 proceedings will be published as a volume in Springer's Lecture Notes in Computer Science series. The page limit for submissions is: 18 pages in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at http://www.springer.de/comp/lncs/authors.html. Submissions deviating from these guidelines risk summary rejection. Please prepare your submission in accordance with the rules described. PROGRAM COMMITTEE Program Chairs: Kenneth McMillan (MSR, USA & Co-Chair) Xavier Rival (CNRS & ENS Paris & INRIA, France & Co-Chair) Program Committee: Christel Baier, Technische Universität Dresden, Germany Agostino Cortesi, Universita Ca Foscari of Venezia, Italy Jerome Feret, CNRS & ENS & INRIA, France Alexey Gotsman, IMDEA Software Institute, Spain Aarti Gupta, NEC Labs, USA Alan J. Hu, University of British Columbia, Canada Laura Kovacs, Chalmers University of Technology, Sweden Daniel Kroening, Oxford University, UK Mark Marron, MSR, USA Isabella Mastroeni, Universita di Verona, Italy Kenneth McMillan, MSR, USA & Co-Chair Matthew Might, University of Utah, USA David Monniaux, CNRS & University of Grenoble, France Kedar Namjoshi, Bell Labs, USA Peter O'Hearn, University College of London, UK Ruzica Piskac, MPI-SWS, Germany Sylvie Putot, CEA, France Xavier Rival, CNRS & ENS & INRIA, France & Co-Chair Philipp Rümmer, Uppsala University, Sweden Sriram Sankaranarayanan, University of Colorado at Boulder, USA Tachio Terauchi, Nagoya University, Japan Tayssir Touili, CNRS & University of Paris 7, France Eran Yahav, Technion, Israel VMCAI STEERING COMMITTEE Agostino Cortesi, Universita' Ca' Foscari, Venice, Italy Patrick Cousot, Ecole Normale Superieure, France and NYU, USA E. Allen Emerson, University of Texas at Austin, USA Andreas Podelski, University of Freiburg, Germany Thomas W. Reps, University of Wisconsin at Madison, USA David Schmidt, Kansas State University, USA Lenore Zuck, University of Illinois at Chicago, USA

1 0

Re: [Ciao-users] Trouble getting started from source packages, SVN access?
by ciao＠clip.dia.fi.upm.es 17 Jul '13

17 Jul '13

Hi Ian, thanks for the kind words. > It also appears that the optimizing compiler is not packaged with > these source distributions, so I guess it's not surprising that it > would fail to compile. Correct. A lot of the issues you mention are related to the fact that we are currently at the same time moving from svn to git, moving all the repositories and the continuous integration system to new servers, and same time moving our servers to a new building --very brave! As a result we are not generating daily releases during the move and fixes are thus not being reflected. This move should be over soon however and things should get back to normal. > 1) Is there public (read-only) access to the source repository? Not currently, but we will set it up shortly for the new git repo. > 2) Have there been recent changes in trunk that may address > compilation issues for experimental features? Yes, we are always working on the system and there are always fixes (and bugs of course ;-)). In particular we have just fixed the CHR bug related to mutables that you pointed out. > 3) In the case of (2 and not 1), would someone be kindly enough to cut > a new source package based from the latest revision? Will do as soon as we can... > 4) Would you like me to provide more detailed info about the errors? Please do send them: they are most helpful. Thanks again for all your feedback! --Manuel H -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

2 1

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users July 2013