Nabble - Clean

An annoying feature

2008-08-19T13:38:41Z

Clean has an annoying that is very easy to fix, I guess. In the Object IO library, there is no simple way to increase the size of the EditControl font. On the other hand, the high resolution LCD monitors have very small default font. Since older people, like our teachers, have a tendency to suffer from presbyopia, they do not like small letters, and their displeasure reflects on the grade they give us. Therefore, I suggest that Clean team add a function to change the size of the font used in the EditControl.

Yahoo! Canada Toolbar : Search from anywhere on the web and bookmark your favourite sites. Download it now!

_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

2008 ICLP Doctoral Consortium

2008-08-11T08:12:41Z

**********************************************************************
International Conference on Logic Programming

Fourth Doctoral Consortium

Udine, Italy
December 9-13, 2008
http://www.cs.kuleuven.be/~toms/DC2008/
-----------

The 2008 ICLP Doctoral Consortium (DC) is the fourth international
doctoral consortium to be offered as part of the International
Conference on Logic Programming. The DC will take place during ICLP
2008 in Udine, Italy. The Doctoral Consortium is designed for
doctoral students working in areas related to logic programming, as
well as Master's students interested in pursuing doctoral degrees in
the field of logic programming.

The Doctoral Consortium aims to provide students with an opportunity
to present and discuss their research directions and to obtain
feedback from peers as well as world-renowned experts in the field.
The Doctoral Consortium will also offer invited speakers and panel
discussions.

------------

The Doctoral Consortium is held the during the regular activities of
the ICLP 2008 Conference. The aims of the Doctoral Consortium are:

* To provide doctoral students working in the field of logic and
constraint programming with a friendly and open forum to present
their research ideas, listen to ongoing work from peer students,
and receive constructive feedback

* To provide students with relevant information about important
issues for doctoral candidates and future academics

* To develop a supportive community of scholars and a spirit of
collaborative research.

* To support a new generation of researchers with information and
advice on academic, research, industrial, and non-traditional
career paths.

The Consortium is designed for students currently enrolled in a Ph.D.
program, though we are also open to exceptions (e.g., students
currently in a Masters program and interested in doctoral studies).
Students at any stage in their doctoral studies are encouraged to
apply. Applicants are expected to be conducting
research in the field of Logic Programming; topics of interest include
(but are not limited to):

* Theoretical Foundations of Logic and Constraint Logic Programming
* Sequential and Parallel Implementation Technology
* Static and Dynamic Analysis, Abstract Interpretation, Compilation
Technology, Verification
* Logic-based Paradigms (e.g., Answer Set Programming, Concurrent
Logic Programming, Inductive Logic Programming)
* Innovative Applications of Logic Programming

The Consortium allows participants to interact with established
researchers and with other students, through presentations, question-
answer sessions, panel discussions, and invited presentations. The
Doctoral Consortium will provide the possibility to reflect - through
short activities, information sessions, and discussions - on the
process and lessons of research and life in academia. Each participant
will give a short, critiqued, research presentation.

The Doctoral Consortium will be held on a date to be determined, in
parallel with the regular activities of the ICLP 2008 conference; the
ICLP conference will run from December 9th to December 9th, 2008.
Doctoral Consortium participants will be offered the opportunity to
have their abstracts published in the ICLP 2008 conference
proceedings.

Discussants:
Several renowned faculty members and researchers in the field of Logic
Programming will join in evaluating the submission packets and will
participate in the Doctoral Consortium, providing feedback to the
presenters. The list of the discussants will be published at a later
date.

--------

Detailed submission instructions can be found in the ICLP 2008
Doctoral Consortium web site, at:

http://www.cs.kuleuven.be/~toms/DC2008/

--------

Important Dates
Submission Deadline: August 25, 2008 (strict)
Acceptance Notification: September 5, 2008
Last Date to Update
Research Summary: September 15, 2008 (strict)
Doctoral Consortium: December 9-13, 2008 (TBA)
ICLP 2008 Conference: December 9-13, 2008

------------

Doctoral Consortium Chairs:

David S. Warren Tom Schrijvers
Department of Computer Science Departement of Computer Science
State University of New York Catholic University of Leuven
Stony Brook, NY, USA Leuven, Belgium
warren _a_t_ cs.sunysb.edu tom.schrijvers _a_t_ cs.kuleuven.be
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

ICLP'08 FINAL CALL FOR POSTER SUBMISSIONS

2008-08-11T06:18:30Z

ICLP'08
Call for Posters Submissions

24th International Conference on Logic Programming
Udine, Italy, December 9th-13th, 2008
http://iclp08.dimi.uniud.it

**** FINAL CALL ****

** DEADLINE APPROACHING **
August 15th, 2008

Within the scope of the general call for papers for the upcoming 24th
International Conference on Logic Programming, we would like to draw your
attention on the opportunity to submit an extended abstract to the Posters
Track of the conference.

Posters are ideal for presenting work-in-progress, speculative, late-breaking
results or for introducing the audience to new research directions, projects,
and initiatives. Posters are intended to provide authors and participants with
the ability to connect with each other and to engage in discussions about the
work.

Posters will be allocated a separate session during the conference, composed of
a standing poster demonstration and a lightning talk presentation.

SUBMISSION:
-----------
Poster submissions are in the form of extended abstracts. They are expected to
be succinct and clear, presenting the key ideas, possibly in an informal and
widely understandable manner.

All submissions must be written in English.
Application papers must not exceed 5 pages in the Springer LNCS format

