Ciao-users February 2008

ciao-users@cliplab.org

9 participants
10 discussions

PhD Studentships at Kent
by A.M.King 18 Feb '08

18 Feb '08

Funding is available for the following five PhD studentships within the TCS group at the University of Kent. Applicants should contact the project supervisor directly for further details. Project Supervisor: Dr Eerke Boiten (E.A.Boiten(a)kent.ac.uk) Project Title: Reasoning about Scratch Cards Scratch cards are used widely in lotteries and games, and recently also in e-voting protocols. However, public confidence in e-voting is very low. This research project can make a difference by developing mathematical and logical abstractions of scratch cards that allow formal reasoning, and consequently watertight proofs of the security of protocols using them. This would be a great project if you are interested in practical symbolic reasoning; knowledge of security, cryptography, formal methods, probability, or logics would be a bonus. Project Supervisor: Dr Olaf Chitil (O.Chitil(a)kent.ac.uk) Project Title: Tracing Functional Programs with Hat Hat (www.haskell.org/hat) is a sophisticated tool for locating faults in Haskell programs. Hat consists of a trace generation system plus various tools for viewing a trace. The aim of the research project is to improve Hat by both extending it and easing its application in practise: (1) Apply several theoretical results of a recent EPSRC project on tracing in Hat (e.g. algorithmic debugging with functions as finite maps). (2) Integrate the trace generator of Hat into the byte code interpreter of the Glasgow Haskell system (GHC). (3) Enable traced code to call and be called from unmodified non-tracing code, such that Hat can use pre-compiled libraries of GHC. Project Title: The Essence of Transfinite Reductions Project Supervisor: Dr Stefan Kahrs (S.M.Kahrs(a)kent.ac.uk) Infinitary Rewriting is an area of Term Rewriting in which research has studied infinitary terms and infinitary reductions. While the notion of infinitary terms is fairly settled, the existing notions of infinitary reduction leave a lot to be desired - the definitions are suspiciously complicated, the established results less than impressive. Thus, there appears to be a lot of room for improvement. There are different angles that are worth exploring. Firstly, there are several alternative ways to define transfinite reductions. Secondly, one would hope that some of these alternative ways lead to good properties of transfinite reduction. Thirdly, it is not even a priori clear what would constitute such a good property. Project Title: Finding Security Bugs in x86 code Project Supervisor: Dr Andy King (A.M.King(a)kent.ac.uk) The project will investigate how security vulnerabilities can be automatically located in x86 code. Rather than trap a fault when it occurs as the program is running, the project will devise compile-time techniques for locating faults before the program is executed. The project will apply techniques from compiling, constraint solving and semantics, though the applicant need not have expertise in all these fields. Project Title: Refactoring Proofs Project Supervisor: Prof Simon Thompson (S.J.Thompson(a)kent.ac.uk) Refactoring allows the programmer to modify the design or structure of a program without changing its behaviour. Recent work in the Functional Programming group at Kent has developed refactoring systems for Haskell 98 (HaRe) and Erlang (Wrangler). Programming and proof have much in common, and indeed under the "propositions as types" analogy, they are different views of the same objects. The aim of this project is to explore how refactoring can be incorporated into proof development systems, and will combine theoretical work, implementation and usability analysis to ensure that the results will be of value to users of proof assistants. The aim of this project is to investigate refactoring for proofs. ============================================================================== 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

Symbolic Computation and Cryptography 2008 - Second Call for Papers
by scc08＠cc4cm.org 18 Feb '08

18 Feb '08

