Ciao-users

ciao-users@cliplab.org

948 discussions

CFP Workshops in conjunction with SYNAS 2015 (with deadline 25 July)
by Isabela Drămnesc 18 Jul '15

18 Jul '15

Call for Papers --------------- Workshops in conjunction with SYNASC 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 21-24, 2015, Timisoara, Romania http://synasc.ro/2015 Important Dates --------------- 25 July 2015 : Paper submission (FIRM extended deadline) 01 August 2015 : Notification of acceptance 01 September 2015 : Registration 01 September 2015 : Revised papers according to the reviews 21-24 September 2015 : Symposium 30 November 2015 : Final papers for post-proceedings * Workshop on Agents for Complex Systems (ACSys) http://synasc.ro/2015/workshops/acsys-2015 * Workshop on Geoinformatics http://synasc.ro/2015/workshops/geoinformatics * Workshop on Iterative Approximation of Fixed Points (IAFP) http://synasc.ro/2015/workshops/iafp-2015 * Workshop on Natural Computing and Applications (NCA) http://synasc.ro/2015/workshops/nca-2015 ----------- SYNASC 2015 West University of Timisoara Department of Computer Science Bd. V. Parvan 4, 300223 Timisoara, Romania tel: + (40) 256 592195, +(40) 256 592389 fax: + (40) 256 592316, +(40) 256 592380

1 0

support for xemacs?
by Jose F. Morales 14 Jul '15

14 Jul '15

