Ciao-users

ciao-users@cliplab.org

948 discussions

[CfP] PADL 2021: Practical Aspects of Declarative Languages
by Jose F. Morales 30 Sep '20

30 Sep '20

Call for Papers =============== 23rd International Symposium on Practical Aspects of Declarative Languages (PADL 2021) https://popl21.sigplan.org/home/PADL-2021 Copenhagen, Denmark 18-19th January 2021 Co-located with POPL 2021 Conference Description ---------------------- The paradigm of declarative languages encompasses several well-established classes of programming languages, namely: functional, logic, and constraint programming languages. These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages for software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical languages and extensions such as probabilistic and reactive languages PADL 2021 especially welcomes new ideas and approaches pertaining to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, computational creativas well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL solicits three kinds of submission, in Springer LNCS format: * Technical papers (max. 15 pages) Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages) Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages) Describing new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place in which it has previously appeared. Important dates --------------- * Deadline: 9th October 2020 (AoE) * Notification: 6th November 2020 * Symposium: 18-19th January 2021 Submission is via EasyChair: https://easychair.org/conferences/?conf=padl2021 COVID-19 -------- PADL is co-located with POPL, which will take place January 17-22, 2021, as a physical, virtual, or hybrid physical/virtual meeting. We will be monitoring the Covid-19 situation and will announce a decision on the nature of the meeting in time which will follow suit with POPL. Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra…, and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. The extended journal submissions should include roughly 30% more content including, for example, explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work and such like. These submissions will then be subject to peer review by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. Chairs ------ - Dominic Orchard (University of Kent, UK) - Jose Morales (IMDEA Software Institute, Spain) Programme Committee ------------------- - Mario Alviano (University of Calabria, Italy) - Nada Amin (Harvard University, USA) - Edwin Brady (University of St. Andrews, Scotland) - Joachim Breitner (DFINITY) - Youyou Cong (Tokyo Institute of Technology) - Mistral Contrastin (Facebook London) - Sandra Dylus (University of Kiel, Germany) - Esra Erdem (Sabanci University, Turkey) - Martin Gebser (Alpen-Adria-Universität Klagenfurt, Austria) - Gopal Gupta (U. Dallas, USA) - Ekaterina Komendantskaya (Heriot-Watt University, Edinburgh, UK) - Henrik Nilsson (University of Nottingham, UK) - Enrico Pontelli (New Mexico State University, USA) - KC Sivaramakrishnan (IIT Madras, India) - Paul Tarau (University of North Texas, USA) - Jan Wielemaker (Free University Amsterdam, Netherlands) - Ningning Xie (University of Hong Kong) - Neng-Fa Zhou (City University of New York, USA)

1 0

ETAPS Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP 2020)
by Ekaterina Komendantskaya 12 Jan '20

12 Jan '20