=================== [Apologies for multiple postings] =================== SCC 2008 First International Conference on Symbolic Computation and Cryptography http://www.cc4cm.org/scc2008 Beijing, China, April 28-30, 2008 SECOND CALL FOR PAPERS ************ Extended submission deadline: February 24, 2008 ************ SCC 2008 is the first of a new series of conferences where research and development in symbolic computation and cryptography may be presented and discussed. It is organized in response to the growing interest in applying and developing methods, techniques, and software tools of symbolic computation for cryptography. The use of lattice reduction algorithms in cryptology and the application of Groebner bases in the context of algebraic attacks are typical examples of explored applications. SCC 2008 aims at providing an interactive forum for interested researchers to exchange ideas and views, to present research results and progress, and to learn and discuss recent developments and emerging problems on - the design, modeling, and analysis of cryptographic systems and protocols for which symbolic computation may be used or needed, and - the design, implementation, and analysis of algorithms and software tools of symbolic computation that may have potential applications in cryptography. TOPICS Specific topics for SCC 2008 include, but are not limited to: - Multivariate cryptography, braid group cryptography, noncommutative cryptography, and quantum cryptography - Code-based, factorization-based, and lattice-based cryptography - Algebraic attacks for block ciphers, stream ciphers, and hash functions - Design and analysis of algebraic, elliptic, and embedded cryptographic systems and protocols - Groebner basis techniques in cryptology, algebraic number theory, and coding theory - Triangular sets and new techniques for solving algebraic systems over finite fields - Algorithms and software for symbolic computation in cryptography INVITED SPEAKERS Bruno Buchberger (Johannes Kepler Universitaet Linz, Austria) Adi Shamir (Weizmann Institute of Science, Israel) Xiaoyun Wang (Tsinghua University and Shandong University, China) SUBMISSION Potential participants of SCC 2008 are invited to submit extended abstracts of 3-5 pages or full papers describing their work to be presented at the conference. The submitted extended abstracts and full papers will be reviewed by members of the program committee (PC) for soundness and relevance to the conference. Submission of original research papers is encouraged, while published material and work in progress will also be considered for presentation at the conference. Extended abstracts and full papers should be prepared using LaTeX with the style file available on the SCC 2008 webpage and according to the instructions given therein. Submissions must be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=scc2008 or sent in PDF or PS format as e-mail attachments to scc2008 @ cc4cm.org. Accepted extended abstracts and full papers will be printed in the proceedings of SCC 2008 for distribution at the conference. PUBLICATION Authors of the extended abstracts and full papers accepted for presentation at the conference will be invited to submit their full and/or revised papers for publication in special issues of Mathematics in Computer Science (MCS - http://www.cc4cm.org/mcs) by Birkhauser/Springer after the meeting. The submitted papers will be formally reviewed by PC members and external referees according to the standard refereeing procedure of MCS. IMPORTANT DATES Extended deadline for extended abstract submission: February 24, 2008 Notification of acceptance or rejection: March 16, 2008 Conference taking place: April 28-30, 2008 Deadline for full paper submission: June 30, 2008 GENERAL CHAIR Zhiming Zheng (China) PROGRAM COMMITTEE Anne Canteaut (France) Jintai Ding (USA) Jean-Charles Faugere, Co-chair (France) Joachim von zur Gathen (Germany) Pierrick Gaudry (France) Jaime Gutierrez (Spain) Hoon Hong (USA) Antoine Joux (France) Martin Kreuzer (Germany) Dongdai Lin (China) Zhuojun Liu (China) Alexander May (Germany) Ludovic Perret (France) Igor Shparlinski (Australia) Damien Stehle (France) Rainer Steinwandt (USA) Boaz Tsaban (Israel) Dongming Wang, Co-chair (China/France) LOCAL ARRANGEMENTS Shangzhi Li, Chair (China) Jinxi Ma (China) Chenqi Mou (China) ========================================================================= ============================================================================== 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

AITA08 CALL FOR PARTICIPATION
by aita08＠krlab.cs.ttu.edu 10 Feb '08

10 Feb '08

