Ciao-users March 2008

ciao-users@cliplab.org

8 participants
8 discussions

PPDP'08: Last Call for Papers
by Elvira Albert 31 Mar '08

31 Mar '08

This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --1686784523-1593107903-1206952564=:4950 Content-Type: TEXT/PLAIN; CHARSET=ISO-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE Content-ID: <Pine.LNX.4.64.0803311036121.4950(a)clip.dia.fi.upm.es> =2E............................................................... ACM PPDP 2008 - Last Call For Papers 10th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Valencia, Spain, July 15-17, 2008 http://www.clip.dia.fi.upm.es/Conferences/PPDP08 =2E............................................................... IMPORTANT DATES Submission: April 10, 2008 Notification: May 15, 2008 Conference: July 15-17, 2008 SCOPE: PPDP 2008 is a forum for researchers and practitioners in the declarative programming communities. It solicits papers on all aspects of logic, constraint and functional programming, as well as on related paradigms such as visual programming, executable specification languages, database languages, AI and knowledge representation languages for the "semantic web". MAIN TOPICS: Logic, Constraint, and Functional Programming; Database, AI and Knowledge Representation Languages; Visual Programming; Executable Specification for Languages; Applications of Declarative Programming; Methodologies for Program Design and Development; Declarative Aspects of Object-Oriented Programming; Concurrent Extensions to Declarative Languages; Declarative Mobile Computing; Paradigm Integration; Proof Theoretic and Semantic Foundations; Type and Module Systems; Program Analysis and Verification; Program Transformation; Abstract Machines and Compilation; Programming Environments. PROCEEDINGS: The proceedings will be published by ACM Press RELATED EVENTS: PPDP 2008 will be co-located with the 15th International Static Analysis Symposium (SAS 2008) and the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008). SYMPOSIUM CHAIR: Elvira Albert, Complutense University of Madrid PROGRAM CHAIR: Sergio Antoy, Portland State University INVITED SPEAKER: Michael Leuschel, University of D=C3=BCsseldorf, Germany PROGRAM COMMITTEE: Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, USA Maribel Fernandez King's College London, UK Maurizio Gabbrielli University of Bologna, Italy Neil Ghani University of Nottingham, UK Masami Hagiya University of Tokyo, Japan Joxan Jaffar National University, Singapore Claude Kirchner INRIA Bordeaux, France Herbert Kuchen University of Muenster, Germany Michael Maher NICTA and University of New South Wales, Australia Dale Miller INRIA Saclay, France Eugenio Moggi University of Genova, Italy Kostis Sagonas Uppsala University, Sweden Carsten Schurmann, IT University of Copenhagen, Denmark Peter Sestoft IT University of Copenhagen, Denmark LOCAL CHAIR: Christophe Joubert SYMPOSIUM VENUE: The conference will be held at the Technical University of Valencia, Spain. --1686784523-1593107903-1206952564=:4950-- ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

PhD Positions at the Embedded System Unit of Fondazione Bruno Kessler
by Marco Bozzano 28 Mar '08

28 Mar '08