Call for Contributions Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP 2020) Dublin, Ireland, 25 April 2020 (co-located with ETAPS 2020) www.coalg.org/tease-lp Logic programming is a framework for expressing programs, propositions and relations as Horn clause theories, with the purpose of performing automatic inference in these theories. Horn clause theories are famous for their well-understood declarative semantics, in which models of logic programs are given inductively or coinductively. At the same time, Horn clauses give rise to efficient inference procedures, usually involving resolution. Logic programming found applications in type inference, verification, and AI. While logic programming was originally conceived for describing simple facts, it was extended to account for much more complex theories. This includes higher-order theories, inductive and coinductive data, and stochastic/probabilistic theories. The aim of this workshop is to bring together researchers that work on extensions of logic programming and inference methods, and to foster an exchange of methods and applications that have emerged in different communities. Topics --------------------------- The central idea of this workshop is to discuss the theory of logic programming and associated topics that have as well the goal to automatically infer knowledge and proofs. Our intention is to bring together researchers that work on the numerous topics that contribute to automatic proof inference and foster an exchange that may lead to advances in the theory of logic programming. Topics of interest include, but are not limited to, the following: * Proof theory (e.g. focalised and uniform proofs), * Logic programming beyond the classical Horn clause theories (e.g. coinduction, higher-order Horn clauses, probabilities, categorical logic, inductive LP), * Extensions of logic programming (e.g. DataLog, description logic, relational programming), * Advanced implementations (e.g. λProlog, ELPI, miniKanren), * Type theory (e.g. polarised λ-calculus, proofs-as-programs, types for logic programming), * Semantics (e.g. classical, categorical, algebraic, coalgebraic) , and * Applications. Venue and Event --------------------------- TEASE-LP 2020 will be held in Dublin, Ireland, co-located with ETAPS 2020 on 25 April 2020. Important Dates --------------------------- Abstract submission Wednesday, 26 February 2020 AoE Notification Wednesday, 25 March 2020 AoE Camera-ready copy Wednesday, 1 April 2020 AoE Workshop Saturday, 25 April 2020 Programme Committee --------------------------- Henning Basold (chair), Leiden University, NLD William Byrd, University of Alabama at Birmingham, USA Gopal Gupta, The University of Texas at Dallas, USA Ekaterina Komendantskaya (chair), Heriot-Watt University, GBR Dale Miller, INRIA and LIX/Ecole Polytechnique, FRA Gopalan Nadathur, University of Minnesota, USA Frank Pfenning, Carnegie Mellon University, USA Hiroshi Unno, University of Tsukuba, JPN Noam Zeilberger, University of Birmingham, GBR Submission Instructions --------------------------- Since the aim of the workshop is to foster exchange and discussions on trends, extensions, applications and semantics of logic programming, we invite presentations of possibly already published as well as ongoing work. Submissions should be abstracts of at most two pages in EPTCS style (http://style.eptcs.org/) and will be only be published in the informal pre-proceedings and on the website of the workshop. Post-proceedings volume may be solicited by the PC, based on the quality of contributions. Contributions should be submitted via the Easychair system: https://easychair.org/my/conference?conf=teaselp2020 All contributions will be refereed by the programme committee and it is expected that at least one of the authors will be present during the workshop.

1 0

Practical Aspects of Declarative Languages PADL2020: 2nd CFP
by Ekaterina Komendantskaya 18 Sep '19

18 Sep '19

22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020) <https://popl20.sigplan.org/home/PADL-2020#22nd-international-symposium-on-p…> <https://popl20.sigplan.org/home/PADL-2020#httpspopl20sigplanorghomepadl-2020> https://popl20.sigplan.org/home/PADL-2020,20-21 January 2020, New Orleans, Louisiana, United States <https://popl20.sigplan.org/home/PADL-2020#20-21-january-2020-new-orleans-lo…>Co-located with ACM POPL 2020 ( <https://popl20.sigplan.org/home/PADL-2020#co-located-with-acm-popl-2020-htt…> https://popl20.sigplan.org/) ------------------------------ *Declarative languages* is an umbrella term that include functional, logic, and constraint programming languages. These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to challenging problems raise intriguing research questions, such as scalable design and implementation, language extensions for application deployment, and programming environments. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages for software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical languages and extensions such as probabilistic and reactive languages *PADL 2020* especially welcomes new ideas and approaches pertaining to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Important Dates and Submission Guidelines: <https://popl20.sigplan.org/home/PADL-2020#important-dates-and-submission-gu…> - Abstracts due: 11 October 2019 - Papers due: 18 October 2019 - Notification to authors: 18 November 2019 - Camera-ready: 29 November 2020 - Symposium dates: 20 - 21 January 2020 Submission instructions can be found at: https://popl20.sigplan.org/home/PADL-2020#Call-for-Papers Looking forward to receiving your submission, PADL19 PC members: https://popl20.sigplan.org/home/PADL-2020#About

1 0

PADL 2020 (co-allocated with POPL 2020): first call for papers
by Ekaterina Komendantskaya 12 Aug '19

12 Aug '19