(see http://www.springeronline.com/lncs/)

The primary means of submission will be electronic, through the Easychair
submission system. The submission page is available at

http://www.easychair.org/conferences/?conf=ICLP08

REVIEW PROCESS:
---------------
All submissions will be peer-reviewed by an international panel. Accepted
extended abstracts will be allocated time for presentation during the
conference. At least one author of each accepted submission is expected to
register and participate in the event. Each accepted extended abstract will be
allocated 5 pages in the conference proceedings.

PUBLICATION
-----------
The proceedings of the conference will be published by Springer-Verlag in the
LNCS series.

IMPORTANT DATES
---------------
Abstract submission deadline August 15th (strict)
Notification of authors September 1st
Camera-ready copy due September 15th
Early-bird Registration TBA
Conference December 9-13, 2008

---
For further information: iclp08@...
http://iclp08.dimi.uniud.it
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

2nd call for papers IFL 2008

2008-08-07T20:43:47Z

********************************************************************************
*
* CALL FOR PAPERS
*
* 20th International Symposium on the
* Implementation and Application of Functional Languages
* IFL 2008
* 10-12.Sept 2008, Hatfield UK
*
* http://events.sac-home.org/ifl2008/
*
********************************************************************************

The aim of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. They provide an open forum for researchers who wish
to present and discuss new ideas and concepts, work in progress, preliminary
results, etc. related primarily but not exclusively to the implementation and
application of functional languages. Formal proceedings are produced after
the symposium, so that authors can incorporate the feedback from discussions
at the symposium in their published papers.

Topics
======

Topics of interest include, but are not limited to:

* language concepts
* type checking
* compilation techniques
* (abstract) interpretation
* generic programming techniques
* automatic program generation
* array processing
* concurrent/parallel programming
* concurrent/parallel program execution
* functional programming on embedded systems
* functional programming on multi-cores/ many-cores
* heap management
* runtime profiling
* performance measurements
* debugging and tracing
* (abstract) machine architectures
* verification
* formal aspects
* tools and programming techniques

Papers on applications or tools demonstrating the suitability of novel ideas
in any of the above areas and contributions on related theoretical work are
also welcomed. The change of the symposium name adding the term application,
introduced in 2004, is to reflect the broader scope IFL has gained over
the years.

Paper Submissions
=================

Prospective authors are encouraged to submit papers to be published in the
draft proceedings and to present them at the symposium. All contributions
must be written in English, conform to the Springer-Verlag LNCS series format
and not exceed 16 pages. The draft proceedings will appear as a Technical
Report of the School of Computer Science of the University of Hertfordshire.

Attendees of IFL 2008 will have the opportunity to submit a revised version
of their paper for post-symposium reviewing. As in previous years, we hope
that selected papers will be published by Springer Verlag in the Lecture
Notes in Computer Science (LNCS) Series.

The Peter Landin Prize
======================

Since 2002 every year the Peter Landin Prize of 150 GBP is awarded to the
best paper presented at the symposium, as selected by the program committee.

Important Dates
===============

* Submission for draft proceedings: 22. August
* Early Registration: 25. August
* Symposium: 10-12. September
* Submission for post-refereeing: 14. November
* Notification of acceptance / rejection: 23. January 2009
* Submission of a camera ready version: 20. February 2009

Contact
=======

For further details see <http://events.sac-home.org/ifl2008/> or contact
us by email: events <at> sac-home.org
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

DEFUN 2008 (Developer Tracks on Functional Programming): Call for participation

2008-08-06T18:38:23Z

ACM SIGPLAN 2008 Developer Tracks on Functional Programming
http://www.deinprogramm.de/defun-2008/
Victoria, BC, Canada, 25, 27 September, 2008
Held in conjunction with ICFP 2008:
http://www.icfpconference.org/icfp2008/

DEFUN 2008 is the event for developers using functional languages:
Recognized experts on functional programming technologies share their
knowledge and professional skills in talks and tutorials in 10 exciting
tracks. Find out how to best make functional programming work in your
development project! Acquire new development skills! Learn about other
functional languages!

The DEFUN program (attached) has tracks with the following types of
presentations:

- Half-day general language tutorials for specific functional languages,
given by recognized experts for the respective languages.

- Half-day tutorials on specific techniques or the use of specific
technologies in functional programming.

- 45-minute "how-to" talks that provide specific information on how to
solve specific problems using functional programming. These talks
focus on concrete examples, but provide useful information for
developers working on different projects or in different contexts.

The developer tracks are complementary to ICFP itself (which is for
researchers). They are anchored by CUFP, the Haskell Symposium, and the
Erlang workshop.

Organizers
Kathleen Fisher AT&T Labs
Simon Peyton Jones Microsoft Research
Mike Sperber (co-chair) DeinProgramm
Don Stewart (co-chair) Galois

PROGRAM:

Note: The sessions of a given morning or afternoon are concurrent. The
markers (M1, M2, A1, A2, etc.) mark a particular session, and correspond
to the designations on the registration forms. Note that the talks M5
together constitute a session.

DAY 1 - 25 SEPTEMBER, 2008

MORNING SESSION

M1 (Tutorial): Practical Erlang Programming
Francesco Cesarini
Erlang Training and Consulting

M2 (Tutorial): A Gentle Introduction to Functional Information Visualization
Jefferson Heard
Renaissance Computing Institute, University of North Carolina

M3 (Tutorial): JavaScript: from basics to building custom frameworks
Sameer Sundresh and Erik Hinterbichler
University of Illinois Urbana-Champaign and Pattern Insight, Inc.

AFTERNOON SESSION

A1 (Tutorial): Erlang DBG and the Trace Biff
Tamas Nagy
Erlang Training and Consulting

A2 (Tutorial): Erlang QuickCheck Tutorial
Thomas Arts
IT University of Gothenburg and Quviq

A3 (Tutorial): Practical and Portable Programming in Scheme
Donovan Kolbly
TippingPoint Technologies

DAY 2 - 27 SEPTEMBER 2008

MORNING SESSION

M4 (Tutorial): Real World Haskell
Bryan O'Sullivan

M5 (Talks):
Ten one-liners: handling power series in Haskell
Doug McIlroy
Dartmouth

Incremental multi-level input processing with left-fold enumerator
Oleg Kiselyov

How we locate wild animals with a functional program
Ryan Newton
MIT

AFTERNOON SESSION

A4 (Tutorial): Using QuickCheck and HPC - Obtaining Quality Assurance
for Haskell Code
Andy Gill
Kansas University
Koen Claessen
Chalmers

A5 (Tutorial): Introduction to F#
Don Syme and Chris Smith
Microsoft Research
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

CfC: Workshop on Resource Analysis

2008-08-06T13:12:34Z

[ apologies for multiple copies -- HWL ]

CALL FOR CONTRIBUTIONS

Workshop on Resource Analysis
University of Hertfordshire, Hatfield, UK
9th September, 2008

SCOPE:

Static analyses for inferring bounds on the resource consumption of programs are
receiving increasing interest in several application areas. A resource can be heap
space, execution time or any other quantitative aspect of program execution.
Resource bounds can be used to certify that (embedded) system resources are not
exhausted, to guide reservation policies in Grid-like infrastructures, to enhance the
adaptivity of high-performance runtime-environments or simply represent a quality
seal for provably efficient algorithms. For inferring high-quality resource bounds,
approaches such as type-based inference, abstract interpretation or model checking
can be applied. This workshop strives to bring together researchers active in one or
more areas of resource analysis. This covers, but is not limited to the design,
foundations, verification, implementation, and application of resource analyses.

CONTRIBUTIONS:

Contributions are sought for in the form of (extended) abstracts, or full papers. No
formal proceedings will be produced, but the submitted material and the slides of the
presentations will be made available on the following web page:
http://www.embounded.org/pubs/workshops/080909-Hertfordshire/

Contributions shall be submitted as PDF files by email to:
Hans-Wolfgang Loidl (hwloidl A_T tcs.ifi.lmu.de).

ORGANISATION:

This will be a one-day informal workshop with presentations, demos and discussion
sessions, covering various aspects of resource analysis. The workshop is planned to
start at about 10:30am and last to about 5pm. Registration is done jointly with
IFL08 via the following web page
http://events.sac-home.org/ifl2008

Payment for accommodation and a small registration fee can be made either when
co-registering for IFL08 or directly on-site (cash only).

ORGANISERS:

This workshop is organised by the members of the EmBounded project. For direct
requests please contact Hans-Wolfgang Loidl (hwloidl A_T tcs.ifi.lmu.de).

DATES:

Co-registration with IFL08: 25th August, 2008
Submission of presentations: 1st September, 2008
Workshop: 9th September, 2008

LINKS:

IFL08: http://events.sac-home.org/ifl2008
EmBounded: http://www.embounded.org/

Cheers,
--
Hans-Wolfgang Loidl

Tel: +4989 21809864 Fax: +4989 21809338 E-Mail: hwloidl@...

Ludwig-Maximilians-Universität München,
Institut für Informatik (Theoretische Informatik)
Oettingenstraße 67
D 80538 München, Germany

_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

signature.asc (196 bytes) Download Attachment

Lectureship in Functional Programming, Nottingham

2008-08-05T04:17:04Z

Dear all,

We are currently seeking a new Lecturer (Assistant Professor) in
the Functional Programming Lab in Nottingham, a recently formed
research group that comprises Thorsten Altenkirch, Graham Hutton,
Henrik Nilsson, four research fellows, and eleven PhD students.

The closing date for applications is

*** Friday 15th August 2008 ***

Best wishes,

Graham

+-----------------------------------------------------------------+

UNIVERSITY OF NOTTINGHAM

School of Computer Science

Lectureship in Functional Programming

Applications are invited for the above post in the School of Computer
Science. The successful candidate will be expected to participate in
the School's teaching activities and contribute to research in the
recently formed Functional Programming Laboratory.

Candidates must hold a PhD or equivalent in a relevant subject, have
an excellent publication record and the ability to teach at undergraduate
and postgraduate level. It is desirable that candidates have a track
record of external research funding, collaboration across disciplines,
experience of different types of assessment and higher education quality
assurance. They should also have the ability to play a role in the
routine running of the School of Computer Science.

The Functional Programming Laboratory covers a broad range of topics
in the theory, practice, and implementation of functional programming
languages. Current interests include type theory, language design,
program semantics, program verification, modelling and simulation,
category theory, programming tools, and quantum programming.
Applications are welcome from any area that complements existing
research strengths in the laboratory.

Informal enquiries may be addressed to Dr T Altenkirch, tel: 0115 846
6516, Email: Thorsten.Altenkirch@... or Dr G Hutton, tel:
0115 951 4220, Email: Graham.M.Hutton@....

School of Computer Science : http://nottingham.ac.uk/cs
Functional programming lab : http://sneezy.cs.nott.ac.uk/joomla/
How to apply : http://jobs.nottingham.ac.uk/CJ24461S
Closing date : 15th August 2008

+-----------------------------------------------------------------+
| Dr Graham Hutton Email : gmh@... |
| Functional Programming Lab |
| School of Computer Science Web : www.cs.nott.ac.uk/~gmh |
| University of Nottingham |
| Jubilee Campus, Wollaton Road Phone : +44 (0)115 951 4220 |
| Nottingham NG8 1BB, UK |
+-----------------------------------------------------------------+

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.

_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

ICFP08 Call for Participation

2008-08-04T14:44:26Z

=====================================================================
Call for Participation

The 13th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2008)

