Ciao-users

ciao-users@cliplab.org

948 discussions

WRS06 1st call for paper
by wrs06＠redstar.cs.pdx.edu 02 Feb '06

02 Feb '06

[Our apologies if you receive multiple copies] ----------------------------------------------------------------------- WRS06 The Sixth International Workshop on Reduction Strategies in Rewriting and Programming http://www.cs.pdx.edu/~antoy/wrs06/ The Seattle Sheraton Hotel and Towers, Seattle, Washington, August 11, 2006 Scope The workshop intends to promote and stimulate international research and collaboration in the area of evaluation strategies. It encourages the presentation of new directions,developments and results as well as surveys and tutorials on existing knowledge in this area. Reduction strategies study which subexpression(s) of an expression should be selected for evaluation and which rule(s) should be applied. These choices affect fundamental properties of a computation such as laziness, strictness, completeness and need to name a few. For this reason some programming languages, e.g., Elan, Maude, *OBJ* and Stratego, allow the explicit definition of the evaluation strategy, whereas other languages,e.g., Clean, Curry, and Haskell, allow its modification. Strategies pose challenging theoretical problems and play an important role in practical tools such as theorem provers, model checkers and programming languages. In implementations of languages, strategies bridge the gap between operational principles, e.g., graph and term rewriting,narrowing and lambda-calculus, and semantics, e.g., normalization, computation of values and head-normalization. The previous editions of the workshop were: WRS 2001 (Utrecht, The Netherlands),WRS 2002 (Copenhagen, Denmark), WRS 2003 (Valencia, Spain), WRS 2004 (Aachen, Germany), and WRS 2005 (Nara, Japan). See also the WRS permanent page at http://www.dsic.upv.es/~wrs/ Important Dates Abstract Submission: May 8, 2006 Paper Submission: May 15, 2006 Author Notification: June 12, 2006 Camera-Ready: July 10, 2006 Conference: Aug 11, 2006 Program Committee Sergio Antoy, (chair) Portland State University Santiago Escobar, Universidad Politecnica de Valencia Juergen Giesl, RWTH Aachen Bernhard Gramlich, Technische Universitat Wien Ralf Laemmel, Microsoft Corp. Salvador Lucas, Universidad Politecnica de Valencia Narciso Marti-Oliet, Universidad Complutense de Madrid Mizuhito Ogawa, Japan Advanced Institute of Science and Technology Jaco van de Pol, Centrum voor Wiskunde en Informatica Manfred Schmidt-Schauss, Johann Wolfgang Goethe-Universitat Topics Topics of interest include, but are not restricted to: o theoretical foundations for the definition and semantic description of reduction strategies o strategies in different frameworks such as term rewriting, graph rewriting, infinitary rewriting, lambda calculi, higher order rewriting, conditional rewriting, rewriting with built-ins, narrowing, constraint solving, etc. o application of strategies to equational, functional, functional-logic programming languages o properties of reduction strategies and corresponding computations, e.g., completeness, computability, decidability, complexity, optimality, normalization, cofinality, fairness, perpetuality, context-freedom, need, laziness, eagerness, strictness o interrelations, combinations and applications of reduction under different strategies, e.g., evaluation mechanisms in programming languages, equivalence conditions for fundamental properties like termination and confluence, applications in modularity analysis, connections between strategies of different frameworks,etc. o program analysis and other semantics-based optimization techniques dealing with reduction strategies o rewrite systems, tools, implementations with flexible or programmable strategies as an essential concept or ingredient o specification of reduction strategies in real languages strategies suitable to software engineering problems and applications tutorials and systems related to evaluation strategies Submissions Submissions must be original and not submitted for publication elsewhere. The page limit for regular papers is 13 pages in Springer Verlag LNCS style. Surveys and tutorials maybe longer. Use the WRS06 submission page, handled by the EasyChair conference system, to submit abstracts, papers and to update a previous submission. Publication Informal proceedings of accepted contributions will be available on-line. A hard copy will be distributed at the workshop to registered participants. Authors of selected contributions will be invited to submit a revised version, after the workshop, for inclusion in a collection. We anticipate the publication of formal proceedings in the Elsevier ENTCS series. Contact Sergio Antoy, antoy(a)cs.pdx.edu. ============================================================================== 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 Submissions: ICLP 2006 Doctoral Consortium
by Logic Programming Rsrch Association 31 Jan '06

31 Jan '06

