February 2019 - Haskell

Call for Participation: Midlands Graduate School, 14-18 April, Birmingham UK
by Graham Hutton 05 Feb '19

05 Feb '19

Dear all, Midlands Graduate School (MGS) registration is now open! Eight courses on property based testing, category theory, univalent type theory, lambda calculus, and more. 14-18 April 2019, Birmingham, UK. Spaces are limited, so register early. Please share! http://events.cs.bham.ac.uk/mgs2019/ Best wishes, Graham Hutton ============================================================ Midlands Graduate School 2019 14-18 April 2019, Birmingham, UK http://events.cs.bham.ac.uk/mgs2019/ BACKGROUND: The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry. We welcome participants from all over the world! COURSES: Eight courses will be given. Participants usually take all the introductory courses and choose additional options from the advanced courses depending on their interests. Invited course - Adventures in Property Based Testing, John Hughes Introductory courses - Lambda Calculus, Venanzio Capretta - Category Theory, Thorsten Altenkirch - Univalent Type Theory in Agda, Martn Escard Advanced courses - Calculating programs, Jennifer Hackett - Type Refinement Systems, Noam Zeilberger - Synthesis of Reactive Systems, Rayna Dimitrova - Monoidal Categories, Higher Categories, Jamie Vicary REGISTRATION: Registration is 220 for student, academic and independent participants, and 420 for industry participants. Accommodation is not included; please see the conference webpage for advice. The registration deadline is ** Sunday, 31 March **. Spaces are limited, so please register early to secure your place. SPONSORSHIP: We offer a range of sponsorship opportunities for industry (bronze, silver, gold and platinum), each with specific benefits. Please see the website for further details. ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0

Bx 2019 Second Call for Papers (Workshop on Bidirectional Transformations)
by James Cheney 04 Feb '19

04 Feb '19

Bx 2019: 8th International Workshop on Bidirectional Transformations ==================================================================== Highlights: - workshop date set on June 4, 2019 - Zachary Ives confirmed as invited speaker - abstract submission Tuesday, Feb 12, AoE - links to CEUR-WS.org style and template files updated * http://bx-community.wikidot.com/bx2019:home * June 4, 2019, Saint Joseph’s University, Philadelphia, PA, USA * as part of Philadelphia Logic Week (PLW) 2019: https://sites.sju.edu/plw/ * Invited speaker: Zachary Ives (University of Pennsylvania) Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2019 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. Bx 2019 will be a part of Philadelphia Logic Week (PLW) 2019, which also includes conference and workshops on logic, provenance, and databases, topics that we hope will complement Bx and help build engagement with these communities. Important Dates =============== - Abstract submission: Feb 12 (AoE) - Paper submission: Feb 19 (AoE) - Author notification: Apr 8 - Camera-ready: around May 1 - Workshop: Jun 4, 2019 Aims and Topics =============== The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support Submission Guidelines ===================== Papers must follow the CEUR-WS.org one-column style (with page numbers) available at - http://ceur-ws.org/Vol-XXX/samplestyles/onecolpceurws.sty and must be submitted via EasyChair: - https://www.easychair.org/conferences/?conf=bx2019 A sample LaTeX file using the above style (along with an included sample image) can be downloaded at - http://ceur-ws.org/Vol-XXX/samplestyles/paper1p.tex - http://ceur-ws.org/Vol-XXX/samplestyles/fig1.eps Five categories of submissions are considered: * Full Research Papers (up to 15 pages) - in-depth presentations of novel concepts and results - applications of bx to new domains - survey papers providing novel comparisons between existing bx technologies and approaches case studies * Tool Papers (up to 8 pages) - guideline papers presenting best practices for employing a specific bx approach (with a specific tool) - presentation of new tools or substantial improvements to existing ones - qualitative and/or quantitative comparisons of applying different bx approaches and tools * Experience Report (up to 8 pages) - sharing experiences and lessons learned with bx tools/frameworks/languages - how bx is used in (research/industrial/educational) projects * Extended Abstracts and Short Papers (up to 4 pages) - work in progress - small focused contributions - position papers and research perspectives - critical questions and challenges for bx * Talk Proposals (up to 2 pages) - proposed lectures about topics of interest for bx - existing work representing relevant contributions for bx - promising contributions that are not mature enough to be proposed as papers of the other categories If your submission is not a Full Research Paper, please include the intended submission category in the Title field of EasyChair’s submission form. The bibliography is excluded from the page limits. All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools, and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers; short papers contain focused results, positions or perspectives that can be presented in full in just a few pages, and that correspondingly contain fewer results and that therefore might not be competitive in the full paper category. Talk proposals are expected to present work that is of particular interest to the community and worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g., via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. If a paper is accepted, one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. Proceedings and Special Issue ============================= The workshop proceedings, including all accepted papers (except talk proposals), will be published electronically by CEUR-WS.org. A special issue open to all authors of papers in BX workshops over the past few years is planned. Program committee ================= * Co-chairs - James Cheney, University of Edinburgh, UK - Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan * Members - Leopoldo Bertossi, Carleton University, Canada - Ravi Chugh, University of Chicago, US - Zinovy Diskin, McMaster University, Canada - Paolo Guagliardo, University of Edinburgh, UK - Jules Hedges, University of Oxford, UK - Michael Johnson, Macquarie University, Australia - Leen Lambers, Hasso Plattner Institute, University of Potsdam, Germany - Kazutaka Matsuda, Tohoku University, Japan - Anders Miltner, Princeton University, US - Alfonso Pierantonio, University of L'Aquila, Italy - Perdita Stevens, University of Edinburgh, UK - Daniel Strüber, University of Koblenz and Landau, Germany - Manuel Wimmer, Vienna University of Technology, Austria - Nicolas Wu, University of Bristol, UK