http://www.icfpconference.org/icfp2008

Victoria, BC, Canada, 22-24 September 2008
=====================================================================

ICFP 2008 provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.

Preliminary program:
* http://www.icfpconference.org/icfp2008/schedule.html
* Invited speakers:
+ Butler Lampson, Microsoft Research;
Lazy and Speculative Execution in Computer Systems
+ Olivier Danvy, University of Aarhus;
Defunctionalized Interpreters for Higher-Order Languages
+ Mark Jones, Portland State University;
Polymorphism and Page Tables -- Systems Programming From a
Functional Programmer's Perspective

Schedule including related workshops:
* Sep 20: ACM SIGPLAN Workshop on Generic Programming
* Sep 20: ACM SIGPLAN Workshop on Mechanizing Metatheory
* Sep 20: ACM SIGPLAN Workshop on Scheme and Functional Programming
* Sep 21: ACM SIGPLAN Workshop on ML
* Sep 21: ACM SIGPLAN Functional and Declarative Programming in Education
* Sep 22-24: ICFP08
* Sep 25: ACM SIGPLAN Haskell Symposium
* Sep 25: Functional Programming Developer Tracks
* Sep 26: Commercial Users of Functional Programming
* Sep 27: ACM SIGPLAN Erlang Workshop
* Sep 27: Functional Programming Developer Tracks

Registration information:
* http://www.regmaster.com/conf/icfp2008.html
* Early registration deadline: August 20, 2008

Conference hotel accommodation information:
* http://www.deltahotels.com/groups/online/VIC/acm.php
* Conference rate deadline: August 18, 2008
* Wiki page to coordinate room-sharing:
http://www.icfpconference.org/pmwiki/pmwiki.php?n=Main.ICFP08RoomShare

