Proceedings First International Workshop on Linearity

Mário Florido,Ian Mackie

DOI: https://doi.org/10.4204/EPTCS.22

2010-03-30

Abstract:This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a satellite event of CSL 2009, the 18th EACSL Annual Conference on Computer Science Logic.

Logic in Computer Science

What problem does this paper attempt to address?

Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Karl Crary,Marino Miculan

DOI: https://doi.org/10.48550/arXiv.1009.2189

2010-09-11

Logic in Computer Science

Abstract:Type theories, logical frameworks and meta-languages form a common foundation for designing, implementing, and reasoning about formal languages and their semantics. They are central to the design of modern programming languages, certified software, and domain specific logics. More generally, they continue to influence applications in many areas in mathematics, logic and computer science. The Logical Frameworks and Meta-languages: Theory and Practice workshop aims to bring together designers, implementers, and practitioners working on these areas, and in particular about: the automation and implementation of the meta-theory of programming languages and related calculi; the design of proof assistants, automated theorem provers, and formal digital libraries building upon logical framework technology; theoretical and practical issues concerning the encoding of variable binding and fresh name generation, especially the representation of, and reasoning about, datatypes defined from binding signatures; case studies of meta-programming, and the mechanization of the (meta) theory of descriptions of programming languages and other calculi. This volume contains the final and revised versions of the papers presented at LFMTP 2010, which was held on July 14, 2010 in Edinburgh (UK). LFMTP 2010 was part of the Federated Logic Conference (FLoC 2010), and affilated with LICS 2010.
Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications

Daniele Nantes-Sobrinho,Pascal Fontaine

DOI: https://doi.org/10.4204/EPTCS.376

2023-03-23

Abstract:This volume contains the post-proceedings of the Seventeenth Logical and Semantic Frameworks with Applications (LSFA 2022), organised by the Universidade Federal de Minas Gerais, Brasil. Because of the COVID-19 pandemic, the meeting was held hybridly, on September 23-24, 2022. LSFA aims to bring together researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.

Logic in Computer Science
Proceedings of CICLOPS-WLPE 2010

German Vidal,Neng-Fa Zhou

DOI: https://doi.org/10.48550/arXiv.1009.4020

2010-09-21

Programming Languages

Abstract:Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 2010.
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Frédéric Blanqui,Giselle Reis

DOI: https://doi.org/10.4204/EPTCS.274

2018-07-04

Abstract:This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on July 7, 2018, in Oxford, UK. The workshop was affiliated with the 3rd international conference on Formal Structures for Computation and Deduction (FSCD) within the 7th Federated Logic Conference (FLoC).

Logic in Computer Science,Programming Languages
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Alberto Ciaffaglione,Carlos Olarte

DOI: https://doi.org/10.4204/EPTCS.396

2023-11-16

Abstract:Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop brings together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.

Logic in Computer Science,Programming Languages
Proceedings 36th International Conference on Logic Programming (Technical Communications)

Francesco Ricca,Alessandra Russo,Sergio Greco,Nicola Leone,Alexander Artikis,Gerhard Friedrich,Paul Fodor,Angelika Kimmig,Francesca Lisi,Marco Maratea,Alessandra Mileo,Fabrizio Riguzzi

DOI: https://doi.org/10.4204/EPTCS.325

2020-09-19

Abstract:Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: - Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. - Declarative Programming: Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules. - Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. - Implementation: Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces. - Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics.

Logic in Computer Science,Artificial Intelligence,Programming Languages
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Stephanie Balzer,Luca Padovani

DOI: https://doi.org/10.4204/EPTCS.314

2020-04-01

Abstract:Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. The development of effective programming methodologies for this increasingly parallel landscape therefore demands exploration and understanding of a wide variety of foundational and practical ideas. The International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES) is dedicated to work in this area. The workshop offers a forum for researchers from different fields to exchange new ideas about these challenges to modern and future programming, where concurrency and distribution are the norm rather than a marginal concern. This volume contains the proceedings of the 12th edition of PLACES, which was co-located with ETAPS 2020 in Dublin, Ireland.

Programming Languages,Distributed, Parallel, and Cluster Computing
Proceedings Fifth International Workshop on Classical Logic and Computation

Paulo Oliva

DOI: https://doi.org/10.48550/arXiv.1409.2593

2014-09-09

Logic in Computer Science