CALL FOR PARTICIPATION AITA08 Architectures for Intelligent Theory-Based Agents March 26-28 2008, Stanford University, California, USA. We invite you to attend AITA08, the International Symposium on Architectures for Intelligent Theory-Based Agents, to be held as part of the AAAI Spring Symposium Series, March 26-28 2008, at Stanford University, California, USA. The focus of this symposium is the definition of architectures for intelligent theory-based agents. These architectures typically comprise languages, knowledge representation methodologies, reasoning algorithms, and control loops. The motivation of the symposium is the consideration that a number of reasonably rigorous architectures have been designed, but not implemented, that allow one to prove important properties about the agents and their behavior, while other reasonably rigorous architectures have been implemented without attendant proofs about their agents. Unfortunately, there has not yet been much interaction among the groups working on these two classes of architectures. The lack of communication contributes to slowing the development of an otherwise interesting and potentially very important area. We intend to provide a forum to bring together researchers from these two groups, promote interaction, and stimulate the investigation of the relationships among the different approaches. Key topics covered during the symposium are descriptions of specific architectures, comparisons of architectures, surveys of the state-of-the-art. The discussion will include overviews of languages, knowledge representation methodologies, reasoning algorithms, and control loops used in the architectures considered. Further Information The 2008 AAAI Spring Symposium Series will be held Wednesday - Friday, March 26-28 at Stanford University. Registration and hotel information, as well as an online registration form, are available at: http://www.aaai.org/Symposia/Spring/sss08.php Important dates: * February 11, 2008: Sheraton Hotel reservation cut-off date * February 26, 2008: Deadline for scholarship applications * February 28, 2008: Notification of scholarship awards * February 29, 2008: Final (open) registration deadline * March 26-28, 2008: Symposium Financial Aid A limited number of scholarships is available for students attending the symposium. Interested students can apply by sending a one-page description of their research interests and a recommendation letter from their advisor to Marcello Balduccini at aita08.aaai(a)gmail.com. Organizing Committee Marcello Balduccini, Texas Tech University/Kodak Research Labs; Chitta Baral, Arizona State University; Thomas Eiter, Vienna University of Technology; Alfredo Gabaldon, National ICT Australia; Stuart C. Shapiro, University at Buffalo; Francesca Toni, Imperial College London. Accepted Papers The list of accepted papers is available at: http://krlab.cs.ttu.edu/~marcy/aita08/accepted.htm For More Information For up-to-date information about the symposium please visit: http://krlab.cs.ttu.edu/~marcy/aita08 ============================================================================== 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

PPDP'08: Call for Papers
by Elvira Albert 10 Feb '08

10 Feb '08

................................................................ ACM PPDP 2008 - 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 ................................................................ 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 PROGRAM COMMITTEE: Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, USA Maribel Fernandez King's College, UK Maurizio Gabbrielli University of Bologna, Italy Joxan Jaffar National University, Singapore Claude Kirchner INRIA Bordeaux, France Herbert Kuchen University of Muenster, Germany Kostis Sagonas Uppsala University, Sweden Carsten Schurmann IT University of Copenhagen, Denmark Peter Sestoft IT University of Copenhagen, Denmark *ACM-SIGPLAN approval is pending ============================================================================== 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

PPDP'08: Call for Papers
by Elvira Albert 08 Feb '08

08 Feb '08

1 0

CFP: 5th Workshop on Model Checking and AI
by Doron Peled 06 Feb '08

06 Feb '08