Conference organizers:
* General Chair: James Hook (Portland State University)
* Program Chair: Peter Thiemann (Universität Freiburg)
* Local Arrangements Chair: George Tzanetakis (University of Victoria)
* Workshop Co-Chairs: Michael Sperber (DeinProgramm)
and Graham Hutton (University of Nottingham)
* Programming Contest Co-Chairs: John Reppy (University of Chicago)
and Tim Sheard (Portland State University)
* Publicity Chair: Matthew Fluet (Toyota Technological Institute at Chicago)

_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

Deadline Extension - Models@Runtime

2008-08-02T14:46:43Z

Please note the deadline extension of August 15th.

------------------------ CALL FOR PAPERS ------------------------

WORKSHOP Models@...

http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT

At the ACM/IEEE 11th International Conference on Model Driven Engineering
Languages and Systems
MODELS'08, 28 September - 3 October, Toulouse, France

**********************************************************************

Important Dates:

Submission deadline:
Friday August 15th

Notification of acceptance:
September 8th (or before early registration deadline at MODELS08)

Workshop at MODELS:
Tuesday 30th September

Program Committee

Betty Cheng, Michigan State University, USA
Fabio M. Costa, Federal University of Goias, Brazil
Anthony Finkelstein, UCL, UK
Jeff Gray, UAB, USA
Oystein Haugen, SINTEF, Norway
Jozef Hooman, ESI, The Netherlands
Gang Huang, Peking University, China
Paola Inverardi, University of L'Aquila
P.F.Linington, University of Kent, UK
Jean-Marc Jezequel, Triskell Team,IRISA, France
Rui Silva Moreira, UFP, INESC Porto, Portugal
Andrey Nechypurenko, Siemens, Germany
Oscar Nierstrasz, University of Berne, Switzerland
Eugenio Scalise, UCV, Venezuela
Arnor Solberg, SINTEF, Norway
Thaís Vasconcelos Batista, UFRN, Brazil
Steffen Zschaler, T.U. Dresden, Germany

Organizing Committee

Nelly Bencomo (main contact),
Gordon Blair, Lancaster University, UK
Robert France, Colorado State University, USA
Freddy Munoz, INRIA, France (Submissions)
Cédric Jeanneret, University of Zurich, Switzerland (Publicity)

Goal

The goal of this workshop is to look at issues related to developing
appropriate model-driven approaches to monitoring and managing the
execution of systems. This is the first workshop to address this theme
and its treatment requires the bringing together of a variety of
communities including researchers working on model-driven software
development, software architectures, reflection (including for example
architectural reflection), and autonomic and self healing systems.

Discussions in the workshop will address questions such as: What should
a runtime model look like? How can the models be maintained at runtime?
What are the best approaches to follow when developing runtime models?

Workshop Format

The workshop participants will be selected based on their experience and
ideas related to this new and emerging field. You are invited to apply
for attendance by sending a full-paper (8-10 pages) or a short paper
(2-4 pages) in PDF or PS The paper must conform to the Springer LNCS
formatting guidelines: http://www.springer.com/computer/lncs (it is the
same format of the Conference, see conference website for more information).

Submissions will be reviewed by at least 3 PC members. The authors will
be notified about acceptance before the MoDELS 2008 early registration
deadline. Candidates for best papers can be just taken from the category
of full-papers. A primary deliverable of the workshop is a report that
clearly outlines (1) the research issues and challenges in terms of
specific research problems in the area, and (2) a synopsis of existing
model-based solutions that target some well-defined aspect of monitoring
and managing the execution of systems. Potential attendees are strongly
encouraged to submit position papers that clearly identify research
issues and challenges, present techniques that address well-defined
problems in the area, and are supported by small demos.

The first part of the workshop will focus on identifying the research
issues and challenges and framing an initial set of research questions.
The second part of the workshop will focus on discussing approaches for
tackling the problems; in particular, the integration of runtime models
with model-driven development approaches will be discussed.

The workshop aims to:

- Integrate and combine research ideas from the areas cited above.
- Provide a "state-of-the-research" assessment expressed in terms of
research issues, challenges, and accomplishments. This assessment can be
used to guide research in the area.
- Continue to build a network of researchers in this area, building on
the initial event help last year.
- Plan and promote further events on these topics.

We strongly encourage authors to address the following topics. Labelled
research topics with (*) are crucially important:

- What a runtime model looks like and how does it evolve? (*)
- How can runtime models be maintained? (*)
- How can runtime models be validated?
- What abstractions over runtime phenomena are useful?
- How are the abstractions tied to the types of adaptations supported? (*)
- How do these abstractions evolve over time? (*)
- Are new abstractions created during runtime? (*)
- How are the causal relationships with executing code realized? (*)
- What is the role of reflection in maintaining the causal connection
between models and run-time system?
- The relevance and suitability of different model-driven approaches to
monitoring and managing systems during runtime
- Examples of how models can be used to validate and verify the
behaviour of the system at runtime (*)
- Compatibility (or tension) between different model-driven approaches
- How do models at other phases of the software engineering lifecycle
relate to the corresponding run-time models?
- Small demos and tools that support the use of models@... (*)

Cédric Jeanneret
Department of Informatics, University of Zurich, Switzerland

_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

Re: Finalizer

2008-07-30T05:08:25Z

Shivkumar Chandrasekaran wrote:
>Is there a way (even ABC code) to call a finalizer for an object that is about to be garbage collected in Clean?

The function make_finalizer defined in the module below creates an object in
the heap containing the address of a c function and an argument for this
function. If the object becomes garbage during a garbage collection,
the c function will be called with this argument at the end of the garbage
collection. This c function cannot call back to Clean.

Kind regards,

John van Groningen

definition module finalizer;

make_finalizer :: !Int /*address of c function*/ !Int /*argument of c function*/ -> Finalizer;

:: Finalizer = {finalizer_implementation::!FinalizerT};

:: FinalizerT;

implementation module finalizer;

:: Finalizer = {finalizer_implementation::!FinalizerT};

:: FinalizerT = DummyFinalizer !Int !Int !Int;

make_finalizer :: !Int !Int -> Finalizer;
make_finalizer f v
# (finalizer,_) = make_finalizer_c f v;
= {finalizer_implementation=finalizer};