Abstract:Classical Logic and Computation (CL&C) 2014 is the fifth edition of this workshop series. The workshop series intends to cover all work aiming to explore computational aspects of classical logic and mathematics. Its focus is on the exploration of the computational content of mathematical and logical principles, aiming to bring together researchers from both fields and exchange ideas. In this fifth edition we received 18 submissions of both short and full papers. Fourteen (14) of these were selected to present at the meeting in Vienna, and six (6) full papers were accepted to appear at this ETPCS special volume. Topics covered by this years submissions included: translations of classical to intuitionistic proofs, witness extraction from classical proofs, confluence properties for classical systems, linear logic, constructive semantics for classical logic (game semantics, realizability), and the study of calculi based on classical logic (lambda-mu-calculus, continuation calculus).
Proceedings 35th International Conference on Logic Programming (Technical Communications)

Bart Bogaerts,Esra Erdem,Paul Fodor,Andrea Formisano,Giovambattista Ianni,Daniela Inclezan,German Vidal,Alicia Villanueva,Marina De Vos,Fangkai Yang

DOI: https://doi.org/10.4204/EPTCS.306

2019-09-17

Abstract:Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics.

Logic in Computer Science,Artificial Intelligence,Programming Languages
Proceedings First International Workshop on Logics for Component Configuration

Inês Lynce,Ralf Treinen

DOI: https://doi.org/10.48550/arXiv.1007.0831

2010-07-06

Logic in Computer Science

Abstract:This volume contains the papers presented at the first international workshop on Logics for Component Configuration (LoCoCo 2010) which was associated with the International Conference on Theory and Applications of Satisfiability Testing (SAT 2010) as part of the Federated Logic Conference (FLoC 2010), and which took place on July 10, 2010 in Edinburgh, UK. Modern software distributions are based on the notion of components, which denote units of independent development and deployment. Components provide the necessary flexibility when organizing a complex software distribution, but also are a challenge when it comes to selecting components from a large repository of possible choices, and configuring these components according to user needs, resource constraints, and interdependencies with other components. Representing and solving configuration problems is a hot topic of great importance for many application domains. Some well-known examples of complex systems of components are Free and Open Source software distributions like GNU/Linux, or Eclipse plugins. The LoCoCo workshop has a focus on logic-based methods for specifying and solving complex configuration problems for software components. The goal was to bring together both researchers and practitioners active in the area of component configuration of software systems, using different modeling and solving techniques, such as constraint and logic programing, description logics, satisfiability and its extensions.
Proceedings 24th International Workshop on Unification

Maribel Fernandez

DOI: https://doi.org/10.4204/EPTCS.42

2010-12-21

Abstract:This volume contains selected papers presented at the 24th International Workshop on Unification, UNIF2010, which was held in Edinburgh on the 14th July 2010, as part of FLoC 2010 (Federated Logic Conferences).

Logic in Computer Science,Programming Languages
Proceedings XIV Jornadas sobre Programación y Lenguajes

Santiago Escobar

DOI: https://doi.org/10.4204/EPTCS.173

2015-01-08

Abstract:This volume contains a selection of the papers presented at the XIV Jornadas sobre Programación y Lenguajes (PROLE 2014), held at Cádiz, Spain, during September 17th-19th, 2014. Previous editions of the workshop were held in Madrid (2013), Almería (2012), A Coruña (2011), Valéncia (2010), San Sebastián (2009), Gijón (2008), Zaragoza (2007), Sitges (2006), Granada (2005), Málaga (2004), Alicante (2003), El Escorial (2002), and Almagro (2001). Programming languages provide a conceptual framework which is necessary for the development, analysis, optimization and understanding of programs and programming tasks. The aim of the PROLE series of conferences (PROLE stems from the spanish PROgramación y LEnguajes) is to serve as a meeting point for spanish research groups which develop their work in the area of programming and programming languages. The organization of this series of events aims at fostering the exchange of ideas, experiences and results among these groups. Promoting further collaboration is also one of the main goals of PROLE.

Programming Languages,Logic in Computer Science,Software Engineering
Proceedings Tenth International Workshop on Developments in Computational Models

Ugo Dal Lago,Russ Harmer

DOI: https://doi.org/10.4204/EPTCS.179

2015-04-08

Abstract:This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation have emerged in the last years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development. The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. Topics of interest include all abstract models of computation and their applications to the development of programming languages and systems.

Logic in Computer Science,Formal Languages and Automata Theory,Programming Languages
Proceedings of the Twentieth International Conference on Quantum Physics and Logic

Shane Mansfield,Benoît Valiron,Vladimir Zamdzhiev

DOI: https://doi.org/10.4204/EPTCS.384

2023-09-07

Abstract:This volume contains the proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023). The aim of the QPL conference series is to bring together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, type systems, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.

Quantum Physics
Proceedings Seventh International Workshop on Classical Logic and Computation