22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020)https://popl20.sigplan.org/home/PADL-2020,20-21 January 2019, New Orleans, Louisiana, United StatesCo-located with ACM POPL 2020 ( https://popl20.sigplan.org/) ------------------------------ *Declarative programming languages* is an umbrella term for functional, logic, answer-set and constraint-solving programming paradigms, as well as a range of verification and theorem proving methods that rely on such languages. These languages have been successfully applied to many different real-world situations, ranging from data base management and active networks to software engineering and decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to challenging problems raise new intriguing research questions, such as scalable design and implementation, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasising novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, data-base and constraint programming, theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages for software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical languages and extensions such as probabilistic and reactive languages *PADL 2020 especially welcomes new ideas and approaches pertaining to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example database languages and contract languages.* Important Dates and Submission Guidelines: - Abstracts due: 11 October 2019 - Papers due: 18 October 2019 - Notification to authors: 18 November 2019 - Camera-ready: 29 November 2020 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2020 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2020 will accept both technical and application papers: *Technical papers* must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. *Application papers* are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. *The proceedings of PADL 2020 will appear in the LNCS series of Springer Verlag: https://www.springer.com/gp/computer-science/lncs <https://www.springer.com/gp/computer-science/lncs>.* ************************************************************* For further questions, please contact the conference chairs: Ekaterina Komendantskaya <ek19(a)hw.ac.uk> and Annie Liu <liu(a)cs.stonybrook.edu >

1 0

Journeys in Computational Logic: Tributes to Roy Dyckhoff : CFP
by Ekaterina Komendantskaya 22 Jul '19

22 Jul '19

CALL FOR PARTICIPATION Journeys in Computational Logic: Tributes to Roy Dyckhoff at TABLEAUX 2019, the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Middlesex University, London https://tableaux2019.org/ Main conference: 3 September to 5 September 2019 Journeys in Computational Logic: 3 September 2019 Roy Dyckhoff (1948 - 2018) worked in logic and proof theory, having begun his career as a topologist and category theorist (for which one of his thesis advisors was Dana Scott). Much of his work concerned various aspects of intuitionistic logic, but he also contributed to work in programming languages, type theory, natural language processing, and model checking. The event will commemorate and celebrate Roy’s work, by speakers who have crossed paths with Roy, and/or whose work or scientific views have been influenced by him. The workshop will follow the Tableaux invited talks by Sara Negri and Stéphane Graham-Lengrand, also dedicated to Roy’s work and contribution to the field. The list of contributors is as follows: Marta Bilkova Alessio Guglielmi Jacob Howe Jael Kriener James McKinna Mehrnoosh Sadrzadeh Peter Schroeder-Heister Christian Urban SOCIAL EVENT The workshop will be followed by the Tableaux welcome reception. ORGANISERS If you have any questions, or wish to contribute a talk, please contact the organisers: Ekaterina Komendantskaya: http://www.macs.hw.ac.uk/~ek19/ Stephane Graham-Lengrand: http://www.csl.sri.com/users/sgl/ Mehrnoosh Sadrzadeh: https://msadrzadeh.com/

1 0

PPDP'19 Deadline extension
by Ekaterina Komendantskaya 28 Apr '19

28 Apr '19

DEADLINE EXTENSION TO *10 MAY* - PPDP 2019 21st International Symposium on Principles and Practice of Declarative Programming 7–9 October 2019, Porto, Portugal Collocated with FM'19 http://ppdp2019.macs.hw.ac.uk ====================================================================== Important Dates --------------- Title and abstract registration 4 May 2019 (AoE) (extended) Paper submission 10 May 2019 (AoE) (extended) Rebuttal period (48 hours) 10 June 2019 (AoE) (extended) Author notification 20 June 2019 (extended) Final paper version 15 July 2019 Conference 7–9 October 2019 About PPDP ---------- The PPDP 2019 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. See http://ppdp2019.macs.hw.ac.uk for further information and information. Invited Speakers ---------------- Amal Ahmed Northeastern University, USA Title: TBA Naoki Kobayashi The University of Tokyo, Japan Title: 10 Years of the Higher-Order Model Checking Project Submission page: ---------------- https://easychair.org/conferences/?conf=ppdp19