- Call for Papers - Fifth Workshop on MODEL CHECKING and ARTIFICIAL INTELLIGENCE (MoChArt-2008) At ECAI-2008 - Patras, Greece, July 2008 http://www.csc.liv.ac.uk/~mjw/mochart/ INTRODUCTION Model checking is the process of determining whether or not a formula of some logic is satisfied by a model for the logic. For many logics of interest -- particularly temporal and modal logics -- model checking procedures can be efficiently automated. This has led to widespread interest in the use of model checking as a technique for verifying properties of systems, and the development of a number of widely used model checking tools (e.g., Carnegie-Mellon's SMV, Cadence-SMV, and AT&T's SPIN). The success of model checking in the computer aided verification community has led to a growth of interest in the use of model checking in AI. The MOCHART workshop brings together both researchers in AI with an interest in model checking, and researchers in model checking who are interested in AI techniques. Previous editions of the workshop were held in Riva del Garda, Italy in 2006 (as satellite workshops of ECAI), San Francisco in 2005 (as satellite workshop of Concur), Acapulco in 2003 (as satellite workshop of IJCAI03), and Lyon in 2002 (as satellite workshop of ECAI02). We are exploring the possibility of publishing a formal proceedings after the event with Springer-Verlag. TOPICS OF INTEREST Topics of interest include (but are not limited to): - Application of model checking techniques to AI problems. - planning as model checking - model checking for multi-agent systems - diagnosis and model checking - model checking versus theorem proving - Model Checking and AI logics. - model checking for combined modal/temporal logics - model checking for logics of common sense reasoning - Relations between different techniques used in the two fields for similar purposes (e.g., reducing state explosion). - New model checking techniques specifically for AI problems. - Exploitation of AI techniques in model checking. - AI approaches to the state explosion problem - heuristics for model checking - AI approaches to automatic abstraction - Software tools for model checking in AI. - languages and software platforms for AI model checking - model checking symbolic reasoning systems & languages - Model checking for verification of AI systems. - automated verification of AI systems - case studies & experience with model checking in AI Preliminary papers and papers on applications are strongly encouraged. IMPORTANT DATES Deadline for submissions: April 10th, 2008 Notification: May 10th, 2008 Workshop: July 21st-22nd, 2008 SUBMISSION PROCEDURES Submissions must be formatted according to Springer-Verlag's "Lecture Notes in Computer Science" styles, and must be no more than 15 pages in length. Papers must be submitted through the EasyChair web-based conference management system: follow the link from the workshop web page. All papers will be peer reviewed, and evaluated on the basis of relevance, technical quality, significance, evaluation, and presentation. PARTICIPATION The workshop forms part of the ECAI-2008 workshop programme, and as such delegates must register for the ECAI conference. For full information about ECAI-2008, including travel & accomodation, see: ORGANISING COMMITTEE * Doron Peled Department of Computer Science Bar-Ilan University Ramat Gan, 52900 Israel mailto:doron.peled(a)gmail.com * Michael Wooldridge Department of Computer Science University of Liverpool Liverpool L69 7ZF, United Kingdom mailto:mjw(a)liv.ac.uk PROGRAM COMMITTEE * Rajeev Alur (USA) * Massimo Benerecetti (Italy) * Rafael Bordini (UK) * Kousha Etessami (UK) * Michael Fisher (UK) * Gerard Holzmann (USA) * Hadas Kress-Gazit (USA) * Orna Kupferman (Israel) * Alessio Lomuscio (UK) * Ron van de Meyden (Australia) * Peter Niebert (France) * Charles Pecheur (USA) * Wojciech Penczek (Poland) * Franco Raimondi (UK) * Mark Ryan (UK) * Farn Wang (China) ============================================================================== 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 position available at the CLIP group, UPM, Spain
by scube-phd-grants＠clip.dia.fi.upm.es 06 Feb '08

06 Feb '08