1 0

CfP: WLP 2019 - 33rd Workshop on (Constraint) Logic Programming
by Petra Hofstedt (BTU) 04 Feb '19

04 Feb '19

========================================================= WLP 2019: Call for Papers ========================================================= 33rd Workshop on (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019 (part of Declare 2019; co-located with INAP, WFLP, and QPLogic) Important Dates Abstract submission: May 27, 2019 Paper submission: June 3, 2019 Notification of acceptance: July 1, 2019 Camera-ready papers: July 29, 2019 Early registration: August 12, 2019 Online Registration: September 2, 2019 Workshop: September 9-13, 2019 WLP 2019 The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP, Gesellschaft fuer Logische Programmierung e.V.). They bring together researchers (not only from Germany) interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. Previous workshops have been held in Germany, Austria, Switzerland, Egypt, Japan, Denmark, Spain, Brazil, Italy, and France. Contributions are welcome on all theoretical, experimental, and application aspects of logic and constraint logic programming. The topics include, but are not limited to the following areas: + Logic and Constraint Logic Programming Languages and Extensions + Knowledge Representation and Non-monotonic Reasoning + Applications and Application Areas of (C)LP + Implementations WLP 2019 will be part of DECLARE 2019 and hence be co-located with INAP 2019 (International Conference on Applications of Declarative Programming and Knowledge Management), WFLP 2019 (International Workshop on Functional and Logic Programming), and QPLogic 2019 (Quantum and Probability Logic). Submission Guidelines Authors are invited to submit long papers (no longer than 15 pages) or short papers (no longer than 6 pages) in the following categories: + Regular research papers + Application papers + System descriptions We also encourage submissions on ongoing work of PhD students (no longer than 6 pages). Submissions must be unpublished original work and not submitted for publication elsewhere. However, work that already appeared in informally published workshop proceedings may be submitted too. All papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. All submissions must be formatted in the Lecture Notes in Computer Science style. For further information on the submission procedure, please, visit the conference web site: declare19.de Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. All accepted papers will be presented during the conference. At least one author of an accepted contribution is expected to register for the conference and present the paper. Program Committee Slim Abdennadher (German University in Cairo, Egypt) Christoph Beierle (FernUniversität in Hagen, Germany) Thomas Eiter (Vienna University of Technology, Austria) Daniel Gall (University of Ulm, Germany) Ulrich Geske (University of Potsdam, Germany) Michael Hanus (University of Kiel, Germany) Petra Hofstedt (BTU Cottbus - Senftenberg, Germany) (co-Chair) Steffen Hölldobler (TU Dresden, Germany) Tomi Jahunen (Aalto University, Finland) Ulrich John (hwtk Berlin) (co-Chair) Ke Liu (BTU Cottbus - Senftenberg, Germany) Sven Löffler (BTU Cottbus - Senftenberg, Germany) Falco Nogatz (University of Würzburg, Germany) Torsten Schaub (University of Potsdam, Germany) Sibylle Schwarz (HTWK Leipzig, Germany) Dietmar Seipel (University of Würzburg, Germany) Hans Tompits (Vienna University of Technology, Austria) Janis Voigtländer (Universität Duisburg-Essen, Germany) Armin Wolf (Fraunhofer FOKUS Berlin, Germany) Organizing Committee Petra Hofstedt (General Chair), Sven Löffler, Katrin Ebert, Brandenburg University of Technology, Cottbus, Germany

1 0

Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19)
by Yazan Mualla 04 Feb '19

04 Feb '19