Apologies if you receive multiple copies of this message. Please forward this message to your doctoral students. ------------------------------------------------------------------- International Conference on Logic Programming Doctoral Consortium Seattle, WA, USA August 17-20, 2006 http://www.cs.nmsu.edu/~epontell/DC2006 ----------- The ICLP Doctoral Consortium (DC) is the second doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2006 in Seattle, Washington (USA). The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, who are planning to pursue a career in academia. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedbacks from peers as well as world-renown experts in the field. The Doctoral Consortium will also offer invited speakers and panels discussions. ------------ The Doctoral Consortium is held the during the regular activities of the ICLP 2006 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). The Consortium is for students at any stage of their doctoral studies are welcome 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 2006 conference; the ICLP conference will run from August 17th to August 20th, 2006. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2006 conference proceedings. Discussants: Several renown 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 2006 Doctoral Consortium web site, at: http://www.cs.nmsu.edu/~epontell/DC2006 -------- Important Dates Submission Deadline: April 1st, 2006 Acceptance Notification: April 15th, 2006 Last Date to Update Research Summary: May 2nd, 2006 Doctoral Consortium: August 17-20, 2006 (tba) ICLP 2006 Conference: August 17-20, 2006 ------------ Doctoral Consortium Chair: Enrico Pontelli Department of Computer Science New Mexico State University MSC CS, Box 30001 Las Cruces, NM 88003, USA epontell _a_t_ cs _dot_ nmsu _dot_ edu ============================================================================== 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

CfP: FACS'06 - Formal Aspects of Component Software
by mencl＠nenya.ms.mff.cuni.cz 12 Jan '06

12 Jan '06

