Ciao-users

ciao-users@cliplab.org

948 discussions

Re: ciao on Mac Intel
by ciao＠clip.dia.fi.upm.es 10 Jul '07

10 Jul '07

> I just tried to install ciao on my (relatively) new Mac Intel > machine, and I see that the architecture is apparently completely > unknown (ciao-1.10p8). Since it's been a LONG time since Macs on > Intel became more or less the standard, I take it that ciao has > abandoned Macs altogether. Lots of Windows-specific stuff, but > nothing for Intel Macs. > > Right? Not at all! We still support and will continue to support for the foreseeable future all Macs. > If not, I'd appreciate a pointer on how to build ciao on this system. We enclose a message posted in the mailing list with patches to make 1.10 compile on Intel Macs. We have been working on a new distro which already includes the patches, but for now this is the easiest approach. > From: Edward Janne <tigakub(a)mac.com> > Sender: owner-ciao-users(a)clip.dia.fi.upm.es > To: ciao-users(a)clip.dia.fi.upm.es > Subject: ciao on Mactel > Date: Mon, 28 Aug 2006 15:52:56 +0200 > X-Mailer: Apple Mail (2.752.2) > X-Spam-Level: > X-Spam-Status: No, score=-2.6 required=5.5 tests=BAYES_00,UNPARSEABLE_RELAY autolearn=ham version=3.1.1 > > > Hi I've successfully compiled ciao on a MacBook Pro by making minor > changes to the install scripts. > > In the file > $(CIAO_SRC_DIR)/etc/ciao_get_arch > > under the line reading > Darwin,"Power Macintosh" ) CIAOARCH=DARWINppc ;; #JFMC > > add the line > Darwin,"i386" ) CIAOARCH=DARWINi386 > > > Then in the directory > $(CIAO_SRC_DIR)/makefile-sysdep > > Copy > mkf-DARWINppc > > To > mkf-DARWINi386 > > Then edit mkf-DARWINi386 > > Change the line reading > ARCHNAME=ppc > > To > ARCHNAME=i386 > > Then > make install > > That's it. > > On the first pass the compile couldn't find the mysqlclient dynamic > library because I'd installed the standard binary version which > doesn't come with the dynamic libraries. But the make script pushed > on through and completed the build and installed ciao without mysql > support. After downloading the mysql source distribution and making > it just to obtain mysqlclient.15.0.0.dylib, the rebuild of ciao went > without a hitch. > ... > > -edj -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | University of New Mexico http://www.cliplab.org / http://www.ciaohome.org ----------------------------------------------------------------------------- ============================================================================== 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

ciao on Mac Intel
by Stephen Anderson 10 Jul '07

10 Jul '07

I just tried to install ciao on my (relatively) new Mac Intel machine, and I see that the architecture is apparently completely unknown (ciao-1.10p8). Since it's been a LONG time since Macs on Intel became more or less the standard, I take it that ciao has abandoned Macs altogether. Lots of Windows-specific stuff, but nothing for Intel Macs. Right? If not, I'd appreciate a pointer on how to build ciao on this system. Thanks, -- Steve Anderson ============================================================================== 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

Re: string tokenisation
by ciao＠clip.dia.fi.upm.es 09 Jul '07

09 Jul '07

> I'm trying to kick off a language input system by > tokenising the input. > > I've found the 'tokenize' module - the system says it > is now visible (DOS shell in XP) - but when I try to > issue 'tokenize('What is the time?',K), it saysn > 'tokenize/2 undefined predicate - it says this if I > use 's' instead of 'z' and 'ser/zer'. > > What am I missing? Here is a session on how you can use the tokenizer in Ciao: Ciao 1.13.0-8283: Tue Jun 26 10:25:23 CEST 2007 ?- use_module(library(tokenize)). Note: module tokenize already in executable, just made visible yes ?- read_tokens(TokenList, Dictionary). |: p(X,Y). Dictionary = dic([88],[_B|_],_,dic([89],[_A|_],_,_)), TokenList = [atom(p),'(',var(_B,[88]),',',var(_A,[89]),')','.'] ? Note, however, that this is not a generic tokenizer, but rather a tokenizer for a particular (Prolog-style) syntax. If you want to write a tokenizer for another language you can look at how tokenize.pl is implemented. Another good pointer is to use DCGs (see the 'dcg' package). --Manuel H -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | University of New Mexico http://www.cliplab.org / http://www.ciaohome.org ----------------------------------------------------------------------------- ============================================================================== 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