---------------------------------------------------------------------- Research Grant To pursue PhD studies in the CLIP group (http://clip.dia.fi.upm.es) Technical University of Madrid (Spain) in the context of the S-Cube EU Network of Excellence ---------------------------------------------------------------------- The CLIP group at the Technical University of Madrid (UPM) invites applications for a fully-funded 4-year PhD scholarship for qualified graduate students. Candidates should have graduated (with a Bachelor level or equivalent) in Computer Science, Computer Engineering, or related fields prior to the start of their research work at UPM. Candidates close to fulfilling this requirement can also apply, and every case will be considered separately. Please include as much relevant information as possible. The PhD work will focus on the research areas of the Clip group and the EU-funded S-Cube network, and will be directed by Manuel Carro and Manuel Hermenegildo. The general research objective of "S-Cube: Software and Services Systems Network" is to advance in the consolidation of a unified framework for Software and Services by studying how to reliably integrate the different requirements for a service-based application (SBA), including establishing ground work to define how tools to ensure SBAs can be implemented. Among other topics, this includes ensuring quality of service, and performing validation and verification of SBA or parts thereof --tasks in which UPM is directly involved. This is also an outstanding opportunity to get involved in tasks which require international collaboration, as the 15 S-Cube partners come from 11 different countries. Besides purely research issues, a significant part of S-Cube deals with integrating existing European research in the field by, e.g., organizing workshops, striving to establish a researcher exchange network, and others. The CLIP group itself has currently around 20 full-time members from 6 different countries. The working language of the group (and of the project) is English, and good to excellent command of English is expected from applicants. Experience in / knowledge of (or, at least, interest in) the following topics, despite not being mandatory, increases the chances of success: * Software verification. * Software validation. * (Constraint) Logic Programming. * Technology for and deployment of Web Services. * Quality of service in software services. * Service-oriented architectures. Applications and information: ----------------------------- The project starts on March 1, 2008, and will initially run for four years. The grant will be given in the form of a full-time contract which includes academic fees, medical care, and a tax-free monthly payment which can range from 1,100 to 1,600 euros, depending on experience. Applicants will be ranked according to their value and only those in the shortlist will be contacted to ask for more details or to have a personal interview. The deadline for applications is February 15th, 2008. Applications received after this deadline may be considered if the scholarships have not been filled at reception time. Applications and inquiries should be sent to scube-phd-grants[_a(a)t_]clip.dia.fi.upm.es (replace [_a(a)t_] by the appropriate sign) and include a curriculum vitae (very preferably in PDF), a listing of grades from previous studies, a brief description of research interests in relation to those of the CLIP group and S-Cube, and, if at all possible, letters of recommendation from faculty or management that the student has worked with previously. More information on the research group and the S-Cube project can be found at http://www.cliplab.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

IJCAR, last Call for Papers
by geoff＠cs.miami.edu 03 Feb '08

03 Feb '08

IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th - 15th August, 2008 http://2008.IJCAR.org Last Call for Papers -------------------- ================================================ | Paper Registration Deadline is 22nd February | ================================================ IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), FTP (Workshop on First-order Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August. Conference chair: Peter Baumgartner (NICTA) ------------------------------------------------------------------------------ Call for Papers --------------- IJCAR 2008 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. See the IJCAR website for a detailed list of logics, methods, and applications of interest. The proceedings of IJCAR 2008 will be published by Springer-Verlag in the LNAI/LNCS series. Submission details: Submission is electronic, through http://www.easychair.org/conferences/?conf=IJCAR2008 Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers. The page limit is 7 pages for short system descriptions that provide brief overviews or target recent developments. Full system descriptions that provide in-depth presentation of original ideas in an implemented system can be submitted as full papers. All full papers will be evaluated according to highest standards in terms of originality, significance, technical quality, and readability. Program co-chairs: Alessandro Armando (Universit`a di Genova) Peter Baumgartner (NICTA) Gilles Dowek (l'Ecole Polytechnique) Important dates: Paper registration deadline: 22nd February 2008 Paper submission deadline: 3rd March 2008 Notification of paper decisions: 18th April 2008 Final version of papers due: 23rd May 2008 Conference dates: 12th-15th August 2008 ------------------------------------------------------------------------------ ============================================================================== 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

Second Call for Papers TFP 2008, The Netherlands
by Peter Achten 03 Feb '08

03 Feb '08

2ND CALL FOR PAPERS TRENDS IN FUNCTIONAL PROGRAMMING 2008 RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS MAY 26-28, 2008 INVITED SPEAKER: PROF. HENK BARENDREGT http://www.st.cs.ru.nl/AFP_TFP_2008/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results through acceptance by extended abstracts and full papers. A formal post-symposium refereeing process selects the best articles presented at the symposium for publication in a high-profile volume. TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands, and will be held in the rural setting of Center Parcs =93Het Heijderbos=94= , Heijen (in the vicinity of Nijmegen), The Netherlands. TFP 2008 is co-located with the 6th Int=92l. Summer School on Advanced Functional Programming (AFP=9208), which is held immediately before TFP=92= 08. SCOPE OF THE SYMPOSIUM The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research: leading-edge, previously unpublished research. Position: on what new trends should or should not be. Project: descriptions of recently started new projects. Evaluation: what lessons can be drawn from a finished project. Overview: summarizing work with respect to a trendy subject. Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Contributions on the following subject areas are particularly welcomed: * Dependently Typed Functional Programming * Validation and Verification of Functional Programs * Debugging for Functional Languages * Functional Programming and Security * Functional Programming and Mobility * Functional Programming to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications * Functional Languages for Telecommunications Applications * Functional Languages for Embedded Systems * Functional Programming Applied to Global Computing * Functional GRIDs * Functional Programming Ideas in Imperative or Object-Oriented Settings (and the converse) * Interoperability with Imperative Programming Languages * Novel Memory Management Techniques * Parallel/Concurrent Functional Languages * Program Transformation Techniques * Empirical Performance Studies * Abstract/Virtual Machines and Compilers for Functional Languages * New Implementation Strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2008 program chairs, Peter Achten and Pieter Koopman, at afp_tfp_2008(a)cs.ru.nl. SUBMISSION AND DRAFT PROCEEDINGS Acceptance of articles for presentation at the symposium is based on the review of full papers (15 pages) and extended abstracts (at least 3 pages= ) by the program committee. TFP encourages PhD students to submit papers. P= hD students may request the program committee to provide extensive feedback on their full papers at the time of submission. Full papers describing work accepted for presentation must be completed before the symposium for publication in the draft proceedings and on-line. Further details can be found at the TFP 2008 website http://www.st.cs.ru.nl/AFP_TFP_2008/. POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the draft symposium proceedings, we continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming. IMPORTANT DATES (ALL 2008) Paper Submission: March 3 Notification of Acceptance: March 31 Early Registration Deadline: April 14 Late Registration Deadline: May 5 Camera Ready Symposium: May 5 TFP Symposium: May 26-28 Post Symposium Paper Submission: June 20 Notification of Acceptance: September 7 Camera Ready Revised Paper: September 21 PROGRAMME COMMITTEE Peter Achten (co-chair) Radboud Univ. Nijmegen, NL Andrew Butterfield Trinity College, IE Manuel Chakravarty Univ. of New South Wales, AU John Clements Cal Poly State Univ., USA Matthias Felleisen Northeastern Univ., USA Jurriaan Hage Utrecht Univ., NL Michael Hanus Christian-Albrechts Univ. zu Kiel, DE Ralf Hinze Univ. of Oxford, UK Graham Hutton Univ. of Nottingham, UK Johan Jeuring Utrecht Univ., NL Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL Shriram Krishnamurthi Brown Univ., USA Hans-Wolfgang Loidl Ludwig-Maximilians Univ.M=FCnchen, DE Rita Loogen Philipps-Univ. Marburg, DE Greg Michaelson Heriot-Watt Univ., UK Marco T. Moraz=E1n (symp. chair) Seton Hall Univ., USA Sven-Bodo Scholz Univ. of Hertfordshire, UK Ulrik Schultz Univ. of Southern Denmark, DK Clara Segura Univ. Complutense de Madrid, ES Olin Shivers Northeastern Univ., USA Phil Trinder Heriot-Watt Univ., UK Varmo Vene Univ. of Tartu, EE Vikt=F3ria Zs=F3k E=F6tv=F6s Lor=E1nd Univ., HU ORGANIZATION Symposium Chair: Marco T. Moraz=E1n, Seton Hall University, USA Programme Chair: Peter Achten, Pieter Koopman, Radboud University Nijmegen, NL Treasurer: Greg Michaelson, Heriot-Watt University, UK ============================================================================== 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

Last Call for Papers -- ESSLLI 2008 Student Session
by Kata Balogh 03 Feb '08

03 Feb '08

[apologies for multiple copies] *********************************************************** Last Call for Papers ESSLLI 2008 STUDENT SESSION 4-18 August 2008, Hamburg, Germany Submission deadline: 15 February 2008 Website: http://staff.science.uva.nl/~kbalogh/StuS13 *********************************************************** We are pleased to announce the Student Session of the 20th European Summer School in Logic, Language and Information to be held in Hamburg, Germany on August 4-15, 2008. The aim of the Student Session is to give an opportunity to students at all levels (Bachelor-, Master- and PhD-students) to present and discuss their work in progress with a possibility to get feedback from senior researchers. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation. CALL FOR PAPERS The programme committee invites submissions of papers for oral and poster presentation and for appearance in the proceedings. We welcome submissions with topics within the areas of Logic, Language and Computation. *** Submission deadline: 15 February 2008 *** The ESSLLI Student Session encourages submissions from students at any level, undergraduates as well as postgraduates. Papers co-authored by non-students will not be accepted. The Student Session papers should describe original, unpublished work, completed or in progress, that demonstrates insight, creativity, and promise. No previously published papers should be submitted. SUBMISSION Student authors are invited to submit a full paper up to 7 pages inclusive of references. Note that the length of the final version of the accepted papers will not be allowed to exceed 10 pages. The preferred formats of submissions are PostScript or PDF, although other formats will also be accepted. More submission details and all relevant information at: http://staff.science.uva.nl/~kbalogh/StuS13 CONTACT Kata Balogh ESSLLI 2008 Student Session chair email: k.balogh(a)uva.nl tel.: +31 20 5254544 fax: +31 20 5254503 postal address: Department of Philosophy Universiteit van Amsterdam Nieuwe Doelenstraat 15 1012 CP Amsterdam The Netherlands ============================================================================== 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 February 2008