[[[ Apologies for multiple copies of this message ]]] Doctoral Student Positions Available Design and Verification of Embedded Software Embedded System Research Unit Fondazione Bruno Kessler (formerly part of IRST - Centro per la Ricerca Scientifica e Tecnologica) Trento, Italy Deadlines: May 31, 2008 The Embedded System Research Unit (http://es.fbk.eu) of the Bruno Kessler Foundation, Trento, Italy, is seeking several candidates for Ph.D positions. The Ph.D. studies will be held at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy. The research activity will be carried out within the Embedded Systems Unit of the Center for Scientific and Technological Research of the Fondazione Bruno Kessler. The research activity will aim at techniques, methodologies and support tools for the design and verification of embedded systems. In particular, possible topics will include: - Embedded Software Design and Verification - Formal Requirements Analysis - Design and Verification of Hybrid and Timed systems The selected candidates will be initially enrolled in a stage and, if they pass the selection of the Ph.D. school, they will be enrolled as Ph.D. students. Ph.D. courses will start in Autumn 2008, and the thesis must be completed in three or four years. People enrolled in a stage and subsequent Ph.D. courses are expected to move to Trento, and will receive monetary support during both phases of their activity. Candidate Profile ================= The ideal candidate should have an MS or equivalent degree in computer science, mathematics or electronic engineering, and combine solid theoretical background and software development skills. The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. Background knowledge and/or previous experience in the following areas, though not mandatory, will be considered favorably: - Symbolic Model Checking, - Propositional Satisfiability, - Satisfiability Modulo Theory, - Constraint Solving and Optimization, - Formal Requirements Analysis, - Software Verification, - Software Synthesis, - Embedded System Design Languages (e.g. Verilog, VHDL, System C, and System Verilog), - Safety Analysis (FTA, FMEA). Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to <jobs[at]fbk[dot]eu>. Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have 'RIF: ES/phd' as subject. The Embedded System Research Unit ================================= The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, Ph.D. students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink) * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis) * Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. The unit develops and maintains several tools: * the NuSMV symbolic model checker (http://nusmv.fbk.eu) * the MathSAT SMT solver (http://mathsat.fbk.eu) * the Formal Safety Analysis Platform FSAP (http://fsap.fbk.eu) * the Requirements Analysis Tool RAT (http://rat.fbk.eu) The unit is currently involved in several research projects, funded by the European Union (FP VI and FP VII), the European Space Agency, the European Railway Agency, as well as in industrial technology transfer projects. The projects aim at applying research results to key application domains such as space, avionics, railways, hardware design and mobile embedded applications. The Embedded Systems Unit is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura, a public research institute of the Autonomous Province of Trento (Italy), founded in 1976. The institute, through its center for the scientific and technological research, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. Location ======== Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. Contact Person ============== * Alessandro Cimatti mailto: <cimatti[at]fbk[dot]eu> http://es.fbk.eu/people/cimatti ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic
by announce＠krlab.cs.ttu.edu 11 Mar '08

11 Mar '08

3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic Sponsored by CRA-W, CDC, ALP, Compulog Americas, NMSU http://www.cs.nmsu.edu/~ipivkina/compulog.htm ------ New Mexico State University Las Cruces, NM, USA July 24-27, 2008 The third international summer school in Logic Programming and Computation Logic will be held on the campus of New Mexico State University in beautiful Las Cruces, New Mexico. The summer school is intended for graduate students, post-doctoral students, young researchers, and programmers interested in constraints, logic programming, computational logic and their applications. The lectures will be given by internationally renowned researchers who have made significant contributions to the advancement of these disciplines. The summer school is a good opportunity for quickly acquiring background knowledge on important areas of computational logic. The summer school is especially directed to Ph.D. students who are just about to start research. Exceptional undergraduate students in their senior year are also encouraged to attend. The summer school will consist of six 1/2 day tutorials on the following topics: * Theoretical Foundations of Logic Programming [Miroslaw Truszczynski, U. of Kentucky] * Answer Set Programming [Torsten Schaub, U. of Potsdam] * Implementation and Execution Models for Logic Programming [Manuel Hermenegildo, Polytechnic Univ. of Madrid] * Logic Programming and Multi-agent Systems [Francesca Toni, Imperial College] * Foundations of Constraint and Constraint Logic Programming [TBA] * Foundations of Semantic Web and Computational Logic [Sheila McIlraith, University of Toronto] Registration ------------ Due to the limit on the number of slots available, we invite interested student to submit an application for admission to the summer school composed of the following items: 1. a one page statement of interest, explaining your research background and what you expect to gain from the summer school 2. a short (2-page) vitae Applications should be submitted in electronic form to: epontell(a)cs.nmsu.edu and ipivkina(a)cs.nmsu.edu All submissions will be acknowledged with an email. If you do not receive acknowledgement within 3 working days, please email Enrico Pontelli (epontell(a)cs.nmsu.edu). Student grants -------------- The school is free of charge for all admitted applicants. We will also provide lunches to all participants for the duration of the summer school. Several different types of grants will be available to offset partially or totally the travel and lodging costs. IMPORTANT: Thanks to the joint support of the Computing Research Association Committee on the Status of Women in Computing Research and the Coalition to Diversify Computing, we have *several full scholarships* (i.e., travel and lodging) for *women* applicants. Partial grants covering lodging and meals will be provided to other selected participants who requests them. Students who wish to request a grant should contact via email Enrico Pontelli (epontell(a)cs.nmsu.edu) motivating the request. Lodging ------- Lodging will be available at local hotels; we will also provide a number of affordable accomodations on the NMSU campus. Important dates --------------- * Requests for student grants: April 15, 2008; * Application for Admission: April 25, 2008; * Notification of Admission and grants: May 1st, 2008; * Summer School: July 24-27, 2008 Organizers ---------- * Enrico Pontelli, New Mexico State University, USA * Inna Pivkina, New Mexico State University, USA * Karen Villaverde, New Mexico State University, USA * Son Cao Tran, New Mexico State University, USA ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Re: Reading a term from a list of codes
by ciao＠clip.dia.fi.upm.es 11 Mar '08

11 Mar '08

Hi Amoss, yes, it is in the "atom2term" library: > Ciao 1.13.0-9437: Sun Mar 2 20:25:48 CET 2008 > ?- use_module(library(atom2term)). > > yes > ?- atom_codes(_A,"f(g(a))"), atom2term(_A,Term). > > Term = f(g(a)) ? > > yes > ?- The implementation (as stated in the manual --see the documentation for the atom2term module listing) is partial (e.g., no ops, etc.) but should be fine for most uses. If the full functionality is needed it is better to call the reader (through a file or socket). We do have plans to eventually make it possible for the reader to read directly from a string. Manuel H -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | University of New Mexico http://www.cliplab.org / http://www.ciaohome.org ----------------------------------------------------------------------------- ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

LaSh08 Call for Papers
by Marc Denecker 07 Mar '08

07 Mar '08

LaSh08 - WORKSHOP ON LOGIC AND SEARCH Computation of structures from declarative descriptions Call For Papers Leuven, Belgium, November 6-7, 2008 http://www.cs.kuleuven.be/~dtai/LaSh08 ................................................................ IMPORTANT DATES: Submission: August 15, 2008 Notification: September 15, 2008 Workshop: November 6-7, 2008 SCOPE: In many real-life problems, we search for objects of complex nature -- plans, schedules, assignments. Such objects are often represented as (finite) structures, which are implicitly specified by means of theories in some logic. Thus, languages are needed to describe structures, and algorithms to extract them from these implicit descriptions. Propositional Satisfiability (SAT), Constraint Programming (CP), and Answer Set Programming (ASP) are arguably the three most prominent areas that develop such languages and techniques. Each of these areas has been proposed as a declarative programming approach to solving NP-complete combinatorial problems. Such problems abound in computer science, engineering, operations research computational biology and other fields. In many cases, progress is limited by the difficulty of designing implicit representations of structures (modeling), which hinders common acceptance of the aproach, and the inability to solve sufficiently large instances of the problems in practical time bounds (search algorithms). Therefore, these three areas have as a major goal the development of practical modeling languages and methodologies that support the modeling, and algorithms and tools for efficient problem solving. Despite the similar goals of these areas, in many respects SAT, ASP and CP develop as three independent disciplines, focusing on rather different particular problems or questions. There are few, if any, researchers who are experts in all three areas. To date, we are not aware of any meeting which specifically aims at bringing these three areas together. Objectives ========== LaSh08 aims to offer a discussion forum for research in SAT, ASP and CP that focuses on the computation of structures from declarative descriptions. We invite contributions on modeling languages, methodologies, theoretical analysis, techniques, algorithms and systems. The forum is an occasion to exchange ideas on the state-of-the-art; to discuss specific technical problems; to formulate challenges and opportunities ahead; to analyse differences and simularities between the different areas; to study opportunities for synergy and integration. In particular, we would like to foster exchange at least on the following topics: -- integrations of SAT, ASP and/or CP technologies -- comparisons of modeling languages -- criteria for choice of modeling languages (for modeling convenience or efficiency) -- new algorithm directions -- efficient modeling strategies -- new applications -- complexity results, tractable subsets -- completeness results (e.g. capturing complexity classes) -- methods for taking advantage of tractability results -- solver implementation techniques, -- algorithms for grounding -- modeling languages and constructs (aggregates, global constraints,..) -- search control and heuristics in the context of model generation -- symmetry breaking in model construction -- optimisation problems in model construction: -- languages for optimality criteria; -- algorithms for computing optimal models Systems and Tools: =================== LaSh08 will also provide an opportunity for presentation of implemented systems and tools at a demo session. Thus, we invite submissions of systems and tools that reflect the above ideas, and aim at facilitating declarative problem solving, and making it practical and used. Workshop format: ================ The workshops objective is to create an informal, stimulating atmosphere for exchange of ideas. We invite also reports of work in progress. There will be informal proceedings. Organizing Committee ==================== * Enrico Giunchiglia, University of Genova * Victor Marek, University of Kentucky * David Mitchell, Simon Fraser University * Eugenia Ternovska Simon Fraser University * Mirek Truzczynski, University of Kentucky * Marc Denecker, K.U.Leuven Program Committee ================= * Peter Baumgartner, The Australian National University * Francesco Calimeri, University of Calabria * Thomas Eiter, Vienna University of Technology * Wolfgang Faber, University of Calabria * Pierre Flener, Uppsala University * Alan Frisch, University of York * Enrico Giunchiglia, University of Genova * Daniel LeBerre, Universite d'Artois * Fangzen Lin, Hong kong University of Science and Technology * Ines Lynce, Universidade Tecnica de Lisboa * Tony Mancini, Sapienza Universita di Roma * Victor Marek, University of Kentucky * David Mitchell, Simon Fraser University * Pierre Marquis, Universite d'Artois * Ilkka Niemela, Helsinki University of Technology * Karem Sakallah, University of Michigan * Torsten Schaub, University of Potsdam * Barry O'Sullivan, University College Cork * Eugenia Ternovska Simon Fraser University * Mirek Truszcznski, University of Kentucky * Pascal Van Hentenryck, Brown University * Toby Walsh, University of New South Wales Local organisation ==================== * Marc Denecker, K.U.Leuven * Joost Vennekens, K.U.Leuven Location ========= The conference will take place in the Beguinage of Leuven, Belgium. Leuven is an old flemish town, hosting the oldest university of the lower countries. The Beguinage is a medieval city in the city, where the beguines lived together to form a religious community. The Beguinage is recognized as a Unesco World Heritage site. ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Call for CAV 08 Workshop Submissions
by Aarti Gupta 07 Mar '08

07 Mar '08

We apologize if you receive multiple copies of this email.=20 See below on how to unsubscribe.=20 ............................................................. Call for Submissions to Workshops =09 Affiliated with The 20th International Conference on Computer Aided Verification CAV 2008 http://www.princeton.edu/cav2008 ............................................................. Note: Not all workshops have open submissions. FAC '08: 2nd Workshop on Formal Verification of Analog Circuits --------------------------------------------------------------- *** Submission deadline: April 1st, 2008 *** http://www.em.informatik.uni-frankfurt.de/FAC08.html Organizers: Lars Hedrich and Oded Maler=20 While formal verification has become part of the design process of digital circuits, its application to analog and mixed-signal design is still in its infancy. This is mainly due to the fact that the mathematical models for such circuits are very different from the discrete, finite-state transition systems that underlie verification of digital systems. Such models are based on continuous dynamical systems governed by differential equations and their verification calls for different techniques, like those developed in the analysis of hybrid systems. This workshop intends to bring together practitioners in circuit design and in EDA tools together with researchers in verification of discrete and hybrid systems in order to understand the problems faced by designers of analog circuits and to see what support can be provided by existing and new verification techniques. AFM08: Automated Formal Methods ------------------------------- http://fm.csl.sri.com/AFM08/ Organizers: Bruno Dutertre, Sam Owre, John Rushby, N. Shankar, Ashish Tiwari AFM functions both as a user's meeting for the SRI tools PVS, SAL, and Yices, and as a general workshop for those interested in state-of-the-art automation for formal methods. The workshop will include short tutorials on effective use of PVS, SAL, and Yices, as well as contributed papers that report on applications, case studies, and experiments, as well as fresh ideas for enhancing the scale and range of automated formal methods. BPR 2008: 1st International Workshop on Bit-Precise Reasoning ------------------------------------------------------------- http://www.cs.ubc.ca/~babic/index_bpr.htm Organizers: Domagoj Babic, Amit Goel Bit-Precise Reasoning (BPR) is increasingly being used for the analysis of hardware and software systems. The aim of the workshop is to bring together researchers working on BPR with users of BPR. Relevant topics include, but are not limited to: applications of BPR and case studies, new decision procedures for bit-vector arithmetic, combinations with other theories, theoretical results, novel implementation techniques, as well as benchmarks and evaluation methodology. (EC)^2: Exploiting Concurrency Efficiently and Correctly -------------------------------------------------------- http://www.cs.utah.edu/ec2/ Rajeev Alur, Ganesh Gopalakrishnan, Vineet Kahlon, Stephen Siegel (EC)^2 will bring together formal methods researchers with experts in multicore architectures, programming languages, and concurrency libraries. The two day-workshop will feature six invited talks and the opportunity for participants to present position papers on issues such as transactional memory, programming constructs for concurrency, formalization of concurrency libraries, verification, and hardware support for correctness. See the workshop website for submission instructions and further details. HAV 2008: Heap Analysis and Verification ---------------------------------------- http://research.microsoft.com/~jjb/HAV2008/index.html Organizers: Josh Berdine, Mooly Sagiv The Heap Analysis and Verification (HAV) 2008 workshop aims to bring together researchers to exchange the latest, and develop new, ideas in all aspects of formal analysis and verification for heap-manipulating software. NSV 2008: First International Workshop on Numerical Abstractions for Software Verification ------------------------------------------------------------------------ ---- http://theory.stanford.edu/~srirams/nsv/index.html Organizers: Franjo Ivancic, Sriram Sankaranarayanan and Chao Wang This workshop will focus on various issues related to the handling of numerical operations in software verification. The workshop brings together eight invited speakers who will present various techniques for numerical reasoning in software, and their application to important software verification problems for embedded systems such as safety, termination, timing analysis and so on. SMT 2008: Sixth International Workshop on Satisfiability Modulo Theories ------------------------------------------------------------------------ http://research.microsoft.com/conferences/SMT08/ Organizers: Clark Barrett, Leonardo de Moura Determining the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be very useful in verification, compiler optimization, scheduling, and other areas. The aim of the SMT workshop is to bring together researchers working on SMT and users of SMT techniques. ..................................................................... We apologize if you receive multiple copies of this email. If you do not want any further announcements regarding CAV 2008, reply to this email and put 'UNSUBSCRIBE' in the body or subject of your reply. ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Reading a term from a list of codes
by Andrew Moss 07 Mar '08

07 Mar '08

Hello, Is there an easy way to convert a list of codes into an arbitrary term? atom_codes/2 and number_codes/2 both assume that the list of codes represents a specific type of data. Is there something that functions more like read_term but over an internal list of codes rather than an input stream? In SWI it can be achieved using: term_codes(Term,Codes) :- atom_codes(A,Codes), atom_to_term(A,Term). I couldn't find anything related in the Ciao Manual and was wondering how to go about writing: term_codes(Term,Codes) :- ... ? Amoss ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

2nd call for participation AFP 2008, The Netherlands
by Peter Achten 02 Mar '08

02 Mar '08

2ND CALL FOR PARTICIPATION 6TH INTERNATIONAL SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING 2008=20 (AFP =9208) RADBOUD UNIVERSITY NIJMEGEN AND UTRECHT UNIVERSITY, THE NETHERLANDS MAY 19-24, 2008 http://www.st.cs.ru.nl/AFP_TFP_2008/ [ EARLY REGISTRATION OPENS ] AFP is a series of international summer schools which aims to bring computer scientists, in particular young researchers and programmers, up to date with the latest advances in practical advanced functional programming. Functional programming emphasizes the evaluation of expressions rather than the execution of commands. We focus on functional programming techniques in =93programming in the real world=94 and bridge the gap between results presented at programming conferences and material from textbooks on functional programming. In this school you will receive in depth lectures about advanced functional programming techniques, taught by experts in the field. Lectures are accompanied by practical problems to be solved by the students at the school. AFP 2008 is hosted by the Radboud University Nijmegen, and Utrecht University, The Netherlands, and will be held in the rural setting of Center Parcs =93Het Heijderbos=94, Heijen (in the vicinity of Nijmegen), The Netherlands. AFP 2008 is co-located with the 9th Symposium on Trends in Functional Programming (TFP=9208), which is held after AFP=9208. PROGRAM INFORMATION The following speakers will give the lectures (in alphabetic order): Umut Acar (Toyota Technological Institute, University of Chicago, US) Richard Bird (University of Oxford, UK) Olivier Danvy (University of Aarhus, DK) Johan Jeuring (Utrecht University, NL) Mark Jones (Portland State University, US) Ulf Norell (Chalmers University, SE) Simon Peyton Jones (Microsoft Research, UK) Rinus Plasmeijer (Radboud University Nijmegen, NL) During the summer school, all participants receive printed lecture notes. Participants are expected to have a notebook, in order to be able to participate with the practical problems. After the summer school, all lecture notes will be revised, reviewed, and published in the LNCS series of Springer. All registered participants receive a copy of these lecture notes. VENUE INFORMATION AFP (and TFP) is held in The Netherlands, at Center Parcs =93Het Heijderbos=94 which is a holiday resort in the woodlands near the city of Nijmegen. We accomodate participants in DeLuxe Cottages, each of which has three separate bed-rooms, shared bathroom, toilet, kitchen, and terrace. Cottages will be shared by three participants. If you wish to reduce costs, you can choose to share a bedroom. The summer school and symposium will take place in the business center of the venue. Breakfast, lunch and diner is included within the limits of the venue. The resort features, amongst others, a sub-tropical swimming pool (free for participants), restaurants, shops, water sports lake, midget golf court, squash court, and outdoor and indoor tennis courts. Nijmegen is considered to be the oldest city of the Netherlands, being approximately 2000 years old. Nijmegen is located at the east border of the Netherlands, near Germany. Nijmegen can be reached easily from several airports such as Schiphol airport, Eindhoven airport, and D=FCsseldorf airport, as well as by train and car. Conveniently close to Center Parcs =93Het Heijderbos=94 you will find airport Weeze in Germany. The venue Center Parcs =93Het Heijderbos=94 can be reached from Nijmegen by train to Boxmeer (25 minutes). From there you will need to order a taxi. The venue can also be reached by car: parking is free for participants of AFP and TFP. SUMMER SCHOOL FEES AFP 2008 includes accommodation, conference, breakfast =96 lunch =96 diner, speakers, and proceedings costs. The early registration fee is =80 995; the late registration fee is =80 1095. Please note that if you require financial support, you can apply for a grant (see below). GRANT INFORMATION We have taken great care to reduce the registration cost as much as possible. We can grant a subsidy for a limited number of PhD student participants for whom the costs are still too high. In order to apply for this subsidy, you need to send (by surface mail or e-mail) a request for subsidy which contains your personal information, affiliation, a description of your current status, project description, a motivation why you should receive the grant, and a recommendation from your PhD supervisor. This letter should arrive before april 7 2008 to: Rinus Plasmeijer Radboud University Nijmegen Toernooiveld 1 6525ED Nijmegen rinus(a)cs.ru.nl You will receive a notification whether your request has been granted before april 14 2008. REGISTRATION INFORMATION Early registration opens at march 1 2008. Late registration opens at april 15 2008. Registration closes at may 5 2008. We can not guarantee accommodation in case you wish to register later than may 5 2008. IMPORTANT DATES (ALL 2008) Early Registration Opens: March 1 Early Registration Deadline: April 14 Late Registration Opens: April 15 Late Registration Deadline: May 5 AFP Summer School: May 19-24 ORGANIZATION Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud University Nijmegen, NL Doaitse Swierstra, Utrecht University, NL Arrangements: Peter Achten, Simone Meeuwsen, Radboud University Nijmegen, NL E-mail: afp_tfp_2008(a)cs.ru.nl ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users March 2008