Ciao-users October 2006

ciao-users@cliplab.org

3 participants
3 discussions

None
by CAV 2007 Announcements 09 Oct '06

09 Oct '06

CALL FOR PAPERS COMPUTER AIDED VERIFICATION CAV 20007 19th International Conference July 3-7, 2007, Berlin, Germany http://www.cav2007.org Aims and Scope: CAV'07 is the 19th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, and maintain its recent momentum in software verification. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of the International Journal on Formal Methods and System Design. Topics of interest include: - Algorithms and tools for verifying models and implementations - Hardware verification techniques - Hybrid systems and embedded systems verification - Program analysis and software verification - Modeling and specification formalisms - Deductive, compositional, and abstraction techniques for verification - Testing and runtime analysis based on verification technology - Applications and case studies - Verification in industrial practice Paper submission: There are two categories of submissions: A. Regular papers. Submissions, not exceeding thirteen (13) pages using Springer's LNCS format, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. B. Tool presentations. Submissions, not exceeding four (4) pages using Springer's LNCS format, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in this conference before will be accepted only if significant and clear enhancements to the tool are reported and implemented. Information concerning the procedure for submissions will be available on the conference home page: http://www.cav2007.org Submissions will be evaluated by the program committee for inclusion in the proceedings, which will be published by Springer-Verlag in the LNCS series. Papers exceeding the stated maximum length or submitted after January 28, 2007 run the risk of rejection without review. On an experimental basis for this year, authors will be granted access to the text content of their reviews during the review process. Authors will be given a short time period in which to submit feedback, which may (at the PC's discretion) be taken into account in the decision process. Strict guidelines on length and content of feedback will be provided to the authors. Important dates: Paper submission (firm): January 28, 2007 Author feedback period: March 9-11, 2007 Notification of acceptance: March 23, 2007 Final version due: April 20, 2007 Program Chairs: Werner Damm, U Oldenburg, damm at informatik.uni-oldenburg.de Holger Hermanns, Saarland U, hermanns at cs.uni-sb.de Program Committee: Parosh Abdullah, Uppsala U Rajeev Alur, U Penn Sergey Berezin, Synopsis Armin Biere, JKU Linz Roderick Bloem, TU Graz Ahmed Bouajjani, U Paris 7 Alessandro Cimatti, IRST Trento Edmund M. Clarke, CMU Werner Damm, CvO U Oldenburg E Allen Emerson, U Texas (tbc.) Limor Fix, Intel Patrice Godefroid, Microsoft Research Ganesh Gopalakrishnan, U of Utah Susanne Graf, Verimag Orna Grumberg, Technion Holger Hermanns, Saarland U Robert Jones, Intel Orna Kupferman, Hebrew U Robert Kurshan, Cadence John Lygeros, ETH Zuerich (tbc.) Tom Melham, Oxford U Ken McMillan, Cadence Jakob Rehof, U Dortmund Koushik Sen, UC Berkeley Fabio Somenzi, U Boulder Ashish Tiwari, SRI International Frits Vaandrager, U Nijmegen Yaron Wolfstal, IBM Haifa Steering Committee: Edmund M. Clarke, CMU Mike Gordon, U of Cambridge Robert P. Kurshan, Cadence Amir Pnueli, NYU ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Question
by Norberto Ingein 02 Oct '06

02 Oct '06

This is repost in spanish of a previous question posted here, in the hope of being responded now. He intentado usar los ejemplos en factsdb/examples. Por ejemplo, factsdb/examples/fib.pl Llamando a fib(0, N) simplemente produce ERROR:factsbd_tr:call/1 unknown_symbolic_name(fib0db) ERROR:factsbd_tr:call/1 unknown_call($:(user:fib0(0,_306))) Hasta ahora, no he podido utilizar los "cached predicates". Estoy usando ciao-1.10p7 Muchas gracias ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Fwd: Linking prolog to C.
by Umur Ozkul 02 Oct '06

02 Oct '06

On Linux, I've started a C application calling Prolog. The foreign function interface in the Ciao Prolog manual is very straightforward. However, what do I link to my executable? In which, library those C functions exist? It's mentioned nowhere. -- Umur Ozkul Realworld OO Systems mobile: +31 611 122 366 skype: umurozkul google talk: umur.ozkul msn: umur(a)hotmail.com

1 0

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