string tokenisation
by Philip Bolt 05 Jul '07

05 Jul '07

Hi, I'm trying to kick off a language input system by tokenising the input. I've found the 'tokenize' module - the system says it is now visible (DOS shell in XP) - but when I try to issue 'tokenize('What is the time?',K), it saysn 'tokenize/2 undefined predicate - it says this if I use 's' instead of 'z' and 'ser/zer'. What am I missing? many thanks Philip Bolt ============================================================================== 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

PADL 2008: Call for Papers
by Gopal Gupta 25 Jun '07

25 Jun '07

CALL FOR PAPERS!!! Tenth International Symposium on Practical Aspects of Declarative Languages 2008 (PADL '08) http://www.ist.unomaha.edu/padl2008/ San Francisco, USA January 7-8, 2008 Co-located with ACM POPL'08 Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to vastly different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raises numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include: * innovative applications of declarative languages; * declarative domain-specific languages and applications; * practical applications of theoretical results; * new language developments & their impact on applications; * evaluation of implementation techniques on practical applications; * novel uses of declarative languages in the classroom; and * practical experiences PADL 08 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 08 will be co-located with the ACM POPL. IMPORTANT DATES AND SUBMISSION GUIDELINES Paper Submission: August 24, 2007 Notification: September 27, 2007 Camera-ready: October 23, 2007 Symposium: January 7-8, 2008 Authors should submit an electronic copy of the full paper (written in English) in Postscript (Level 2) or PDF. Papers must be no longer than 15 pages, written in 11-point font and with single spacing. Since the final proceedings will be published as Lecture Notes in Computer Science by Springer Verlag, authors are strongly encouraged to use the LNCS paper formatting guidelines for their submission. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email and postal addresses, telephone and fax numbers, abstract, and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. If electronic submission is impossible, please contact the program chair for information on how to submit hard copies. MOST PRACTICAL PAPER AWARD The Most Practical Paper award will be given to the submission that is judged by the program committee to be the best in terms of practicality, originality, and clarity of presentation. The program committee may choose not to make an award, or to make multiple awards. Contacts: For information about papers and submissions, please contact the Program Chair: Paul Hudak PC co-Chair - PADL 2008 Department of Computer Science Yale University P.O. Box 208285 New Haven, CT 06520 - 8285 Email: hudak(a)cs.yale.edu David S. Warren PC co-Chair - PADL 2008 Department of Computer Science Stony Brook University Stony Brook, NY Email: warren(a)cs.sunysb.edu For other information about the conference, please contact: Hai-Feng Guo General Chair - PADL 2008 Department of Computer Science College of Information Science & Technology University of Nebraska at Omaha Omaha, NE, U.S.A. Email: haifengguo(a)mail.unomaha.edu Sponsored by: COMPULOG Americas (http://www.cs.nmsu.edu/~complog) and University of Nebraska at Omaha ============================================================================== 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

Re: building ciao current on mac-intel
by ciao＠clip.dia.fi.upm.es 18 Jun '07

18 Jun '07

Thanks Juan, great, we will test it and put it in the repository. --Manuel H -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | University of New Mexico http://www.cliplab.org / http://www.ciaohome.org ----------------------------------------------------------------------------- ============================================================================== 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

building ciao current on mac-intel
by Juan Chanco 17 Jun '07

17 Jun '07

i recently got a new macbook and found that i couldn't build ciao from the current source in SVN. i kept getting a bus error from the ciao engine built for the configuration process. i tracked it down to the "engine/timing.c" file. that defines a different version of "cpuspeed()" if the machine has an intel processor, but that version uses "/proc/cpuinfo" and unfortunately, Darwin doesn't have a procfs. i added a new version of "cpuspeed()" (for darwin) that uses sysctl instead. it seems to work, though i'm not sure if the scales match up properly. it seems to work, though i haven't tested it much. this seems to be used more for GUI functions, which i don't use in what i'm working on currently. anyway, i've attached a patch for what i did. hopefully it will be of use. juan chanco --- ciao/engine/timing.c.orig 2007-06-12 13:45:46.000000000 +0200 +++ ciao/engine/timing.c 2007-06-16 17:00:06.000000000 +0200 @@ -12,6 +12,9 @@ #include "timing_defs.h" /* local declarations */ +#if defined(DARWIN) +#include <sys/sysctl.h> +#endif #if (defined(Solaris) || defined(SunOS4) || defined(LINUX) || defined(DARWIN) \ || defined(IRIX) || defined(Win32)) && !defined(crossWin32i86) @@ -111,6 +114,25 @@ is equal to 1 cpu - cycle. */ +#if defined(DARWIN) +/* darwin doesn't have a procfs. this should (hopefully) + * do the same thing, though i'm not sure if the scales match + * on my 2.16 ghz macbook, the value returned is 2160000000 */ +static ENG_LINT cpuspeed (void) +{ + int speed ; + size_t size=sizeof(speed) ; + + if (sysctlbyname("hw.cpufrequency",&speed,&size,NULL,0)) + { + return 0; + } + else + { + return speed; + } +} +#else /* Returns the clock speed of the system's CPU in Hz, as reported by /proc/cpuinfo. On a multiprocessor machine, returns the speed of the first CPU. On error returns zero. @@ -146,6 +168,7 @@ sscanf (match, "cpu MHz : %lf", &clock_speed); return (ENG_LINT)(clock_speed * 1000000); } +#endif /* Note that "cpuid" could be necessary to force the processor not do the */ /* "speculative execution". */ ============================================================================== 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

WLPE'07 - Deadline extension
by Wim Vanhoof 16 Jun '07

16 Jun '07

[Apologies for multiple copies...] Please note that the submission deadline for WLPE'07 has been extended! New deadline: June 22. ----------------------------------------------------------- WLPE' 07 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP'07) September 13, 2007 Porto, Portugal http://www.comp.leeds.ac.uk/hill/WLPE07/ ----------------------------------------------------------- The 17th Workshop on Logic-based methods in Programming Environments will take place in Porto, Portugal, as a satellite workshop of ICLP'07, the 23th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges, Spain (2005) and Seattle, Washington USA (2006). The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. In addition to papers describing more conceptual work on environmental tools, we solicit papers describing the implementation of and experimentation with such tools. Areas particularly relevant to the workshop include: * static and dynamic analysis * debugging and testing * program verification and validation * code generation from specifications * termination and non-termination analysis * reasoning on occurs-check freeness and determinacy * profiling and performance analysis * type- and mode analysis * module systems * optimization tools Note that this list is not exhaustive and, if you are interested in taking part in the workshop but unsure if your work falls within its scope, do contact the organisers who will be happy to advise. Submission guidelines --------------------- We invite the submission of full papers which, excluding references, should not exceed 16 pages, or short papers describing work in progress which should be no more than 6 pages. Authors are requested to submit their paper in standard postscript or pdf format (preferable in Springer LNCS style) to: http://www.easychair.org/WLPE07/ An informal proceedings will be distributed at the workshop. After the workshop, the proceedings will be publicly available on-line in the Computing Research Repository (CoRR). Important dates --------------- Submission: June 22, 2007 (extended) Notification: July 8, 2007 Camera-ready: August 15, 2007 Workshop: September 13, 2007 Workshop organizers ------------------- Patricia Hill School of Computing, University of Leeds Leeds, England Phone: +44 113 343 6807 Fax: +44 113 343 5468 http://www.comp.leeds.ac.uk/hill/ Wim Vanhoof Insitut d'Informatique, University of Namur Namur, Belgium Phone: +32 81 72 49 77 Fax: +32 81 72 49 67 http://www.info.fundp.ac.be/~wva/ Program committee ----------------- John Gallager (Roskilde University, Denmark) Gopal Gupta (University of Texas at Dallas, U.S.A) Michael Hanus (Christian-Albrechts-Universit=E4t zu=20 Kiel, Germany) Pat Hill (University of Leeds, U.K.) Erwan Jahier (Verimag Laboratory, Gi=E8res, France) Gerda Janssens (KULeuven, Belgium) Susana Mu=F1oz-Hern=E1ndez (Universidad Polit=E9cnica de Madrid,= Spain) Baudouin Le Charlier (Catholic University of Louvain, Belgium) Lunjin Lu (Oakland University, USA) German Puebla (Technical University of Madrid, Spain) Alexander Serebrenik (Technische Universiteit Eindhoven, The=20 Netherlands) Fausto Spoto (Universit=E0 di Verona, Italy) Wim Vanhoof (University of Namur, Belgium) Enea Zaffanella (Parma University, Italy) Event's Web homepage -------------------- http://www.comp.leeds.ac.uk/hill/WLPE07/ ============================================================================== 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

ICLP07: call for participation
by ICLP07 publicity 13 Jun '07

13 Jun '07

(apologies for multiple copies) ---------------------------------------------------------------------- Dear Colleague, ICLP 2007 registration is now open. Please note that early registration ends on June 30th. More details on the conference and its associated workshops can be found on the website: http://www.dcc.fc.up.pt/iclp07/ Highlights include invited talks by Gerhard Brewka on "Preferences in Answer-Set Programming" and by Chitta Baral, on "Applications of Logic". We look forward to seeing all of you in Porto. Best wishes, The ICLP 2007 organization ---------------------------------------------------------------------- LIST OF ACCEPTED PAPERS: Full papers ----------- Sabrina Baselice, Piero Bonatti and Giovanni Criscuolo On Finitely Recursive Programs Leslie De Koninck, Tom Schrijvers and Bart Demoen The Correspondence Between the Logical Algorithms Language and CHR Marcin Czenko and Sandro Etalle Core TuLiP Paul Tarau and Brenda Luderman A Logic Programming Framework for Combinational Circuit Synthesis Lee Naish Resource-Oriented Deadlock Analysis Martin Gebser and Torsten Schaub Generic Tableaux for Answer Set Programming Gregory Duck, Peter Stuckey and Martin Sulzmann Observable Confluence for Constraint Handling Rules Alberto Pettorossi, Maurizio Proietti and Valerio Senni Automatic Correctness Proofs for Logic Program Transformations David Vaz, Michel Ferreira and Ricardo Lopes Spatial-Yap: A Logic Based Geographic Information System Pawel Pietrzak and Manuel Hermenegildo Automatic Error Diagnosis in Logic Programs Matti J=E4rvisalo and Emilia Oikarinen Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs Quan Phan and Gerda Janssens Static Region Analysis for Mercury Tran Cao Son, Enrico Pontelli, Mirek Truszczynski and Lengning Liu Programs with Abstract Constraint Atoms: Semantical Considerations David Toman and Gulay Unel Logic Programming Approach to Automata-based Decision Procedures Pedro Cabalar, David Pearce and Agustin Valverde Minimal Logic Programs Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi and Frank Valencia Declarative Diagnosis of Temporal Concurrent Constraint Programs Sergio Greco and Cristian Molinaro Querying and Repairing Inconsistent Databases under Three-Valued =20 Semantics Agostino Dovier, Andrea Formisano and Enrico Pontelli Multivalued Action Languages with Constraints in CLP(FD) Jorge Navas, Edison Mera, Pedro Lopez-Garcia and Manuel Hermenegildo User-Definable Resource Bounds Analysis for Logic Programs Vitor Santos Costa, Kostis Sagonas and Ricardo Lopes Demand-Driven Indexing of Prolog Clauses Anderson Silva and V=EDtor Santos Costa Design, Implementation, and Evaluation of an Dynamic Compilation =20 Framework for the YAP System Frank Raiser Graph Transformation Systems in CHR Posters ------- Linh Anh Nguyen Approximating Horn Knowledge Bases in Description Logics with =20 Regular RBoxes to Have PTIME Data Complexity Bart Demoen and Phuong-Lan Nguyen Action Rules in the WAM Ka-Shu Wong A Stronger Notion of Equivalence for Logic Programs Rafael Caballero, Mario Rodr=EDguez Artalejo and Rafael del Vado V=EDrseda= Declarative Debugging of Missing Answers in Constraint Functional-=20 Logic Programming Alexei Morozov Visual Logic Programming Method Based on Structural Analysis and =20 Design Technique Jon Sneyers, Peter Van Weert, Tom Schrijvers and Bart Demoen Aggregates in Constraint Handling Rules Ricardo Rocha, Cl=E1udio Silva and Ricardo Lopes On Applying Program Transformation to Implement Suspension-Based =20 Tabling in Prolog Levente Hunyadi Prosper: A Framework for Extending Prolog Applications with a Web =20 Interface Nengfa Zhou A Register-Free Abstract Prolog Machine with Jumbo Instructions Emilia Oikarinen and Tomi Janhunen A Linear Transformation from Prioritized Circumscription to =20 Disjunctive Logic Programming Giacomo Terreni, Paolo Mancarella and Francesca Toni Web Sites Verification and Repair: an Abductive Logic Programming =20 tool Luciano Caroprese, Irina Trubitsyna and Ester Zumpano View Updating through Active Integrity Constraints Davy Van Nieuwenborgh, Martine De Cock and Dirk Vermeir Computing Fuzzy Answer Sets using DLVHEX Girish Palshikar Representation and Execution of a Graph Grammar in Prolog Margaret West The Use of a Logic Programming Language in the Animation of Z =20 Specifications Andrea Cali and Thomas Lukasiewicz Tightly Integrated Probabilistic Description Logic Programs under =20 the Answer Set Semantics for the Semantic Web ============================================================================== 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

CAV 2007: 2nd Call for Participation
by CAV 2007 Announce 11 Jun '07

11 Jun '07

CALL FOR PARTICIPATION COMPUTER AIDED VERIFICATION (CAV) 19th International Conference July 3 - 7, 2007, Berlin, Germany http://www.cav2007.org Regular registration deadline: June 15. CAV 2007 is the 19th Computer-Aided Verification conference. It will be held at the Park Inn Hotel, Alexanderplatz, Berlin, Germany, July 3-7, 2007. The conference will start with one day of tutorials (July 3rd), followed by 4 days of the main conference (July 4-7th). Seven affiliated workshops will be held in the two days before and the day after CAV (July 1st-2nd and July 8th).You can find the program for CAV 2007, links to affiliated workshops, and information on how to register for CAV and the workshops at the conference web site: http://www.cav2007.org IMPORTANT: The number of available hotel rooms is getting low. Please check availability of rooms before registering. The CAV conference is 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. INVITED TALKS: ============== * Byron Cook (Microsoft Research): "Automatically Proving Program Termination" * David Russinoff (AMD): "A Mathematical Approach to RTL Verification" * Thomas Kropf (Robert Bosch AG): "Software Bugs seen from an Industrial Perspective; or: Can Formal Methods help on Automotive Software Development?" TUTORIALS (July 3rd): ==================== "Modeling, Verification, and Synthesis of Component Interfaces" by Tom Henzinger (EPFL) "A Tutorial on Satisfiability Modulo Theories" by Natarajan Shankar (SRI) "A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java" by Gary T. Leavens (Iowa State U.) "Verification of Hybrid Systems" by Martin Fr�nzle (CvO U Oldenburg) Conference Program ================== The main CAV 2007 program consists of 33 regular papers and 14 tool papers. See http://www.cav2007.org/cavsched.html Affiliated Events ================== CAV 2007 will be preceeded by two (July 1st-2nd) and followed by one day (July 8th) of workshops. * FMICS 2007: 12th Intl. Workshop on Formal Methods for Industrial Critical Systems, July 1-2 * SMT 2007: 5th International Workshop onSatisfiability Modulo Theories, July 1-2 * ARTIST Workshop on tool platforms for modelling, analysis and validation of embedded systems, July 1-2 * PDMC 2007: 6th Int. Workshop on Parallel and Distributed Methods in verifiCation, July 8 * AHA 2007: International Symposium on Automatic Heap Analysis, July 2 * GVD 2007: 3rd German Verification Day, July 1 * SPIN 2007: 14th International SPIN Workshop on Model Checking of Software, July 1-3 In addition, the results of two tool competitions, the "Satisfiability Modulo Theories Competition" SMT-COMP (held in parallel with CAV), and the "Hardware Model Checking Competition" HWMCC'07 (held before CAV), will be presented within the scientific program of CAV 2007. Acknowledgement =============== CAV 2007 gratefully acknowledges the generous financial support of the following companies and institutions: Artist2 Network of Excellence, Cadence Design Systems, the German Science Foundation, IBM, Informatik Saarland, Intel Corporation, Microsoft Research, NEC and Synopsys. CAV 2007 Program Chairs: ======================= * Werner Damm, CvO U Oldenburg * Holger Hermanns, Saarland U CAV 2007 Program Committee ========================== * Parosh Aziz Abdulla, Uppsala U * Rajeev Alur, U Penn * Sergey Berezin, Synopsys * Armin Biere, JKU Linz * Roderick Bloem, TU Graz * Ahmed Bouajjani, U Paris 7 * Alessandro Cimatti, IRST Trento * Edmund M. Clarke, CMU * Werner Damm, U Oldenburg * 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 P. Kurshan, Cadence * John Lygeros, ETH Zuerich * 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 CAV Steering Committee ======================= * Edmund M. Clarke, CMU * Mike Gordon, U. Cambridge * Robert 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

← Newer
1
...
39
40
41
42
43
44
45
...
95
Older →

Jump to page:

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