make_finalizer_c :: !Int !Int -> (!FinalizerT,!Int);
make_finalizer_c f v = code {
push_finalizers
push_a_b 0
pop_a 1
build_r e__system_kFinalizer 0 3 0 0
pop_b 3
set_finalizers
pushI 0
};
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

Re: Status of Famke

2008-07-30T04:29:05Z

Kirill Zaborski wrote:
>I've found a paper "Towards a Strongly Typed Functional Operating
>System" written by Arjen van Weelden and Rinus Plasmeijer. It' quite
>interesting but I can't find any other references.
>Is the source code somewhere available?

Probably in the Libraries\Hilde directory of the binary release
of Clean for Windows or in the source zip/tar.

Kind regards,

John van Groningen
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

Finalizer

2008-07-29T15:26:10Z

Is there a way (even ABC code) to call a finalizer for an object that
is about to be garbage collected in Clean? This would simplify
interfacing Clean to some C libraries that allocate memory on their
side. Thanks,

--shiv--

_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

VMCAI 2009: Submission is open

2008-07-29T04:29:57Z

Submission for VMCAI 2009 is now open. Please submit online via the
conference website:

http://cs.uni-muenster.de/vmcai09

For your convenience, the Call for Papers is included below.

We apologize for multiple copies of this message.

Best regards,

Neil Jones & Markus Müller-Olm
VMCAI 2009 PC co-chairs

===============================================================================

------------------- CALL FOR PAPERS -------------------

VMCAI 2009

The Tenth International Conference on
Verification, Model Checking, and Abstract Interpretation

Savannah, GA, USA, January 18-20, 2009

Conference website: http://cs.uni-muenster.de/vmcai09

===============================================================================

VMCAI provides a forum for researchers from the communities of
Verification, Model Checking, and Abstract Interpretation,
facilitating interaction, cross-fertilization, and advancement of
hybrid methods. VMCAI'09 is co-located with the POPL'09 conference.

The program of VMCAI'09 will consist of invited lectures, tutorials,
refereed research papers, and tool demonstrations. Research
contributions can report new results as well as experimental
evaluations and comparisons of existing techniques. Topics include,
but are not limited to:

program verification program certification
model checking debugging techniques
abstract interpretation abstract domains
static analysis type systems
deductive methods optimization

Submissions can address any programming paradigm, including concurrent,
constraint, functional, imperative, logic and object-oriented programming.
Papers must describe original work, be written and presented in English, and
must not substantially overlap with papers that have been published or that
are simultaneously submitted to a journal or a conference with refereed
proceedings. The proceedings will be published by Springer in
the Lecture Notes in Computer Science series.

The page limit for submissions is 15 pages in Springer's LNCS format.
Additional material may be placed in an appendix, to be read at the discretion
of the reviewers. Formatting style files and further guidelines for
formatting can be found at:

http://www.springer.de/comp/lncs/authors.html

Please visit the conference website for more information.

Invited Speakers:

Allen Emerson, co-recipient of 2008 Turing Award (Univ. of Texas):
Model Checking: Progress and Problems

Aarti Gupta (NEC Labs, Princeton):
Model Checking Concurrent Multi-Threaded Programs

Mooly Sagiv (Tel-Aviv University):
Thread Modular Shape Analysis

Invited Tutorials:

Byron Cook (Microsoft Research, Cambridge):
Proving Program Termination and Liveness

Veronique Cortier (LORIA, CNRS, Nancy):
Verification of Security Protocols

Important Dates:

Submission Deadline: Friday, August 22, 2008
Notification of Acceptance: Friday, October 6, 2008
Final Version Due: Friday, October 31, 2008
Conference: January 18-20, 2009

Program Chairs:

Neil Jones, University of Copenhagen, Denmark
Markus Müller-Olm, Universität Münster, Germany

Program Committee:

Christel Baier, Technische Universität Dresden, Germany
Ahmed Bouajjani, Université Paris 7, France
Michael Codish, Ben-Gurion University of the Negev, Israel
Patrick Cousot, École Normale Supérieure, Paris, France
Javier Esparza, Technische Universität München, Germany
Klaus Havelund, NASA JPL, USA
Michael Huth, Imperial College London, Great-Britain
Bengt Jonsson, Uppsala Universitet, Sweden
Sorin Lerner, University of California, San Diego, USA
Francesco Logozzo, Microsoft Research, Redmond, USA
Pete Manolios, Northeastern University, Boston, USA
Amir Pnueli, New York University, USA
C. R. Ramakrishnan, SUNY at Stony Brook, NY, USA
Andrey Rybalchenko, MPI, Saarbrücken, Germany
Helmut Seidl, Technische Universität München, Germany
Henny Sipma, Stanford University, USA
Carolyn Talcott, SRI International, Menlo Park, CA, USA
Greta Yorsh, Tel Aviv University, Israel

Steering Committee:

Tino Cortesi, Universita' Ca' Foscari, Venice, Italy
Patrick Cousot, École Normale Supérieure, France
E. Allen Emerson, University of Texas at Austin, USA
Giorgio Levi, University of Pisa, Italy
Andreas Podelski, Universität Freiburg, Germany
Thomas W. Reps, University of Wisconsin at Madison, USA
David Schmidt, Kansas State University, USA
Lenore Zuck, University of Illinois at Chicago, USA

Sponsors:

Association for Computing Machinery (ACM)
European Association for Programming Languages and Systems (EAPLS)
Microsoft Research

_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

Status of Famke

2008-07-29T01:38:48Z

I've found a paper "Towards a Strongly Typed Functional Operating
System" written by Arjen van Weelden and Rinus Plasmeijer. It' quite
interesting but I can't find any other references.
Is the source code somewhere available?
Or it was an internal experiment not open to the public?
Maybe there were some other projects based on Famke?
Thanks in advance.

Best regards,
Kirill.
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

CFP: CICLOPS 2008

2008-07-25T08:56:30Z

[Apologies for cross and multiple postings]

==============================================================================
C A L L F O R P A P E R S
==============================================================================

CICLOPS 2008

Colloquium on Implementation
of Constraint and LOgic Programming Systems