Stefano Berardi,Alexandre Miquel

DOI: https://doi.org/10.4204/EPTCS.281

2018-10-12

Abstract:This special issue cover the seventh and last conference of the CL&C series, started in 2006 in San Servolo. Topics are the computational content of logics between intuitionistic logic and classical logic, through normalization, and a new topic, cyclic proofs and the complexity of checking the correctness of a cyclic proof. Accepted papers include an empirical comparison of time consumption of different normalization algorithms, and new reductions sets for several extensions of intuitionistic logic having the Herbrand disjunction property. Another paper provides a reduction set for admissible rules for intuitionistic logic. A paper describes a subset of cyclic proofs having a polynomial-time algorithm checking correctness.

Logic in Computer Science
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis

Temur Kutsia,Daniel Ventura,David Monniaux,José F. Morales

DOI: https://doi.org/10.4204/EPTCS.402

2024-04-21

Abstract:This volume contains

Logic in Computer Science,Programming Languages,Symbolic Computation,Software Engineering
Proceedings Workshop on Fixed Points in Computer Science

David Baelde,Arnaud Carayol

DOI: https://doi.org/10.4204/EPTCS.126

2013-08-27

Abstract:This volume contains the proceedings of the Ninth Workshop on Fixed Points in Computer Science which took place on the September 1st, 2013 in Torino, Italy as a CSL-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop), Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS workshop), Coimbra (2009, CSL workshop), Brno (2010, MFCS-CSL workshop), Tallinn (2012, CSL workshop). Fixed points play a fundamental role in several areas of computer science. They are used to justify (co)recursive definitions and associated reasoning techniques. The construction and properties of fixed points have been investigated in many different settings such as: design and implementation of programming languages, logics, verification, databases. The aim of this workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the theory of fixed points.

Logic in Computer Science,Formal Languages and Automata Theory,Programming Languages
Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011

Salvador Abreu,Vitor Santos Costa

DOI: https://doi.org/10.48550/arXiv.1112.4993

2011-12-21

Abstract:These are the revised versions of the papers presented at CICLOPS 2011, a workshop colocated with ICLP 2011.

Programming Languages
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software

Ernesto Pimentel,Valentín Valero

DOI: https://doi.org/10.4204/EPTCS.68

2011-09-12

Abstract:This volume consists of the proceedings of the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11). The FLACOS Workshops serve as annual meeting places to bring together researchers and practitioners working on language-based solutions to contract-oriented software development. High-level models of contracts are needed as a tool to negotiate contracts and provide services conforming to them. This Workshop provides language-based solutions to the above issues through formalization of contracts, design of appropriate abstraction mechanisms, and formal analysis of contract languages and software. The program of this edition consists of 5 regular papers and 3 invited presentations. Detailed information about the FLACOS 2011 Workshop can be found at <a class="link-external link-http" href="http://flacos2011.lcc.uma.es/" rel="external noopener nofollow">this http URL</a>. The 5th edition of the FLACOS Workshop was organized by the University of Málaga. It took place in Málaga, Spain, during September 22-23, 2011.

Logic in Computer Science
Proceedings 8th Workshop on Fixed Points in Computer Science

Dale Miller,Zoltán Ésik

DOI: https://doi.org/10.4204/EPTCS.77

2012-02-15

Abstract:This volume contains the proceedings of the Eighth Workshop on Fixed Points in Computer Science which took place on 24 March 2012 in Tallinn, Estonia as an ETAPS-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop), Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS workshop), Coimbra (2009, CSL workshop), and Brno (2010, MFCS-CSL workshop). Fixed points play a fundamental role in several areas of computer science and logic by justifying induction and recursive definitions. The construction and properties of fixed points have been investigated in many different frameworks such as: design and implementation of programming languages, program logics, and databases. The aim of this workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the theory of fixed points.

Logic in Computer Science,Formal Languages and Automata Theory,Programming Languages

Proceedings First International Workshop on Linearity

Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications

Proceedings of CICLOPS-WLPE 2010

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Fifth International Workshop on Classical Logic and Computation

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Proceedings First International Workshop on Logics for Component Configuration

Proceedings 24th International Workshop on Unification

Proceedings XIV Jornadas sobre Programación y Lenguajes

Proceedings Tenth International Workshop on Developments in Computational Models

Proceedings of the Twentieth International Conference on Quantum Physics and Logic

Proceedings Seventh International Workshop on Classical Logic and Computation

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis

Proceedings Workshop on Fixed Points in Computer Science

Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011

Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software

Proceedings 8th Workshop on Fixed Points in Computer Science