1 0

PPDP'19 Final CFP
by Ekaterina Komendantskaya 12 Apr '19

12 Apr '19

FINAL CALL FOR PAPERS -- PPDP 2019 21st International Symposium on Principles and Practice of Declarative Programming 7–9 October 2019, Porto, Portugal Collocated with FM'19 http://ppdp2019.macs.hw.ac.uk ====================================================================== Important Dates --------------- Title and abstract registration 26 April 2019 (AoE) Paper submission 3 May 2019 (AoE) Rebuttal period (48 hours) 3 June 2019 (AoE) Author notification 14 June 2019 Final paper version 15 July 2019 Conference 7–9 October 2019 About PPDP ---------- The PPDP 2019 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Invited Speakers ---------------- Amal Ahmed Northeastern University, USA Title: TBA Naoki Kobayashi The University of Tokyo, Japan Title: 10 Years of the Higher-Order Model Checking Project Scope ----- Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; probabilistic languages; functional languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. For further information, please visit: http://ppdp2019.macs.hw.ac.uk

1 0

2nd CFP 27 WFLP
by Herbert Kuchen 02 Apr '19

02 Apr '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 and WLP) 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 QuaProL 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 the 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

National symbols in CIAO
by Мурат Текеев 14 Mar '19

14 Mar '19

Hello! I can not use in CIAO characters of the alphabet other than English, for example, Russian. I have a Linux (Slackware 14.2) set up UTF-8 encoding. Compilation and installation are fine. Does CIAO support UTF-8 encoding? If not, how can the sources be adjusted to work with characters of national alphabets other than English, for example, in the encoding CP1251 (Russian encoding Windows). Maybe I'm doing something wrong? Ready to provide you with any additional information if needed. Sincerely, Murat Tekeev

2 1

PPDP | LOPSTR | WFLP 2018 Common Call for Participation
by David Sabel 06 Aug '18

06 Aug '18

====================================================================== PPDP | LOPSTR | WFLP 2018: Common Call for Participation ====================================================================== 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018) 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) 26th International Workshop on Functional and Logic Programming (WFLP 2018) Frankfurt am Main, Germany, 3-6 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Program ======= The full program of PPDP | LOPSTR | WFLP 2018 is online: http://ppdp-lopstr-18.cs.uni-frankfurt.de/program/0.htm It includes * four invited talks: - Philippa Gardner, Imperial College. Formal Methods for JavaScript - Jorge Navas, SRI International. Constrained Horn Clauses for Verification - Chung-Chieh Shan, University of Indiana. Calculating Distributions - Laure Gonnord, University of Lyon. Experiences in Designing Scalable Static Analyses * invited tutorials: LOPSTR includes two invited tutorials: - Fabio Fioravanti, University of Chieti-Pescara. The VeryMAP System for program transformation and verification - Manuel Hermenegildo, IMDEA Software Institute. 25 Years of Ciao * a session in Honour of Martin Hofmann PPDP includes a session in honour of Martin Hofmann with an invited talk given by Nick Benton, Facebook. Semantic Equivalence Checking for HHVM Bytecode Registration ============ http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/#registration Early registration ends on 15 August, 2018. Sponsors ======== The conferences are financially supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 407531063, and by the Goethe-University Frankfurt am Main. Conference Organisers ===================== PPDP Program Committee See http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#pc Program Chair Peter Thiemann, Universität Freiburg, Germany LOPSTR Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html#pc Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia WFLP Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html#pc Program Chair Josep Silva, Universitat Politècnica de València, Spain Organizing Committee (Goethe-University Frankfurt am Main, Germany) Ehud Cseresnyes Nils Dallmeyer Bircan Dölek Ronja Düffel Lars Huth Leonard Priester David Sabel (General Chair)

1 0

← Newer
1
2
3
4
5
6
7
8
...
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