Dear Ciao users, We are considering dropping support for XEmacs (http://www.xemacs.org) in the next Ciao release and focus only on GNU Emacs ( https://www.gnu.org/software/emacs/). Please tell us if you are using Ciao with XEmacs and do not want its support to be discontinued. Thanks, -- Jose

1 0

Re: [Ciao-users] [Ciao-mailman] Emacs and OSX Yosemite
by ciao＠clip.dia.fi.upm.es 09 Jul '15

09 Jul '15

For 1.14 simply add the following to your .emacs file: (if (file-exists-p "/usr/local/lib/ciao/ciao-mode-init.el") (load-file "/usr/local/lib/ciao/ciao-mode-init.el") ) and restart emacs. "M-x ciao" should bring up the top level, .pl files should open in Ciao/Prolog mode, the source debugger and help should work, etc. In the 1.15 installer (development version) we added a message that gives the correct path. You may want to use this version in any case. Please let us know if it does not work. Cheers, --Manuel H > I've used CiaoDE-1.14.2-13646.dmg and Emacs-24.5-1-universal.dmg. > > On 08/07/2015 03:50, ciao(a)clip.dia.fi.upm.es wrote: > > > I'm trying to integrate Ciao with Emacs on Mac OSX Yosemite but am > > > unable to find information on ciao paths on Apple machines. Can anyone help? > > > > Normally the Ciao installation process takes care of this integration, > > but it depends a bit on the version of emacs . What Ciao version and > > installer (source, rpm, etc.) are you using? Also, what version of > > emacs? -- ----------------------- 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

Call for Papers PAS-2015 (Program Verification, Automated Debugging and Symbolic Computation)
by Isabela Drămnesc 09 Jul '15

09 Jul '15

PAS 2015 - Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation Beijing, China, October 21-23, 2015 Important Dates - Submission of abstracts August 15, 2015 - Submission of papers/extended abstracts: August 20, 2015 - Notification of acceptance or rejection: September 20, 2015 - Final version due: October 10, 2015 - Seminar taking place: October 21-23, 2015 Overview PAS 2015 will provide a forum for researchers and software developers actively involved or interested in developing, using, and applying methods and software tools of symbolic computation for program verification and automated debugging to exchange ideas and views, to review the state of the art and discuss prospects, to present research results and experiments, and to build up contacts for future cooperation. The scientific program of the seminar will feature invited talks and contributed presentations. Specific topics for PAS 2015 include (but are not limited to): - Theories and methodologies for program verification and testing - Model checking, fault locating and program repairing - Symbolic computation and automated reasoning for program verification - Termination, correctness and complexity analysis of programs - Automated program synthesis and transformation - Logic and semantics for automated and algorithmic debugging - Program debugging paradigms and techniques - Symbolic constraint solving for verification and debugging - Tools, prototypes, empirical and case studies The previous seminars PAS 2012 and PAS 2013 were held in Beijing, China, and PAS 2014 was part of the Federated Logic Conference (FLoC) and the Vienna Summer of Logic. Submission Potential participants of PAS 2015 are invited to submit first half-page abstracts and then full papers or extended abstracts (3-5 pages) describing their work to be presented at the seminar. The submitted full papers and extended abstracts will be reviewed by the program committee for soundness and relevance to the seminar. Submission of original research papers is encouraged, while published material and work in progress will also be considered for presentation at the seminar. Electronic submissions are strongly preferred using EasyChair: https://easychair.org/conferences/?conf=pas20150 Accepted full papers and extended abstracts will be distributed at the seminar. Authors of the full papers and extended abstracts accepted for presentation at the seminar will be invited to submit their full and/or revised papers for publication in the post-proceedings volume as a special issue of the Journal of Symbolic Computation (JSC) after the meeting. The submitted papers will be formally reviewed by external referees according to the standard refereeing procedure of JSC. Honorary Chair Wei Li (Beihang University, China) Steering Committee Hoon Hong (North Carolina State University, USA) Tudor Jebelean (Johannes Kepler University, Austria) Jens Knoop (Technical University of Vienna, Austria) Alexander Letichevsky (Cybernetics National Academy of Sciences, Ukraine) Wei Li (Beihang University, China) Dongming Wang (Beihang University, China and CNRS, France) Program Chairs Tudor Jebelean (Johannes Kepler University, Austria) Dongming Wang (Beihang University, China and CNRS, France) Program Committee (to be announced) Local Arrangements Xiaoyu Chen (Beihang University, China) Aishan Liu ( Beihang University, China) Dan Song (Beihang University, China)

1 0

Fwd: Ciao emacs version deadlink and Configuration
by Dan Seeruttun 08 Jul '15

08 Jul '15

Hello, I am a student that uses Ciao for work purposes and I would like to share with you some concerns. I want to use Ciao with Emacs on a Windows 8 Machine First, I tried to install this version of Ciao: *CiaoDE-1.13.1-13182*. The Wizard asked me to install Emacs before but the link you provide is a dead link. It is almost impossible to find the version of Emacs you ask for (I got the version* Emacs-22-CvsP070523-EmacsW32-1.54* thanks to the site Archive.org that saved the contents. After reminding you of the dead link, I would like to know what and where is the Emacs version (if with patch or not) you recommend to use with Ciao.[image: Images intégrées 2] I have another question. In your Ciao documentation (your site), to init Emacs in a Ciao environment, you recommend to modify the .emacs file to add this line: * (load <CIAOLIBDIR>/DOTemacs)*. But it's not working and I have this error in Emacs, loaded in perl mode after. [image: Images intégrées 3] Please, can you tell me how to correct that. Best regards, Dan Seeruttun--Marie Student at UPM Madrid

1 0

Emacs and OSX Yosemite
by Karl Jones 08 Jul '15

08 Jul '15

I'm trying to integrate Ciao with Emacs on Mac OSX Yosemite but am unable to find information on ciao paths on Apple machines. Can anyone help? Thanks.

2 1

Synasc 2015 -- Final extended deadline: 30 June
by Isabela Drămnesc 16 Jun '15

16 Jun '15

Due to multiple requests, the SYNASC submission deadline has been extended to June 30 2015. For this final deadline the authors may submit papers even if they do not submit an abstract before. Call for Papers --------------- SYNASC 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 21-24, 2015, Timisoara, Romania http://synasc.ro/2015 Aim --- SYNASC aims to stimulate the interaction between the two scientific communities of symbolic and numeric computing and to exhibit interesting applications of the areas both in theory and in practice. The choice of the topic is motivated by the belief of the organizers that the dialogue between the two communities is very necessary for accelerating the progress in making the computer a truly intelligent aid for mathematicians and engineers. Important Dates --------------- 30 June 2015 : Paper submission (final extended deadline) 31 July 2015 : Notification of acceptance 01 September 2015 : Registration 01 September 2015 : Revised papers according to the reviews 21-24 September 2015 : Symposium 30 November 2015 : Final papers for post-proceedings Invited Speakers --------------- Peter Bentley, University College London, UK Manuel Kauers, Johannes Kepler University, Linz, Austria Tetsuo Ida, University of Tsukuba, Japan Ruzica Piskac, Yale University, USA Dave Sands, Chalmers University of Technology, Sweden Andrei Voronkov, The University of Manchester, UK Stefan Woltran, Viena University of Technology, Austria Stephen Watt, University of Western Ontario and University of Waterloo, Canada Invited Tutorials ----------------- * Daniel Hedin, Mälardalen University, Sweden, Tutorial on JSFlow http://synasc.ro/2015/tutorials/daniel-hedin * Arie Gurfinkel, Carnegie Mellon University, US Tutorial on Interpolation and Verification http://synasc.ro/2015/tutorials/arie-gurfinkel Tracks ------ * Symbolic Computation + computer algebra + symbolic techniques applied to numerics + hybrid symbolic and numeric algorithms + numerics and symbolics for geometry + programming with constraints, narrowing * Numerical Computing + iterative approximation of fixed points + solving systems of nonlinear equations + numerical and symbolic algorithms for differential equations + numerical and symbolic algorithms for optimization + parallel algorithms for numerical computing + scientific visualization and image processing * Logic and Programming + automatic reasoning + formal system verification + formal verification and synthesis + software quality assessment + static analysis + timing analysis * Artificial Intelligence + methods for hard computational problems + intelligent systems for scientific computing + agent-based complex systems modeling and development + scientific knowledge management + computational intelligence + machine learning + recommender and expert systems for scientific computing + data mining and web mining + natural language processing + uncertain reasoning in scientific computing + intelligent hybrid systems * Distributed Computing + parallel and distributed algorithms for clouds, GPUs, HPC, P2P systems, autonomous systems. Work should focus on scheduling, scaling, load balancing, networks, fault-tolerance, gossip algorithms, energy saving + applications for parallel and distributed systems, including work on cross disciplinary (scientific) applications for grids/clouds, web applications, workflow platforms, network measurement tools, programming environments + architectures for parallel and distributed systems, including self-managing and autonomous systems, negotiation protocols, HPC on clouds, GPU processing, PaaS for (inter)cloud, brokering platforms, mobile computing + modelling of parallel and distributed systems including models on resources and networks, semantic representation, negotiation, social networks, trace management, simulators + any other topic deemed relevant to the field * Advances in the Theory of Computing + Data Structures and algorithms + Combinatorial Optimization + Formal languages and Combinatorics on Words + Graph-theoretic and Combinatorial methods in Computer Science + Algorithmic paradigms, including distributed, online, approximation, probabilistic, game-theoretic algorithms + Computational Complexity Theory, including structural complexity, boolean complexity, communication complexity, average-case complexity, derandomization and property testing + Logical approaches to complexity, including finite model theory + Algorithmic and computational learning theory + Aspects of computability theory, including computability in analysis and algorithmic information theory + Proof complexity + Computational social choice and game theory + New computational paradigms: CNN computing, quantum, holographic and other non-standard approaches to Computability + Randomized methods, random graphs, threshold phenomena and typical-case complexity + Automata theory and other formal models, particularly in relation to formal verification methods such as model checking and runtime verification + Applications of theory, including wireless and sensor networks, computational biology and computational economics + Experimental algorithmics This list is not intended to be exhaustive. Workshops --------- * Workshop on Agents for Complex Systems (ACSys) http://synasc.ro/2015/workshops/acsys-2015 * Workshop on Geoinformatics http://synasc.ro/2015/workshops/geoinformatics * Workshop on Extreme Data Parallel Processing, Exascale Systems Engineering and Energy Efficiency (HPC-E5) http://host.hpc.uvt.ro/follow-up/hpc-e5 * Workshop on Iterative Approximation of Fixed Points (IAFP) http://synasc.ro/2015/workshops/iafp-2015 * Workshop on Management of resources and services in Cloud and Sky computing (MICAS) https://amicas.hpc.uvt.ro/micas-2015 * Workshop on Natural Computing and Applications (NCA) http://synasc.ro/2015/workshops/nca-2015 Publication ----------- Research papers that are accepted and presented at the symposium will be collected as post-proceedings published by Conference Publishing Service (CPS) and will be submitted for indexing in ISI Web of Science, DBLP, SCOPUS. Extended versions of the selected papers published in post-proceedings will be considering to be published as special issues in international journals. Honorary Chairs --------------- * Bruno Buchberger, Johannes Kepler University, Austria * Stefan Maruster, West University of Timisoara, Romania Steering Committee ------------------ * Tetsuo Ida, University of Tsukuba, Japan * Tudor Jebelean, Johannes Kepler University, Austria * Viorel Negru, West University of Timisoara, Romania * Dana Petcu, West University of Timisoara, Romania * Stephen Watt, University of Western Ontario and University of Waterloo, Canada * Daniela Zaharie, West University of Timisoara, Romania General Chair ------------- * Viorel Negru, West University of Timisoara, Romania Program Chair ------------- * Laura Kovacs, Chalmers University of Technology, Sweden Track Chairs ------------ * Symbolic Computation + James Davenport, University of Bath, UK + Stephen Watt, University of Western Ontario and University of Waterloo, Canada * Numerical Computing + Dana Petcu, West University of Timisoara, Romania + Stefan Takacs, Johannes Kepler University Linz, Austria * Logic and Programming + Nikolaj Bjorner, Microsoft + Tudor Jebelean, Johannes Kepler University Linz, Austria * Artificial Intelligence + Daniela Zaharie, West University of Timisoara, Romania + Andrei Petrovski, Robert Gordon University, UK * Distributed Computing + Marc Frincu, University of Southern California, US and West University of Timisoara, Romania + Karoly Bosa, Johannes Kepler University Linz, Austria * Advances in the Theory of Computing + Mircea Marin, West University of Timisoara, Romania + Gabriel Istrate, Research Institute e-Austria Timisoara, Romania Special sessions and workshops chair ------------------------------------ * Daniel Pop, West University of Timisoara, Romania Tutorial chair -------------- * Dana Petcu, West University of Timisoara, Romania Proceedings Chairs ------------------ * Laura Kovacs, Chalmers University of Technology, Sweden * Daniela Zaharie, West University of Timisoara, Romania Local Committee Chairs ---------------------- * Isabela Dramnesc, West University of Timisoara, Romania * Silviu Panica, Institute e-Austria Timisoara, Romania Submission ----------- Submissions of research papers are invited. The papers must contain original research results not submitted and not published elsewhere. There are four categories of submissions: * Regular papers describing fully completed research results (up to 8 pages in the two-columns paper style). * System descriptions and experimental papers describing implementation results of experimental data, with a link to the reported results (up to 4 pages in the two-columns paper style). * Short papers, describing work in progress and/or preliminary results (up to 4 pages in the two-columns paper style). * Posters, describing ongoing work and research challenges of PhD students (up to 2 pages in the two-columns paper style). ----------- SYNASC 2015 West University of Timisoara Department of Computer Science Bd. V. Parvan 4, 300223 Timisoara, Romania tel: + (40) 256 592195, +(40) 256 592389 fax: + (40) 256 592316, +(40) 256 592380

1 0

EXTENDED DEADLINE: Horn Clauses for Verification and Synthesis (HCVS)
by Jorge A Navas 24 May '15

24 May '15

Call for Papers Horn Clauses for Verification and Synthesis (HCVS) July 19, 2015 · San Francisco, USA Submission deadlines: - paper submission: May 22, 2015 - EXTENDED paper submission: May 28, 2015 - paper notification: June 10, 2015 Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification community (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs in various programming paradigms (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress and presentations covering previously published results that are of interest to the workshop. Invited speakers: - Ranjit Jhala, University of California at San Diego - Joxan Jaffar, National University of Singapore Program Committee: Elvira Albert (Complutense University of Madrid) Nikolaj Bjorner (Microsoft Research) Gregory J. Duck (National University of Singapore) Fabio Fioravanti (University of Chieti-Pescara) John Gallagher (Roskilde University and IMDEA-Software Madrid) Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) - chair Radu Grigore (University of Oxford) Konstantin Korovin (Manchester University) Viktor Kuncak (EPFL) David Monniaux (CNRS/Verimag) Jorge A. Navas (NASA) - chair Corneliu Popeea (CQSE) Maurizio Proietti (IASI-CNR, Italy) Philipp Ruemmer (Uppsala University, Department of Information Technology) Andrey Rybalchenko (Microsoft Research) Valerio Senni (ALES srl) Peter Stuckey (University of Melbourne) Yakir Vizel (Princeton University) The submission format is up to 12 pages plus bibliography for regular papers and 1 to 3 pages (for work-in-progress), both in EPTCS format. Original accepted papers will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2015.

1 0

PADL 2015 - Call for Participation
by Enrico Pontelli 07 May '15

07 May '15

CALL for PARTICIPATION ================== 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015) http://www.cs.nmsu.edu/padl15 <http://www.cs.nmsu.edu/padl15> Portland, Oregon, June 18-19, 2015 Part of ACM Federated Computing Research Conference Preliminary Schedule =============== The preliminary program of PADL 2015 is now available at http://www.cs.nmsu.edu/padl15 <http://www.cs.nmsu.edu/padl15>. The accepted papers for the symposium are: * Reactive Single-Page Applications with Dynamic Dataflow Simon Fowler, Loic Denuziere and Adam Granicz. * On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities Flavio Cruz and Ricardo Rocha. * Declaratively solving Google Code Jam problems with Picat Sergii Dymchenko and Mariia Mykhailova. * Programming Microcontrollers in OCaml: the OCaPIC Project Benoit Vaugon, Philippe Wang and Emmanuel Chailloux. * On logic programming representations of lambda terms: de Bruijn indices, compression, type inference, combinatorial generation, normalization Paul Tarau. * Implementation and Performance of Probabilistic Inference Pipelines Dimitar Shterionov and Gerda Janssens. * CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry Michael Hanus. * Ontology-Driven Data Semantics Discovery for Cyber-Security Marcello Balduccini, Sarah Kushner and Jacquelin Speck. * A Haskell Implementation of a Rule-Based Program Transformation for C Programs Salvador Tamarit, Guillermo Vigueras, Manuel Carro and Julio Mariño. * State Space Planning Using Transaction Logic Reza Basseda. The Symposium will feature two invited speakers - please visit the web site for updates. Conference Description ================= 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, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2015 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2015 will be co-located with the ACM Federated Computing Research Conferences, in Portland, Oregon. CONFERENCE REGISTRATION ===================== Please visit the conference web site for information about registration and travel accommodations. -------------------- College of Arts & Sciences New Mexico State University Las Cruces, NM 88003

1 0

Call for papers: Horn Clauses for Verification and Synthesis (HCVS)
by Jorge A Navas 24 Apr '15

24 Apr '15

Call for Papers Horn Clauses for Verification and Synthesis (HCVS) July 19, 2015 · San Francisco, USA Submission deadlines: - paper submission: May 22, 2015 - paper notification: June 10, 2015 Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification community (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs in various programming paradigms (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress and presentations covering previously published results that are of interest to the workshop. Invited speakers: - Ranjit Jhala, University of California at San Diego - Joxan Jaffar, National University of Singapore Program Committee: Elvira Albert (Complutense University of Madrid) Nikolaj Bjorner (Microsoft Research) Gregory J. Duck (National University of Singapore) Fabio Fioravanti (University of Chieti-Pescara) John Gallagher (Roskilde University and IMDEA-Software Madrid) Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) - chair Radu Grigore (University of Oxford) Konstantin Korovin (Manchester University) Viktor Kuncak (EPFL) David Monniaux (CNRS/Verimag) Jorge A. Navas (NASA) - chair Corneliu Popeea (CQSE) Maurizio Proietti (IASI-CNR, Italy) Philipp Ruemmer (Uppsala University, Department of Information Technology) Andrey Rybalchenko (Microsoft Research) Valerio Senni (ALES srl) Peter Stuckey (University of Melbourne) Yakir Vizel (Princeton University) The submission format is up to 12 pages plus bibliography for regular papers and 1 to 3 pages (for work-in-progress), both in EPTCS format. Original accepted papers will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2015.

1 0

← Newer
1
...
8
9
10
11
12
13
14
...
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