INVITATION FOR PAPERS AND TALKS (extended) The 1st European Forum for the SARL Users and Developers (EuSarlCon-19) ----------------------------------------------------------------------- In conjunction with: * the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019); * the 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-19); * the 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19). May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:EuSarlCon19 ------------------------------------------------------------------- Description =========== The 2019 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on May 2, 2019, in Leuven, Belgium. That is the last day of the ANT-2019 conference, the ABMTRANS-19 and the SARL-19 workshops. Abstracts and/or short papers are due on February 15, 2019. The papers are expected to be very short (< 2500 equivalent words). ABMTRANS-19 and SARL-19 are providing an alternative for publishing longer papers. Abstracts and papers can be submitted to ABMTRANS-19, to SARL-19, to SarlCon19, or all. We will coordinate with the main conference so that papers are not presented twice. Submissions directly for the SarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 15, 2019, through EasyChair. SARL-related submissions to the main conference will as well be considered for inclusion in the SarlCon program. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2019) not exceeding 1000 words in length. Organizer ========= -Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France) <stephane.galland(a)utbm.fr> -Yazan MUALLA (Univ. de Technologie de Belfort-Montbeliard, France) Registration ============ Registration to the European SarlCon 2019 is free. Please notify the organizers if you want to come in order to organize the meeting.

1 0

CfP: WFLP 2019 - 27th International Workshop on Functional and (Constraint) Logic Programming
by Petra Hofstedt (BTU) 04 Feb '19

04 Feb '19

========================================================= WFLP 2019: Call for Papers ========================================================= 27th International Workshop on Functional and (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019 (part of Declare 2019; co-located with INAP, WLP, and QPLogic) Important Dates Abstract submission: May 27, 2019 Paper submission: June 3, 2019 Notification of acceptance: July 1, 2019 Camera-ready papers: July 29, 2019 Early registration: August 12, 2019 Online Registration: September 2, 2019 Workshop: September 9-13, 2019 WFLP 2019 The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. WFLP has a reputation for being a lively and friendly forum, and it is open for presenting and discussing work in progress, technical contributions, experience reports, experiments, reviews, and system descriptions. The 27th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2019) will be held at the Brandenburgische Technische Universität Cottbus Germany. Previous WFLP editions were WFLP 2018 (Frankfurt am Main, Germany), WFLP 2017 (Würzburg, Germany), WFLP 2016 (Leipzig, Germany), WFLP 2014 (Wittenberg, Germany), WFLP 2013 (Kiel, Germany), WFLP 2012 (Nagoya, Japan), WFLP 2011 (Odense, Denmark), WFLP 2010 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). WFLP 2019 will be part of DECLARE 2019 and hence be co-located with INAP 2019 (International Conference on Applications of Declarative Programming and Knowledge Management), WLP 2019 (Workshop on (Constraint) Logic Programming), and QPLogic 2019 (Quantum and Probability Logic). Topics The topics of interest cover all aspects of functional and logic programming. They include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, non-monotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program and model manipulation * Program transformation, partial evaluation, meta-programming * Specification, * Verification * Debugging * Testing * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software techniques for declarative programming * Applications The primary focus is on new and original research results, but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. Survey papers that present some aspects of the above topics from a new perspective, and experience reports are also welcome. Papers must be written and presented in English. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submission Guidelines Submission is via Easychair submission website for WFLP 2019: https://easychair.org/conferences/?conf=wflp2019 Authors are invited to submit papers in the following categories: + Regular research paper + Work-in-progress report + System description Regular research papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been formally published or that are simultaneously submitted to a journal, conference, or workshop with formal proceedings. They will be judged on the basis of significance, relevance, correctness, originality, and clarity. For work-in-progress reports and system descriptions, less formal rules apply, and presentation-only submissions (talk and discussion, but no paper in the formal proceedings) are possible. Please contact the PC chair with any questions. All submissions must be formatted in the Lecture Notes in Computer Science style. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. However, all submissions (especially work-in-progress reports and system descriptions) may be considerably shorter than 15 pages. Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Therefore, all accepted papers will be published in open-access, and the authors can also decide to publish their work in the Springer LNCS formal proceedings. Program Committee Maria Alpuente Frasnedo, Universitat Politècnica de València, Spain Sergio Antoy, Portland State University, USA Olaf Chitil, University of Kent, UK Sandra Dylus, University of Kiel, Germany Moreno Falaschi, U. Siena, Italy Michael Hanus, University of Kiel, Germany Herbert Kuchen, University of Münster, Germany (Chair) Julio Mariño Carballo, Universidad Politécnica de Madrid, Spain Manuel Montenegro Montes, Universidad Complutense de Madrid, Spain Kostis Sagonas, Uppsala University, Sweden Sibylle Schwarz, HTWK Leipzig, Germany Dietmar Seipel, University of Würzburg, Germany Josep Silva Galiana, Universitat Politècnica de València, Spain Johannes Waldmann, HTWK Leipzig, Germany Organizing Committee Petra Hofstedt (General Chair), Sven Löffler, Katrin Ebert, Brandenburg University of Technology, Cottbus, Germany