(URL: http://www.clip.dia.fi.upm.es/Conferences/CICLOPS-2008/)

to be held in Udine (Italy) at the occasion of ICLP'08

December, 2008

Important dates and other relevant information
----------------------------------------------

* Abstract submission: September 1
* Paper submission: September 8
* Notification of acceptance: October 1
* Final version due: October 17
* Workshop dates: TBD

Submission will be done through EasyChair using the URL
http://www.easychair.org/conferences/?conf=ciclops08 .

Topics of interest
------------------

This workshop aims at discussing and exchanging experience on the
design, implementation, and optimization of logic, constraint (logic)
programming systems, and systems intimately related to logic as a
means to express computations. Experience backed up by real
implementations and their evaluation will be given preference, as well
as descriptions of work in progress in that direction.

Topics include, but are not limited to:

* Standard and alternative sequential implementation schemes (e.g.,
generalization / modification of the WAM, translation to
lower-level and/or general-purpose languages, etc.)

* Implementation of parallel and concurrent logic and constraint
programming systems.

* Compile-time analysis and its application to code generation.

* Interaction between high-level optimizations / transformations /
specialization and low-level issues.

* Memory management, indexing, and garbage collection issues.

* Balance between compile-time effort and run-time machinery.

* Implementation techniques for declarative programming paradigms
with basis on, or extending, logic and constraint programming,
such as non-monotonic reasoning, inductive logic programming,
co-inductive logic programming, contextual logic programming, etc.

* Implementation of systems closely related to, or based on, logic,
such as theorem provers and natural language processing systems.

* Automatic performance evaluation of logic and constraint
programming systems.

* User-oriented tools for performance evaluation and enhancement.

* Software design with / for LP/CP systems: components, code
patterns and rules, etc.

* Design and implementation of programming environments.

* Experiences from using systems in real-life applications.

Workshop Goals
--------------

Our intent is to bring together, in an informal setting, people
involved in research on sequential and parallel implementation
technologies for logic and constraint programming languages and
systems, in order to promote the exchange of ideas and feedback on
recent developments. We hope that the workshop will provide a meeting
point for people working on implementation technology for different
aspects of logic and constraint-based languages and systems.

Rationale and History
---------------------

Progress in computing technology, including the now readily available
multicore processors, increased memory capacity and bandwidth, faster
networking technology, and O.S. support for cluster computing,
combined with recent advances in compilation technologies and the
wider adoption of alternative constraint/logic-based programming
languages, are making high-level languages to be regarded as good
candidates for programming complex, demanding applications. A witness
of this very interesting trend is the interest of Intel with their
sponsorship of the DAMP series of workshops. Logic Programming and
Constraint Programming, in particular, offer one of the best
alternatives, as they couple a very high level of abstraction and a
declarative nature with flexibility its execution model, which can be
adapted to different scenarios.

An orthogonal but synergistic issue in the pursue of high-performance
and high-level languages comes from advances in implementation
techniques for logic and constraint languages. These techniques aim at
achieving both design flexibility and good performance in terms of
speed and memory consumption, thus making those languages and systems
more amenable than ever for real world applications. Maintaining
flexibility without unnecessarily sacrificing performance, and while
retaining a high level which relieves the programmer from burdening
tasks, requires sophisticated technology whose exploration and
development is one the aims of this workshop.

This workshop continues a tradition of successful workshops on
Implementations of Logic Programming Systems, previously held with in
Budapest (1993) and Ithaca (1994), the Compulog Net workshops on
Parallelism and Implementation Technologies held in Madrid (1993 and
1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and
Implementation Technology for (Constraint) Logic Programming Languages
held in Port Jefferson (1997), Manchester (1998), Las Cruces (1999),
and London (2000), and more recently the Colloquium on Implementation
of Constraint and LOgic Programming Systems in Paphos (Cyprus, 2001),
Copenhagen (2002), Mumbai (2003), Saint Malo (France, 2004), Sitges
(Spain, 2005), Seattle (U.S.A., 2006) and Porto (Portugal, 2007).

Submission Information
----------------------

Authors are invited to submit papers written in English and not
exceeding 12 pages and using LNCS format. Authors who wish to prepare
papers in formats other than LaTeX are kindly requested to contact the
organization beforehand in order to make sure that we have available
the right tools to process the files (if needed), or in order to
receive detailed format instructions otherwise.

Organization
------------

Program Committee:

* Slim Abdennadher (Egypt)
* Roberto Bagnara (Italy)
* Amadeo Casas (U.S.A.)
* Henning Christiansen (Denmark)
* Gregory Duck (Australia)
* Hai-Feng Guo (U.S.A.)
* Remy Haemmerle (Spain)
* José F. Morales (Spain)
* Ulrich Neumerkel (Austria)
* Phuong-Lan Nguyen (France)
* Ricardo Rocha (Portugal)
* Tom Schrijvers (Belgium)
* Paul Tarau (U.S.A.)
* Jan Wielemaker (The Netherlands)
* Manuel Carro (Spain)
* Bart Demoen (Belgium)

Workshop Coordinators:

Manuel Carro Bart Demoen
http://clip.dia.fi.upm.es/~mcarro http://www.cs.kuleuven.be/~bmd/
Phone: +34-91-3367455 Phone: +32 (0)16 327547

Please address any question regarding the workshop organization to the
address ciclops-org =at= clip.dia.fi.upm.es

Invited Speaker:

TBD

Proceedings
-----------

We plan for the informal workshop proceedings to be available on-line
at the Computing Research Repository after the workshop. An electronic
copy will also be distributed during the conference.

Acknowledgments and Support
---------------------------

The organizers wish to thank the School of Computer Science of the
UPM, the Computer Science Department of KU Leuven for their support,
and the CLIP Lab of the UPM for the hosting and facilities provided.

_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

CC 2009: abstracts due Oct 2

2008-07-24T08:44:34Z

>>> abstracts - Oct 2, full papers - Oct 9 <<<

CC 2009
International Conference on Compiler Construction
March 22-29, York, United Kingdom
Invited Speaker: Vivek Sarkar (Rice University, US)
Part of ETAPS 2009

http://www.cs.york.ac.uk/etaps09/Conf/conf.html#cc

CC is a premier forum for presenting research on compilers
in the broadest possible sense, including run-time techniques,
programming tools, domain-specific languages, novel language
constructs and so on. In recent years CC has seen a healthy
increase in the number of submissions, in line with its broad
outlook; its typical acceptance rate is 20-25%. CC is part of
ETAPS, and this year it is held in York (UK), March 22-29 2009.

The program committee would particularly welcome
submissions from

researchers in functional programming

on any topic relating to

compilation and analysis of Clean programs

Abstracts are due on October 2, and the deadline for
full paper submission is October 9.

Prospective authors are welcome to contact the program
chairs, Michael Schwartzbach (mis@...) and Oege de Moor
(oege@...) with any queries they might have.

_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

PhD Positions in Secure Software and Languages

2008-07-22T08:08:51Z

[Please forward this announcement to interested students]

Two PhD Positions
in
Secure Software and Languages

Department of Computer Science
Katholieke Universiteit Leuven, Belgium

Applications are invited for two PhD positions within the DistriNet
Research Group at the Katholieke Universiteit Leuven, Belgium.
The research will be conducted under the supervision of David Clarke.

* Research topics:

These positions are devoted to research on secure software and languages,
including, but not limited to:
* modelling highly adaptable trustworthy systems
* types and models for software families
* logic and type systems for security; ownership types; pluggable types
* programming languages for secure software

* Profile & skills

- Clear interest in and knowledge of the subject, based on education, work
or research experience
- Masters in Computer Science or Informatics
- Team player; capability to work in an international research team
- Proficiency in English and excellent communication skills, both oral
and written
- Prior knowledge in the areas of type systems, security, programming
languages and/or formal methods is an advantage.

* About DistriNet

The "Distributed systems and computer Networksâ" (DistriNet) research
group was founded in 1984 as part of the Department of Computer Science
at the K.U.Leuven. DistriNet's research focus and scope is twofold:
distributed softwareâ and secure software.
The group works on a wide range of topics including computer networks,
middleware, internet architectures, network and software security,
embedded systems and multi-agent systems. DistriNet's research is generally
application driven and often conducted in collaboration with industry
partners.

Currently DistriNet counts 60 members (8 professors, 12 post-docs and
45 junior researchers) and participates in about 30 national and
international research projects. The annual budget amounts to approximately
5MEuro. More information on projects and publications can be found on the
DistriNet web pages:

http://distrinet.cs.kuleuven.be/

* About Leuven

Lively Leuven is a picturesque and upbeat Flemish city, just 25km from
Brussels, and within 3 hours of major European centres such as Antwerp,
Amsterdam, London and Paris. Leuven is shaped by its healthy student
population - some 25,000 of them - more than a quarter of the town's
population.

* Further Information and Application Procedure

Requests for further information and other informal enquiries can be sent
to:
Dr. David Clarke
David.Clarke at cs.kuleuven.be

Those interested in the position are asked to send e-mail to the address
given above. Full Details of the application process are available upon
request, but an application will include:

1. A cover letter stating the applicant's interest in the project.

2. A full curriculum vitae, including an abstract of the applicant's
master's thesis and the name of their supervisor.

3. Letters of recommendation or references from at least two
scientific staff members. (Letters of recommendation should either
be included along with the application, or should arrive
separately promptly.)

4. A completed application for postgraduate study at the K.U.Leuven.

Applications and instructions are available at

http://www.kuleuven.be/phd/

Applications will be considered until the position is filled, but those
received on or before 15 August 2008 will have priority.

The PhD positions are for 4 years.
The start date is negotiable, 1 October 2008 at the earliest.
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

ICLP'08 CALL FOR POSTER SUBMISSIONS

2008-07-22T07:15:58Z

ICLP'08
Call for Posters Submissions

24th International Conference on Logic Programming
Udine, Italy, December 9th-13th, 2008
http://iclp08.dimi.uniud.it

DEADLINE: August 15th, 2008

Within the scope of the general call for papers for the upcoming 24th
International Conference on Logic Programming, we would like to draw your
attention on the opportunity to submit an extended abstract to the Posters
Track of the conference.

Posters are ideal for presenting work-in-progress, speculative, late-breaking
results or for introducing the audience to new research directions, projects,
and initiatives. Posters are intended to provide authors and participants with
the ability to connect with each other and to engage in discussions about the
work.

Posters will be allocated a separate session during the conference, composed of
a standing poster demonstration and a lightning talk presentation.

SUBMISSION:
-----------
Poster submissions are in the form of extended abstracts. They are expected to
be succinct and clear, presenting the key ideas, possibly in an informal and
widely understandable manner.

All submissions must be written in English.
Application papers must not exceed 5 pages in the Springer LNCS format

(see http://www.springeronline.com/lncs/)

The primary means of submission will be electronic, through the Easychair
submission system. The submission page is available at

http://www.easychair.org/conferences/?conf=ICLP08

REVIEW PROCESS:
---------------
All submissions will be peer-reviewed by an international panel. Accepted
extended abstracts will be allocated time for presentation during the
conference. At least one author of each accepted submission is expected to
register and participate in the event. Each accepted extended abstract will be
allocated 5 pages in the conference proceedings.

PUBLICATION
-----------
The proceedings of the conference will be published by Springer-Verlag in the
LNCS series.

IMPORTANT DATES
---------------
Abstract submission deadline August 15th (strict)
Notification of authors September 1st
Camera-ready copy due September 15th
Early-bird Registration TBA
Conference December 9-13, 2008

---
For further information: iclp08@...
http://iclp08.dimi.uniud.it
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

LPAR'08 workshops

2008-07-20T00:06:05Z

--------------------------------------
LPAR'08 Workshops - 22nd November 2008
--------------------------------------

preceding LPAR'08, the 15th International Conference on Logic for
Programming, Artificial Intelligence and Reasoning
November 23-27, 2008, Carnegie Mellon University, Doha, Qatar

http://www.qatar.cmu.edu/lpar08

-------------------------------------------------------------------------------
1. APS-4 - Analytic Proof Systems 4
Organizers: Matthias Baaz and Christian Fermueller
Submission deadline: October 18, 2008
Submission: 1-2 pages abstract
Web: http://www.logic.at/staff/chrisf/ws/LPAR-AS-4.html

2. ALICS - Applications of Logic in Computer Security
Organizer: Catherine Meadows
Submission deadline: October 18, 2008
Submission: 1-5 pages abstract
Web: http://chacs.nrl.navy.mil/projects/ALICS08/

3. IWIL - International Workshop on Implementations of Logic
Organizers: Boris Konev, Renate Schmidt, and Stephan Schulz
Submission deadline: September 21, 2008
Submission: 10 pages abstract
Web: http://www.csc.liv.ac.uk/~konev/iwil2008/

4. KEAPPA - Knowledge Exchange: Automated Provers and Proof Assistants
Organizers: Piotr Rudnickiand Geoff Sutcliffe
Submission deadline: October 18, 2008
Submission: 10 pages abstract
Web: http://www.cs.ualberta.ca/~piotr/KEAPPA08/
-------------------------------------------------------------------------------
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

WLPE'08 -- Call for Papers

2008-07-16T22:55:27Z

WLPE'08 -- Call for Papers

The 18th Workshop on Logic-based methods in Programming Environments

http://www.clip.dia.fi.upm.es/Conferences/WLPE08/

December 9th-13th 2008, Udine, Italy

(Satellite Workshop of ICLP 2008)

The 18th Workshop on Logic-based methods in Programming Environments
will take place in Udine (Italy), as a satellite workshop of ICLP
2008, the 24th 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 D.C., USA
(1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy
(1994), Portland, USA (1995), Leuven, Belgium (1997), Las Cruces, USA
(1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai,
India (2003), Saint Malo, France (2004), Sitges (Barcelona), Spain
(2005), Seattle, USA (2006) and Porto, Portugal (2007). More
information about the series of WLPE workshops can be found at
http://www.cs.usask.ca/projects/envlop/WLPE/

The workshop aims at providing an informal meeting for researchers
working on logic-based methods and tools which support program
development and analysis. This year, we plan to continue and
consolidate the shift in focus from environmental tools for logic
programming to logic-based environmental tools for programming in
general, so that this workshop can be possibly interesting for a wider
scientific community. In addition to papers describing more
conceptual and theoretical work, the call for papers will solicit
papers describing the implementation of, and the experience with, such
tools. Areas particularly relevant to the workshop include (but are
not limited to):

- 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

Authors who are interested in taking part in the workshop, but are
unsure if their work falls within its scope, are invited to contact
the organizers and will be given suitable advice.

Workshop Organizers
-------------------
Puri Arenas
Facultad de Informatica
Universidad Complutense de Madrid
28040-Madrid, Spain
Email: puri@...
Phone: +34 91 394 76 33
Fax: +34 91 336 50 18
http://www.clip.dia.fi.upm.es/puri

Damiano Zanardini
Facultad de Informatica
Universidad PolitÃ©cnica de Madrid
28660-Boadilla del Monte, Madrid, Spain
Email: damiano@...
Phone: +34 91 336 74 48
Fax: +34 91 394 75 29
http://www.clip.dia.fi.upm.es/damiano

Program Committee
-----------------

- Puri Arenas, Universidad Complutense de Madrid (ws co-chair)
- Michael Codish, Ben-Gurion University of the Negev
- Roberta Gori, Universita di Pisa
- Arnaud Gotlieb, IRISA/CNRS UMR 6074
- Patricia Hill, University of Leeds
- Jacob Howe, City University, London
- Sabina Rossi, Universita Ca' Foscari di Venezia
- Tom Schrijvers, K.U.Leuven
- Alexander Serebrenik, Technische Universiteit Eindhoven
- Wim Vanhoof, University of Namur
- German Vidal, Universidad Politecnica de Valencia
- Damiano Zanardini, Universidad Politecnica de Madrid,(ws co-chair)

Important Dates
---------------

Submission: September 15th, 2008 (23:59:59 Samoa time (GMT -11))
Notification: October 8th, 2008
Camera-ready: October 26th, 2008
Workshop: TBA (probably Dec 9th or Dec 13th, half-day)

Submission
----------

Papers should be submitted to

http://www.easychair.org/conferences/?conf=wlpe2008

The length of papers can range from 2 to 15 pages in LNCS style.
Informal proceedings will be distributed at the workshop. After the
workshop, proceedings will be available on-line in the Computing
Research Repository (CoRR).

In addition to papers describing conceptual and theoretical work,
papers describing the implementation of and the experience with tools
are welcome.

--
===========================================
Puri Arenas
Dpto. Sistemas Informaticos y Computacion
Facultad de Informatica
Universidad Complutense de Madrid
C/ Profesor Jose Garcia Santesmases s/n
28040 Madrid (Spain)
Tfno. 34 91 394 76 33
===========================================
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list

IJCAR in Australia, 1 month to go

2008-07-15T04:23:16Z

-------------------------------------------------------------------------------
IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning
Sydney, Australia, 10th - 15th August, 2008
http://2008.IJCAR.org

ONLY ONE MONTH TO GO ... DOWN UNDER

-------------------------------------------------------------------------------
Call for Participation
----------------------
IJCAR is the premier international joint conference on all aspects of automated
reasoning, including foundations, implementations, and applications. IJCAR 2008
is the 4th International Joint Conference on Automated Reasoning, and is a
merger of the following leading conferences and workshops:
+ CADE (Conference on Automated Deduction),
+ FroCoS (Symposium on Frontiers of Combining Systems),
+ FTP (Workshop on First-order Theorem Proving)
+ TABLEAUX (Conference on Analytic Tableaux and Related Methods)

Registration, accomodation, and travel/visa information is on the IJCAR 2008
web pages. ----- Book your flight to Sydney today! -----
-------------------------------------------------------------------------------
Scientific Program
------------------
+ Presentation of 4 invited talks
- Hubert Comon-Lundh, Nachum Dershowitz, Aarti Gupta, Carsten Lutz
+ Presentation of 26 regular research papers
+ Presentation of 13 system descriptions
+ Presentation of the Herbrand Award to Prof. Edmund Clarke, CMU.
+ Four workshops, four tutorials, the CADE ATP System Competition (CASC-J4)
-------------------------------------------------------------------------------
Social Events
-------------
+ Welcome reception at the conference hotel.
+ Excursion to the amazing Blue Mountains
+ Conference banquet
+ CASQ-J4 - the CADE Squash Competition
-------------------------------------------------------------------------------
Contact: Peter Baumgartner (conference chair) Peter.Baumgartner@...
-------------------------------------------------------------------------------
_______________________________________________
clean-list mailing list
clean-list@...
http://mailman.science.ru.nl/mailman/listinfo/clean-list