[Our apologies should you receive multiple copies of this CfP.] ================================================================== Third International Workshop on Formal Aspects of Component Software (FACS'06), First Call for Papers Prague, Czech Republic September 20 -- 22, 2006 FACS'06 is the third in a series of workshops, founded by the International Institute for Software Technology of the United Nations University. The first FACS workshop was held in Pisa, Italy, in September 2003, collocated with FM'03. Subsequently, FACS'05 was held as a standalone event at the United Nations University in Macau, October 24-25, 2005. Workshop Scope and Topics ========================= Component-based software emerged as a promising paradigm to deal with the ever increasing need for mastering systems' complexity, their evolution and reuse, and driving software engineering into sound production and engineering standards. Soon, however, it became a popular technology long before consensual definitions and principles, let alone formal foundations, have been put forward. Issues like mathematical models for components, their interaction and composition, or rigorous approaches to verification, deployment, testing and certification remain open research questions and challenging opportunities for formal methods. Moreover, new challenges are raised by applications of this paradigm to safety-critical, mobile, and embedded systems. The objective of FACS'06 is to bring together researchers in the areas of component software and formal methods to promote a deep understanding of this paradigm and its applications. The workshop will also be interested in defining the common aspects of components and component-based development. It is expected that formal paper presentations will be followed by lively debate in a stimulating atmosphere. Possible topics include, but are not limited to: * formal models for software components and component interaction * design and verification methods for component software * component composition and deployment: models, calculi, languages * component testing * specification of extra-functional properties in component software * certification of components and software architectures * component software vs object orientation * components for real-time, safety-critical, secure and/or embedded systems * experience reports and case studies in component software * partial behavior models for software components * update and reconfiguration of component architectures * formal methods and modeling languages * trust models for components FACS'06 is the third in a series of workshops, founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The first FACS workshop was held in Pisa, Italy, in September 2003, collocated with FM'03. Next, FACS'05 was organized as a standalone event in October 2004 at UNU-IIST. This has been considered by the workshop participants as a very successful meeting with collaborative atmosphere and friendly discussion. Considering the persisting interest of the participants in the topics, FACS'06 was scheduled again as a separate event, this time to be hosted by the Charles University in Prague, Czech Republic, in September 2006. Program Committee ================= * Farhad Arbab (CWI, The Netherlands) * Luis Barbosa (Universidade do Minho, Portugal) * Frank S. de Boer, (PC Chair, CWI, The Netherlands) * Marcello Bonsangue (LIACS-Leiden University, The Netherlands) * Christiano Braga (Universidade Federal Fluminense, Brazil) * Manfred Broy (Technical University of Munich, Germany) * Carlos Canal (Universidad de Malaga, Spain) * Paolo Ciancarini (Universita di Bologna, Italy) * Thierry Coupaye (France Telecom R&D, France) * Joao Faria (Universidade do Porto, Portugal) * Jose Fiadeiro (University of Leicester, United Kingdom) * Susanne Graf (VERIMAG, France) * Martin Grosse-Rhode (Fraunhofer-ISST, Germany) * Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany) * He Jifeng (East China Normal University, China) * Einar Broch Johnsen (Universitetet i Oslo, Norway) * Bengt Jonsson (Uppsala University, Sweden) * Mathai Joseph (Tata Consultancy Services Limited, India) * Atsushi Igarashi (Kyoto University, Japan) * Kung-Kiu Lau (The University of Manchester, United Kingdom) * Zhiming Liu (UNU-IIST, Macao) * Markus Lumpe (Iowa State University, USA) * Eric Madelaine (INRIA, Centre Sophia Antipolis, France) * Vladimir Mencl (PC Chair, UNU-IIST, Macao and Charles Univ., Czech Rep.) * Sun Meng (National University of Singapore, Singapore) * Frantisek Plasil (Charles University, Czech Republic) * Anders Ravn (Aalborg University, Denmark) * Ralf Reussner (University of Oldenburg, Germany) * Bernhard Schaetz (Technical University of Munich, Germany) * Joseph Sifakis (VERIMAG, France) * Jean-Bernard Stefani (INRIA Rhones-Alpes, France) * Carolyn Talcott (SRI International, USA) Important Dates =============== Submission deadline: June 11, 2006 Acceptance notification: July 23, 2006 Camera ready version due: Aug 20, 2006 Workshop: September 20-22, 2006 Submission & Proceedings ======================== Submissions to the workshop will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers should be written in English and not exceed 15 pages in ENTCS format. The workshop proceedings will be published in Electronic Notes in Theoretical Computer Science, Elsevier, as post-proceedings; in addition, informal workshop proceedings will be handed out to participants during the workshop. Submission of papers will be in electronic form via an online system; detailed instructions will be posted on the workshop website. The final version of the paper must be prepared in LaTeX, adhering to the ENTCS format instructions (http://www.entcs.org/final.html). Venue ===== Prague is a charming city with a long medieval history. The workshop will be held in School of Computer Science of the Charles University, which is located right in the Prague's most famous historical district of the Lesser Town ("Mala Strana") of Prague. The building itself has been recently carefully renovated, reconstructing the architectural style of a Jesuit College. The timing of the workshop may allow us to enjoy the nice sunny period, when the weather is not hot anymore, but the early fall sunshine makes sightseeing walks very enjoyable, emphasizing fine features of the Prague's many historic buildings. Contact Information =================== Program Committee Chairs ------------------------ Frank S. de Boer (CWI, The Netherlands) http://homepages.cwi.nl/~frb/ F.S.de.Boer<at>cwi.nl Vladimir Mencl (UNU-IIST, Macao SAR China and Charles University in Prague, Czech Republic) http://nenya.ms.mff.cuni.cz/~mencl/ mencl<at>nenya.ms.mff.cuni.cz Local Arrangements ------------------ Milena Zeithamlova (Action M Agency) milena(a)action-m.com http://www.action-m.com Past workshops -------------- * FACS'03, Pisa, Italy, September 8-9, 2003, http://www.iist.unu.edu/facs03/ * FACS'05, Macao, October 24-25, 2005, http://www.iist.unu.edu/facs05/ Sponsoring Organizations ------------------------ * United Nations University, International Institute for Software Technology (UNU-IIST), Macao SAR China * Charles University in Prague, Faculty of Mathematics and Physics, Department of Software Engineering, Czech Republic * Centrum voor Wiskunde en Informatica (CWI), The Netherlands Workshop website ---------------- http://www.iist.unu.edu/facs06/ ================================================================== ============================================================================== 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

Prolog for Mac
by Alejandro Madruga Gonzalez 26 Dec '05

26 Dec '05

Hi, There is some prolog software for Mac OS X Thanks, Alejandro

4 4

Reading a file into a list
by RDLatimer 10 Dec '05

10 Dec '05

I know this is probably easy... I want to read a list of numbers from a file and put the numbers into a list. I'm teaching vector dot products in Prolog, and I want to use large vectors. So I'm reading in two files with numbers, putting these into two lists, then finding the dot product of the two lists. Thanks, Randy Latimer ============================================================================== 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/ -----------------------------------------------------------------------------

2 1

CFP: Workshop on Verification and Debugging
by vandd2006 27 Nov '05

27 Nov '05

CALL FOR PAPERS 1st Workshop on VERIFICATION AND DEBUGGING Associated with CAV 2006 Knowing that a design violates its specification is only the first step towards a correct system. The violation may be caused by a fault in the design, but also by an error in the specification or in the environment constraints. A designer needs to understand the violation and to locate and correct the fault that causes it. Industrial experience shows that fault localization and rectification take much more time, effort, and expense than fault detection. Also, debugging often takes place late in the design cycle, which makes it a high-risk activity that may, if not done quickly and correctly, delay the release of a product. The workshop addresses the technologies and methodologies that need to be employed after verification has detected the presence of a bug. It aims to combine the efforts of the computer-aided verification and software engineering communities, attracting work in the areas of algorithms, tools, and methodologies for failure analysis. We welcome submissions addressing debugging of software, circuit designs, or combinations of the two. Topics of interest include * explanation and simplification of error traces, * fault localization, * rectification of the design, the specification, or the environment description, * test case generation for debugging, * debugging techniques, * methodologies that facilitate debugging, * overviews that provide a novel view of the state of the art and stimulate discussion and further research, and * empirical studies on debugging. Papers should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. Important Dates * Paper submission deadline: 24 April 2006 * Notice of acceptance/rejection: 22 May 2006 * Final version due: 19 June 2006 * CAV conference: 16-21 August The 2006 conference on Computer-Aided Verification will be a part of the Federated Logic Conference in Seattle. The workshop will be held right before or right after CAV. Further info Details of the submission process, the date of the workshop, and the way in which the accepted papers will be published will be made available at http://www.ist.tugraz.at/vandd.html. The program committee can be reached at vandd2006(a)ist.tu-graz.ac.at. For further info on FLOC, see http://research.microsoft.com/floc06/. Program Committee Roderick Bloem (Graz University of Technology), Alex Groce (Laboratory for Reliable Software, Jet Propulsion Laboratory), John Moondanos (Future Formal Technologies Group, Logic Design Group, Intel), Marco Roveri (ITC-irst), Fabio Somenzi (University of Colorado at Boulder), Markus Stumptner (University of South Australia), and Andreas Zeller (University of Saarbruecken). ============================================================================== 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

Logtalk 2.26.0 released
by Paulo Moura 07 Nov '05

07 Nov '05

[Apologies for any cross posting or duplicate email] Hi! Logtalk 2.26.0 is now available for downloading from the Logtalk web site: http://www.logtalk.org/ This release major highlights are support for defining predicate aliases when using uses/2 directives and support for compiling and using Prolog modules as Logtalk objects (complemented by a new Prolog integration and migration guide). The new support for compiling Prolog modules allows you to easily reuse libraries that are distributed with common Prolog compilers. It also allows you to reuse module code on Prolog compilers that lack a module system. Other noteworthy changes are improved documentation, improvements to installation and documenting scripts, simplification of installation instructions, consolidation of most example source files into single source files, some bug fixes, and support for ignoring, copying as- is, or rewriting proprietary Prolog directives when compiling source files. Detailed release notes are available from the following URL: http://www.logtalk.org/releasenotes.html Happy logtalking, Paulo ----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Informatics Office 4.3 Ext. 3257 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319899 Portugal <mailto:pmoura(a)di.ubi.pt> <http://www.di.ubi.pt/~pmoura> <http://www.logtalk.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

can a ciao module be called from a c program?
by nlivic＠u.washington.edu 03 Nov '05

03 Nov '05

hello- i am trying to call a ciao module from c code. my main thread of execution is in c and i need to call a few ciao predicates and return. it seems that Vidal Moreno Rodilla on 11/19/02 asked "Can I use a module written with ciao from a C-programmed application?". But was never answered. from the ciao manual i understand how to create a stand-along ciao executable and it looks straight forward to call into c code from a ciao and THEN call back into ciao. but i need something like: write.pl ------------------------------ :- extern(ciao_call(+int)). ------------------------------ main.c ------------------------------ int main(void) { ciao_call(5); return 0; } ------------------------------- any help or advice would be much appreciated!!! thank you, nik livic ============================================================================== 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

Support for AMD 64-bit architecture
by Kim Henriksen 24 Oct '05

24 Oct '05

Hi, A while ago someone was trying to compile Ciao on the x86_64 architecture - the problem was that sizeof(long) is not 4 bytes on the x86_64 arch. Has anyone had any success with this architecture? Kim Henriksen, kimsh(a)ruc.dk, http://www.ruc.dk/~kimsh/, +45 4674 3049 Ph.D-student, Roskilde University, Denmark ============================================================================== 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/ -----------------------------------------------------------------------------

2 1

Is there a 'not' predicate for ciao?
by Yacao Wang 20 Oct '05

20 Oct '05

Hi, I'm new to Prolog, I wonder if there is a 'not/1' or something similar to use in Ciao, or do I have to write it myself? Alex ============================================================================== 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/ -----------------------------------------------------------------------------

10 9

← Newer
1
...
47
48
49
50
51
52
53
...
95
Older →

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users