1 0

CfP: INAP - 22nd International Conference on Applications of Declarative Programming and Knowledge Management
by Petra Hofstedt 01 Feb '19

01 Feb '19

========================================================= INAP 2019: Call for Papers ========================================================= 22nd International Conference on Applications of Declarative Programming and Knowledge Management Cottbus, Germany, September 9-13, 2019 (part of Declare 2019; co-located with WFLP, WLP, and QPLogic) Important Dates Paper registration: May 27, 2019 Paper submission: June 3, 2019 Notification of acceptance: July 1, 2019 Camera-ready papers: July 29, 2019 Early registration: August 12, 2019 Online Registration: September 2, 2019 Conference: September 9-13, 2019 INAP 2019 INAP is a forum for intensive discussion of applications of important technologies around declarative programming, constraint problem solving, and related computing paradigms. It comprehensively covers the impact of data and knowledge engineering, programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. Previous INAP conferences have been held in Japan, Germany, Portugal, and Austria. We invite high quality contributions on the described topics, especially, but not exclusively, on different aspects of declarative programming, constraint processing, data and knowledge management, as well as their use for distributed systems and the web: * data and knowledge engineering / management: deductive databases, rule bases, decision support, expert systems, knowledge discovery; * declarative programming: logic programming, nonmonotonic reasoning, knowledge representation, domain-specific languages; * constraints: constraint systems, (extensions of) constraint (logic) programming, constraint-based modeling and applications; * distributed systems and the web: agents and concurrent engineering, ontologies, semantic web, internet of things; * practical systems: tools for academic and industrial use, knowledge-based web services, logic solvers and applications; * multi-paradigm programming. INAP 2019 will be part of DECLARE 2019 and hence be co-located with WFLP 2019 (International Workshop on Functional and Logic Programming), WLP 2019 (Workshop on (Constraint) Logic Programming), and QPLogic 2019 (Quantum and Probability Logic). Submission Guidelines Authors are invited to submit long papers (no longer than 15 pages) or short papers (no longer than 6 pages) in the following categories: + Regular research papers + Application papers + System descriptions We also encourage submissions on ongoing work of PhD students (no longer than 6 pages). Submissions must be unpublished original work and not submitted for publication elsewhere. However, work that already appeared in informally published workshop proceedings may be submitted too. All papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. All submissions must be formatted in the Lecture Notes in Computer Science style. For further information on the submission procedure, please, visit the conference web site: declare19.de Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. All accepted papers will be presented during the conference. At least one author of an accepted contribution is expected to register for the conference and present the paper. Program Committee Salvador Abreu (Universidade de Évora, Portugal) Christoph Beierle (FernUniversität in Hagen, Germany) François Bry (Ludwig-Maximilian-University of Munich, Germany) Vitor Santos Costa (University of Porto, Portugal) Thom Frühwirth (University of Ulm, Germany) Ulrich Geske (University of Potsdam, Germany) Gopal Gupta (UT Dallas, USA) Michael Hanus (University of Kiel, Germany) Petra Hofstedt (BTU Cottbus - Senftenberg, Germany) (Chair) Tomi Jahunen (Aalto University, Finland) Gabriele Kern-Isberner (TU Dortmund University, Germany) Herbert Kuchen (University of Münster, Germany) Sven Löffler (BTU Cottbus - Senftenberg, Germany) Vitor Beires Nogueira (Universidade de Évora, Portugal) Ricardo Rocha (University of Porto, Portugal) Dietmar Seipel (University of Würzburg, Germany) Helmut Simonis (University College Cork, Ireland) Theresa Swift (Universidade Nova de Lisboa, Portugal) Hans Tompits (Vienna University of Technology, Austria) Masanobu Umeda (Kyushu Institute of Technology, Japan) Armin Wolf (Fraunhofer FOKUS Berlin, Germany) Track Chairs Salvador Abreu (Universidade de Évora) - Logic Programming and Extensions Dietmar Seipel (University of Würzburg) - (Deductive) Databases, Rule Bases, Decision Support, Expert Systems, Knowledge Discovery Petra Hofstedt (BTU Cottbus - Senftenberg) - Constraints, Constraint Solvers and Systems Organizing Committee Petra Hofstedt (General Chair), Sven Löffler, Katrin Ebert, Brandenburg University of Technology, Cottbus, Germany -- Prof. Dr. Petra Hofstedt BTU Cottbus-Senftenberg Tel: +49-355-69-3886 Programming Languages and Fax: +49-355-69-3830 Compiler Construction Group WWW: http://www.b-tu.de/fg-programmiersprachen-compilerbau/

1 0