ESPA~NOL
Hola, me gustaria ver un ejemplo simple de un objeto JAVA , que se comunica
con un predicado ProLog simple
Gracias
ENGLISH
Hello I would like to see one example of a simple object JAVA that
communicates with a ProLog predicate.
Thanks
Marco
==============================================================================
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/
-----------------------------------------------------------------------------
*** Apologies for multiple postings ***
MACIS 2007 - International Conference on Mathematical Aspects of
Computer and Information Sciences Paris, France, December 5-7, 2007
http://www-spiral.lip6.fr/MACIS2007
CALL FOR PARTICIPATION
Mathematical Aspects of Computer and Information Sciences (MACIS) is a
new series of conferences where foundational research on theoretical
and practical problems of mathematics for computing and information
processing may be presented and discussed. MACIS also addresses
experimental and case studies, scientific and engineering computation,
design and implementation of algorithms and software systems, and
applications of mathematical methods and tools to outstanding and
emerging problems in applied computer and information sciences. Each
conference focuses on two or three themes.
The themes for MACIS 2007 are:
- Computational Geometry and Computer Aided Geometric Design
- Polynomial System Solving
- Algorithms and Complexity
The first MACIS conference took place in Beijing
(China), July 24-26, 2006 (see
http://www.cc4cm.org/macis2006/ for more details).
Registration information is available at http://www-spiral.lip6.fr/MACIS2007.
INVITED SPEAKERS
Mark Van Hoeij (Florida State University, USA)
The complexity of factoring univariate polynomials over the rationals
Oliver Labs (University of Saarbrucken, GERMANY)
Visualization Challenges in Real Algebraic Geometry
Chee Yap (New York University, USA)
Complete Adaptive Subdivision Algorithms and their Analysis
GENERAL CHAIRS
Fabrice Rouillier (INRIA, France) and Zhiming Zheng (Beihang University, China)
LOCAL COMMITTEE CHAIR
Mohab Safey El Din (Universite Pierre et Marie Curie, France)
PROGRAM COMMITTEE
Saugata Basu, Jean-Charles Faugere, Laureano
Gonzalez-Vega (Chair), David Jeffrey, Bert
Juttler, Sylvain Lazard, Konrad Polthier, Fabrice
Rouillier, Raimund Seidel, Rafael Sendra, Frank
Sottile, Gert Vegter, Dongming Wang,
Lihong Zhi
ACCEPTED PAPERS
Wei Wei, Binghui Guo and Zhiming Zheng.
Complexity Analysis of Random Massive Algebraic System
Mridul Aanjaneya and Monique Teillaud.
Triangulating the Real Projective Plane
Brian Moore and Bert Juettler.
Computing Roots of Polynomials using Bivariate Quadratic Clipping
Michael Bender, Sandor Fekete, Alexander Kroller,
Vincenzo Liberatore, Joseph Mitchell, Valentin
Polishchuk and Jukka Suomela.
The Minimum-Backlog Problem
Chris Jefferson, Peter Jeavons, Martin Green and Marc van Dongen.
Representing and Solving Finite-Domain Constraint
Problems Using Systems of Polynomials
Shmuel Friedland and Mechie Nkengla.
Fast low rank approximations of matrices and tensors
David Daney, Jean Pierre Merlet and Odile Pourtallier.
Certified solutions of polynomials with uncertainties
Francois Boulier, Marc Lefranc, Francois Lemaire
and Pierre-Emmanuel Morant. Model Reduction of
Chemical Reaction Systems using Elimination
Serge Burckel.
Certified 2-SAT with Modus Ponens
Songxin Liang, Jurgen Gerhard and David Jeffrey.
A New Maple Package for Solving Parametric Polynomial Systems
Bingyu Li, Zhuojun Liu and Lihong Zhi.
Structured Condition Numbers of Sylvester Matrices (Extended Abstract)
Isabel Bermejo, Ignacio Garcia-Marco and Juan Jose Salazar-Gonzalez.
An algorithm for checking whether the toric ideal
of an affine monomial curve is a complete
intersection
Gwenole Ars and Amir Hashemi.
Efficient Computation of Syzygies by Faugere's F5 algorithm
Ekaterina Shemyakova and Franz Winkler.
On the Invariant Properties of Hyperbolic
Bivariate Third-Order Linear Partial Differential
Operators
Masaaki Kanno, Silvia Gandy, Hirokazu Anai and Kazuhiro Yokoyama.
Optimizing the maximal real root of a polynomial
by a special cylindrical algebraic decomposition
ChenGuang LIU, Kazuyuki TANAKA and Takeshi YAMAZAKI.
On the algorithmic complexity of partially random reals
Stefan Schuster and Armin Groelinger.
On Computing Solutions of Linear Diophantine
Equations with One Non-linear Parameter
Isabel Bermejo and Philippe Gimenez.
Computational aspects of Castelnuovo-Mumford regularity
Sunayana Ghosh and Gert Vegter.
Minimizing the symmetric difference distance in conic spline approximation
Claire Herrbach, Alain Denise and Serge Dulucq.
Average complexity of the Jiang-Wang-Zhang
pairwise tree alignment algorithm and of a RNA
secondary structure alignment algorithm
Gema M. Diaz-Toca, Laureano Gonzalez-Vega and Jounaidi Abdeljaoued.
Bezout matrices, Subresultants and Parameters
Jurgen Garloff and Andrew Smith.
Application of Bernstein Expansion to the Solution of Polynomial Problems
Mark Giesbrecht and Daniel Roche.
Interpolation of Shifted-Lacunary Polynomials
Yun Guan and Jan Verschelde.
Parallel Implementation of a Subsystem-by-Subsystem Solver
Kathy Piret and Jan Verschelde.
Computing Critical Points by Continuation
Mohab Safey El Din.
Real solving polynomial systems of inequalities:
the case of bounded sets of solutions
Jorge Caravantes and Laureano Gonzalez-Vega.
Dealing with the algebraic numbers arising when
analyzing arrangements of quartic plane curves
Jean-Charles Faugere and Ye Liang
Numerical Computation of Grobner Bases for Zero-dimensional Polynomial Ideals
Andre Galligo.
Resultant and Random Multivariate Polynomials
--
------------------------------------------------------
Laureano Gonzalez-Vega
Departamento de Matematicas, Estadistica y Computacion
Facultad de Ciencias, Universidad de Cantabria,
Avda. Los Castros, Santander 39005, Cantabria, Spain
Phone: (34)942201437 Fax: (34)942201402
E_mail: laureano.gonzalez(a)unican.es Skype: lalo_gvega
URL: http://personales.unican.es/gonzalezl/
------------------------------------------------------
==============================================================================
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/
-----------------------------------------------------------------------------
------=_Part_21150_7292440.1195590595507
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
ESPA=D1OL
hola, quiero usar la herramienta "Prolog Cafe"
tengo que modificar el Makefile indicando los campos PROLOG y PSYSTEM
################################################################
# Prolog system and Prolog system type
# PROLOG : command name of your Prolog system (e.g. prolog)
# PSYSTEM: type of your Prolog system (sicstus, swi and others)
################################################################
Si tengo instalado ciao-prolog =BFque tengo que poner en PSYSTEM, y PROLOG =
?
ENGLISH
Hello, I want to use the tool "Prolog Cafe"
I must to modify the MakeFile and change de variables PROLOG y PSYSTEM
################################################################
# Prolog system and Prolog system type
# PROLOG : command name of your Prolog system (e.g. prolog)
# PSYSTEM: type of your Prolog system (sicstus, swi and others)
################################################################
If I have installed ciao-prolog , what values I set in PSYSTEM, y PROLOG
values ?
Marco
------=_Part_21150_7292440.1195590595507
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
ESPA=D1OL<br><br>hola, quiero usar la herramienta "Prolog Cafe"<b=
r>tengo que modificar el Makefile indicando los campos PROLOG y PSYSTEM<br>=
################################################################<br># Prolo=
g system and Prolog system type
<br># PROLOG : command name of your Prolog system (e.g. p=
rolog)<br># PSYSTEM: type of your Prolog system (sicstus, swi a=
nd others)<br>#############################################################=
###<br>Si tengo instalado ciao-prolog =BFque tengo que poner en PSYSTEM, y =
PROLOG ? =20
<br><br> <br>ENGLISH<br><br>Hello, I want to use the tool "Prolog Cafe=
"<br>I must to modify the MakeFile and change de variables PROLOG y PS=
YSTEM<br>################################################################
<br>
# Prolog system and Prolog system type<br>
# PROLOG : command name of your Prolog system (e.g. prolo=
g)<br>
# PSYSTEM: type of your Prolog system (sicstus, swi and others)=
<br>
################################################################<br>
If I have installed ciao-prolog , what values I set in PSYSTEM, y PROLOG va=
lues ? <br><br><br>Marco <br>
------=_Part_21150_7292440.1195590595507--
==============================================================================
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/
-----------------------------------------------------------------------------
> Hi, I installed the Ciao-Prolog and the Emacs on my computer to
> work on my Final Master Tesis, I follow the instructions but the
> Emacs is not calling the Ciao, I created the .emacs file in the C:\
> but is not working, I would like to know some suggestions.
Normally this has been working for other users. To try to pinpoint the
problem we need some more data. Can you please tell us:
- Version of Ciao
- Version of emacs
- Where Ciao is installed
- Operating system you are using
- Contents of you .emacs
- Where your .emacs is located
Cheers,
--
----------------------- 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/
-----------------------------------------------------------------------------
--_1c1a5a3b-cfaa-407f-9332-291b3994ce96_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
=20
Hi, I installed the Ciao-Prolog and the Emac s on my computer to work on my=
Final Master Tesis, I follow the instructions but the Emacs is not calling=
the Ciao, I created the .emacs file in the C:\ but is not working, I would=
like to know some suggestions.
=20
Thanks
Francisco Santana
=20
_________________________________________________________________
Invite your mail contacts to join your friends list with Windows Live Space=
s. It's easy!
http://spaces.live.com/spacesapi.aspx?wx_action=3Dcreate&wx_url=3D/friends.=
aspx&mkt=3Den-us=
--_1c1a5a3b-cfaa-407f-9332-291b3994ce96_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<style>
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
FONT-SIZE: 10pt;
FONT-FAMILY:Tahoma
}
</style>
</head>
<body class=3D'hmmessage'>
<BR>
Hi, I installed the Ciao-Prolog and the Emac s on my computer to work on my=
Final Master Tesis, I follow the instructions but the Emacs is not calling=
the Ciao, I created the .emacs file in the C:\ but is not working, I would=
like to know some suggestions.<BR>
<BR>
Thanks<BR>
Francisco Santana<BR>
<BR><br /><hr />Invite your mail contacts to join your friends list w=
ith Windows Live Spaces. It's easy! <a href=3D'http://spaces.live.com/space=
sapi.aspx?wx_action=3Dcreate&wx_url=3D/friends.aspx&mkt=3Den-us' target=3D'=
_new'>Try it!</a></body>
</html>=
--_1c1a5a3b-cfaa-407f-9332-291b3994ce96_--
==============================================================================
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/
-----------------------------------------------------------------------------
[ Abstracts due by October 26;
Full paper deadline extended: *** October 31, Samoan time *** ]
DAMP 2008: Workshop on
Declarative Aspects of Multicore Programming
San Francisco, CA, USA
(colocated with POPL 2008)
January 9, 2008
Parallelism is going mainstream. Many chip manufactures are turning to
multicore processor designs rather than scalar-oriented frequency
increases as a way to get performance in their desktop, enterprise,
and mobile processors. This endeavor is not likely to succeed long
term if mainstream applications cannot be parallelized to take
advantage of tens and eventually hundreds of hardware threads.
Multicore architectures will differ in significant ways from their
multisocket predecessors. For example, the communication to compute
bandwidth ratio is likely to be higher, which will positively impact
performance. More generally, multicore architectures introduce several
new dimensions of variability in both performance guarantees and
architectural contracts, such as the memory model, that may not
stabilize for several generations of product.
Programs written in functional or (constraint-)logic programming
languages, or even in other languages with a controlled use of side
effects, can greatly simplify parallel programming. Such declarative
programming allows for a deterministic semantics even when the
underlying implementation might be highly non-deterministic. In
addition to simplifying programming this can simplify debugging and
analyzing correctness.
DAMP is a one-day workshop seeking to explore ideas in programming
language design that will greatly simplify programming for multicore
architectures, and more generally for tightly coupled parallel
architectures. The emphasis will be on functional and
(constraint-)logic programming, but any programming language ideas
that aim to raise the level of abstraction are welcome. DAMP seeks to
gather together researchers in declarative approaches to parallel
programming and to foster cross fertilization across different
approaches.
Specific topics include, but are not limited to:
* suitability of functional and (constraint-)logic programming
languages to multicore applications;
* run-time issues such as garbage collection or thread scheduling;
* architectural features that may enhance the parallel performance of
declarative languages;
* type systems and analysis for accurately knowing or limiting
dependencies, aliasing, effects, and nonpure features;
* ways of specifying or hinting at parallelism;
* ways of specifying or hinting at data placement which abstract away
from any details of the machine;
* compiler techniques, automatic parallelization, automatic
granularity control;
* experiences of and challenges arising from making declarative
programming practical;
* technology for debugging parallel programs;
* design and implementation of domain-specific declarative languages
for multi-core;
Submission:
Submitted papers papers should not exceed 15 pages in LLNCS
format. Submission is electronic via:
http://www.easychair.org/DAMP2008/
Important dates:
Abstract submission: Oct 26
Paper submission: Oct 31, Samoan time (*extended*)
Notification to authors: Nov 30
Camera ready: Dec 14
Program Chair:
Manuel Hermenegildo
Technical University of Madrid / IMDEA-Software -- herme(a)fi.upm.es
University of New Mexico -- herme(a)unm.edu
Program Committee:
Koen De Bosschere (U. of Gent, Belgium)
Manuel Carro (Tech. U. of Madrid, Spain)
Manuel Chakravarty (U. of New S. Wales, Australia)
Clemens Grelck (U. of Luebeck, Germany)
Dan Grossman (U. of Washington, USA)
Suresh Jagannathan (Purdue U., USA)
Pedro Lopez-Garcia (Tech. U. of Madrid, Spain)
Lee Naish (Melbourne University, Australia)
Leaf Petersen (Intel Corporation, USA)
Enrico Pontelli (New Mexico State U., USA)
John Reppy (U. of Chicago, USA)
Vitor Santos-Costa (U. of Porto, Portugal)
General Chairs:
Leaf Petersen
Neal Glew
Intel Corporation
Santa Clara, CA, USA
leaf.petersen(a)intel.comneal.glew(a)intel.com
URL:
http://www.cliplab.org/Conferences/DAMP08
Past DAMPs:
http://glew.org/damp2006http://www.cs.cmu.edu/~damp
--
==============================================================================
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/
-----------------------------------------------------------------------------
Hello.
This is a mail just for informing that
TOY version 2.3.1
has been released on 15th, October, 2007
Release notes are attached to the end of this message.
Please, see http://toy.sourceforge.net for details.
Best regards.
P.S. Apologies for multiple receptions
===========================================================================
Fernando Sáenz Pérez
Profesor Titular de Universidad / Associate Professor
Home Page: http://www.fdi.ucm.es/profesor/fernan
Tel: + 34 913947642. Fax: + 34 913947547
Despacho / Office: 435 (4ª planta / 4th floor)
Dept. Ingeniería del Software e Inteligencia Artificial /
Department of Software Engineering and Artificial Intelligence
Universidad Complutense de Madrid
Facultad de Informática
C/Profesor José García Santesmases, s/n
E - 28040 Madrid. Spain
===========================================================================
Release Notes TOY System Version 2.3.1
======================================
FIXED BUGS
- The Linux version did not work. Now, it has been fixed and tested on
Ubuntu 6.10, Kubuntu 7.04 (Feisty), and Mandriva Linux 2007 Spring.
- Bridge unification did not exactly follow theory. Now, it infers
from two bridges with the same variable at an end, the binding of the
variables at the other ends. The following example illustrates this
point.
With version 2.3.0:
Toy(R+FD)> X #== RX, Y #== RY, X == Y
{ Y -> X }
{ X #== RX,
X #== RY }
Elapsed time: 0 ms.
sol.1, more solutions (y/n/d/a) [y]?
no
Elapsed time: 0 ms.
and with the current version:
Toy(R+FD)> X #== RX, Y #== RY, X == Y
{ Y -> X,
RY -> RX }
{ X #== RX }
Elapsed time: 0 ms.
sol.1, more solutions (y/n/d/a) [y]?
no
Elapsed time: 0 ms.
- It was possible to enable projection when finite domain and/or real
constraint libraries were unloaded.
- Missing answers involved in reification when projection was
enabled. In particular, the modified built-ins are: #>, #<, #>=, #<=,
<, > <==, and >=.
=======================================
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/
-----------------------------------------------------------------------------
IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning
Sydney, Australia, 10th - 15th August, 2008
http://2008.IJCAR.org
Call for Papers, and Workshop and Tutorial Proposals
----------------------------------------------------
IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning,
and is a merger of leading events:
CADE (Conference on Automated Deduction),
FroCoS (Workshop on Frontiers of Combining Systems),
FTP (Workshop on First-order Theorem Proving) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)
IJCAR is the premier international joint conference on all aspects of automated
reasoning, including foundations, implementations, and applications. The IJCAR
technical program will consist of presentations of high-quality original
research papers, system descriptions and invited talks. There will be two days
of workshops and tutorials, 10th and 11th August, and the conference 12th to
15th August.
Conference chair:
Peter Baumgartner (NICTA)
------------------------------------------------------------------------------
Call for Papers
---------------
IJCAR 2008 invites submissions related to all aspects of automated reasoning,
including foundations, implementations, and applications. Original research
papers and descriptions of working automated deduction systems are solicited.
See the IJCAR website for a detailed list of logics, methods, and applications
of interest. The proceedings of IJCAR 2008 will be published by Springer-Verlag
in the LNAI/LNCS series.
Submission details: Submission is electronic, through
http://www.easychair.org/IJCAR2008/.
Authors are strongly encouraged to use LaTeX and the Springer "llncs" format,
which can be obtained from http://www.springer.de/comp/lncs/authors.html. The
page limit is 15 pages for full papers, and 5 pages for system descriptions.
Program co-chairs:
Alessandro Armando (Universit`a di Genova)
Peter Baumgartner (NICTA)
Gilles Dowek (l'Ecole Polytechnique)
Important dates:
Paper registration deadline: 22nd February 2008
Paper submission deadline: 3rd March 2008
Notification of paper decisions: 18th April 2008
Final version of papers due: 23rd May 2008
Conference dates: 12th-15th August 2008
------------------------------------------------------------------------------
Call for Workshop and Tutorial Proposals
----------------------------------------
Workshop and tutorial proposals on IJCAR-related topics are solicited.
Proposals that promise to bring new topics into IJCAR, of either practical or
theoretical importance, or provide a forum for more detailed discussion on
central topics of continuing importance are highly welcome. Proposals that
close the gap between automated reasoning and related areas, e.g., formal
methods or software engineering, are especially encouraged.
Proposals must contain information sufficient for the programme committee to
judge the importance, quality and community interest in the proposed topic.
Each workshop or tutorial must have one or more designated organizers, and
may have a programme committee as well.
Proposals must be limited to three pages and provide at least the following
information:
+ Title.
+ Description of the workshop topic and goals. (Why do you believe this is an
interesting and significant topic?)
+ Intended audience. (From which areas do you expect potential participants to
come? How many participants do you expect?);
+ Organization of the workshop. (Describe the intended format of the workshop,
its expected duration (from half a day to two days) and preferred dates
(August 10th, 11th, or both).)
+ Organizers' details. (Provide affiliations, backgrounds and contact details
(email, etc.) of organizers and committee members)
Proposals should be sent as plain text and as PDF to the workshop chair
(michael.norrish(a)nicta.com.au).
Workshop and tutorial chair:
Michael Norrish (NICTA)
Important dates:
Deadline for proposal submissions: 17th December 2007
Acceptance/rejection notification: 14th January 2008
Deadline for camera-ready copy of workshop notes: 14th July 2008
Workshop Dates: 10th-11th August 2008
------------------------------------------------------------------------------
==============================================================================
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/
-----------------------------------------------------------------------------
DAMP 2008: Workshop on
Declarative Aspects of Multicore Programming
San Francisco, CA, USA
(colocated with POPL 2008)
January 9, 2008
SUBMISSION DEADLINE: OCTOBER 26
Parallelism is going mainstream. Many chip manufactures are turning to
multicore processor designs rather than scalar-oriented frequency
increases as a way to get performance in their desktop, enterprise,
and mobile processors. This endeavor is not likely to succeed long
term if mainstream applications cannot be parallelized to take
advantage of tens and eventually hundreds of hardware threads.
Multicore architectures will differ in significant ways from their
multisocket predecessors. For example, the communication to compute
bandwidth ratio is likely to be higher, which will positively impact
performance. More generally, multicore architectures introduce several
new dimensions of variability in both performance guarantees and
architectural contracts, such as the memory model, that may not
stabilize for several generations of product.
Programs written in functional or (constraint-)logic programming
languages, or even in other languages with a controlled use of side
effects, can greatly simplify parallel programming. Such declarative
programming allows for a deterministic semantics even when the
underlying implementation might be highly non-deterministic. In
addition to simplifying programming this can simplify debugging and
analyzing correctness.
DAMP is a one-day workshop seeking to explore ideas in programming
language design that will greatly simplify programming for multicore
architectures, and more generally for tightly coupled parallel
architectures. The emphasis will be on functional and
(constraint-)logic programming, but any programming language ideas
that aim to raise the level of abstraction are welcome. DAMP seeks to
gather together researchers in declarative approaches to parallel
programming and to foster cross fertilization across different
approaches.
Specific topics include, but are not limited to:
* suitability of functional and (constraint-)logic programming
languages to multicore applications;
* run-time issues such as garbage collection or thread scheduling;
* architectural features that may enhance the parallel performance of
declarative languages;
* type systems and analysis for accurately knowing or limiting
dependencies, aliasing, effects, and nonpure features;
* ways of specifying or hinting at parallelism;
* ways of specifying or hinting at data placement which abstract away
from any details of the machine;
* compiler techniques, automatic parallelization, automatic
granularity control;
* experiences of and challenges arising from making declarative
programming practical;
* technology for debugging parallel programs;
* design and implementation of domain-specific declarative languages
for multi-core;
Submission:
Submitted papers papers should not exceed 15 pages in LLNCS
format. Submission is electronic via:
http://www.easychair.org/DAMP2008/
Important dates:
Paper submission: Oct 26
Notification to authors: Nov 30
Camera ready: Dec 14
Program Chair:
Manuel Hermenegildo
Technical University of Madrid / IMDEA-Software -- herme(a)fi.upm.es
University of New Mexico -- herme(a)unm.edu
Program Committee:
Koen De Bosschere (U. of Gent, Belgium)
Manuel Carro (Tech. U. of Madrid, Spain)
Manuel Chakravarty (U. of New S. Wales, Australia)
Clemens Grelck (U. of Luebeck, Germany)
Dan Grossman (U. of Washington, USA)
Suresh Jagannathan (Purdue U., USA)
Pedro Lopez-Garcia (Tech. U. of Madrid, Spain)
Lee Naish (Melbourne University, Australia)
Leaf Petersen (Intel Corporation, USA)
Enrico Pontelli (New Mexico State U., USA)
John Reppy (U. of Chicago, USA)
Vitor Santos-Costa (U. of Porto, Portugal)
General Chairs:
Leaf Petersen
Neal Glew
Intel Corporation
Santa Clara, CA, USA
leaf.petersen(a)intel.comneal.glew(a)intel.com
URL:
http://www.cliplab.org/Conferences/DAMP08
Past DAMPs:
http://glew.org/damp2006http://www.cs.cmu.edu/~damp
--
==============================================================================
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/
-----------------------------------------------------------------------------
(Apologies for multiple postings.)
FINAL CALL FOR PAPERS
Ninth International Symposium on Functional and Logic Programming
(FLOPS 2008)
April 14-16, 2008
Ise, Japan
Submission deadline (abstract): October 10, 2007
Submission deadline (full paper, extended!): October 17, 2007
Keynotes: Peter Dybjer, Naoki Kobayashi, and Torsten Schaub
http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/
FLOPS is a forum for research on all issues concerning declarative
programming, including functional programming and logic programming,
and aims to promote cross-fertilization and integration between the
two paradigms. Previous FLOPS meetings were held in Fuji Susono
(1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
(2001), Aizu (2002), Nara (2004), and Fuji Susono (2006).
TOPICS
FLOPS solicits original papers in all areas of functional and logic
programming, including (but not limited to):
Declarative Pearls: new and excellent declarative programs with
illustrative applications;
Language issues: language design and constructs, programming
methodology, integration of paradigms, interfacing with other
languages, type systems, constraints, concurrency and distributed
computing;
Foundations: logic and semantics, rewrite systems and narrowing,
type theory, proof systems;
Implementation issues: compilation techniques, memory management,
program analysis and transformation, partial evaluation,
parallelism;
Applications: case studies, real-world applications, graphical
user interfaces, Internet applications, XML, databases, formal
methods and model checking.
The proceedings are expected to be published as an LNCS volume. The
proceedings of the previous meeting (FLOPS2006) were published as
LNCS 3945.
INVITED SPEAKERS
Peter Dybjer (Chalmers, Sweden)
Naoki Kobayashi (Tohoku, Japan)
Torsten Schaub (Potsdam, Germany)
PC CO-CHAIRS
Jacques Garrigue (Nagoya, Japan)
Manuel Hermenegildo (Madrid, Spain and New Mexico, USA)
PC MEMBERS
Maria Alpuente (Valencia, Spain)
Sergio Antoy (Portland, OR, USA)
Matthias Blume (TTI, Chicago, USA)
Tyng-Ruey Chuang (Academia Sinica, Taiwan)
Zhenjiang Hu (Tokyo, Japan)
Oleg Kiselyov (FNMOC, Monterey, USA)
Herbert Kuchen (Muenster, Germany)
Dale Miller (INRIA, Palaiseau, France)
Atsushi Ohori (Tohoku, Japan)
Enrico Pontelli (New Mexico, USA)
Kristoffer Rose (IBM Watson, USA)
Kazunori Ueda (Waseda, Japan)
Peter Van Roy (Louvain-la-Neuve, Belgium)
Benjamin Werner (INRIA, Palaiseau, France)
LOCAL CHAIR
Shoji Yuen (Nagoya, Japan)
SUBMISSION
Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. Submissions should
fall into one of the following categories:
Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.
System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.
All submissions must be written in English and can be up to 15
proceedings pages long. Authors are strongly encouraged to use
LaTeX2e and the Springer llncs class file, available at
http://www.springer.de/comp/lncs/authors.html
Regular research papers should be supported by proofs and/or
experimental results. In case of lack of space, this supporting
information should be made accessible otherwise (e.g., a link to a
web page, or an appendix). Submission is Web-based. Please visit:
http://www.easychair.org/FLOPS2008
IMPORTANT DATES
Submission deadline (abstract): October 10, 2007
Submission deadline (full paper): October 17, 2007
Author notification: December 21, 2007
Camera-ready copy: January 21, 2008
Conference: April 14-16, 2008
PLACE
Ise, Japan
Previous FLOPS:
FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/
FLOPS 2004, Nara: http://logic.cs.tsukuba.ac.jp/FLOPS2004/
FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/
FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/
SPONSOR
Japan Society for Software Science and Technology (JSSST) SIG-PPL
IN COOPERATION with
Asian Association for Foundation of Software (AAFS)
Association for Logic Programming (ALP)
ACM SIGPLAN (pending)
INQUIRIES to <flops2008 at math.nagoya-u.ac.jp>
--
-------------------------------------------------------------------------------
Manuel Hermenegildo | Prof., C.S. Department
Director, IMDEA-Software and CLIP Group | T.U. of Madrid (UPM)
http://www.cliplab.org/herme | +34-91-336-7435 (W) -352-4819 (Fax)
-------------------------------------------------------------------------------
==============================================================================
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/
-----------------------------------------------------------------------------