Homotopy type theory is a young and rapidly developing area at the intersection of computer science and mathematics, importing the ideas from abstract homotopy theory to dependent type theory. This workshop aims to bring together researchers interested in all aspects of homotopy type theory and univalent foundations to showcase the new techniques and results in the field.
Website HoTT/UF 2021.
Intersection types are an extension of Curry types for the λ-calculus, introduced in the 80's to characterize functional properties of untyped terms. Since then a substantial body of foundational studies and applications to the theory of programming languages has grown characterizing relevant classes of terms, and more recently implicit complexity and quantitative properties of programs with applications to program analysis and synthesis.
Topics include, but are not limited to:
Formal properties of systems with intersection types.
Results for related systems, such as union types, refinement types, or singleton types.
Applications to λ-calculus, π-calculus and similar systems.
Applications for programming languages, program analysis, and program verification.
Related approaches using behavioural/intensional types and/or denotational semantics.
The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order.
Website WPTE 2021.
The 35th International Workshop on Unification (UNIF 2021) is the next event in a series of annual international meetings devoted to unification and related topics.
UNIF 2021 aims to bring together researchers in unification theory and related fields, to present and discuss their ongoing work and new ideas. It is also a good opportunity for other researchers to get an overview of the state of the art in unification theory and its applications and of new trends in the area.
Topics of interest of the workshop include syntactic and equational unification algorithms, matching and constraint solving, unification in modal, temporal, and description logics, higher-order unification, narrowing, disunification, anti-unification, complexity issues, combination methods, implementation techniques, and applications.
Website UNIF 2021.
LSFA is an annual meeting bringing together both theorists and practitioners of logic and semantic frameworks. These frameworks represent languages and logical systems that provide mathematical foundations for formal specification of deductive systems and programming languages, supporting tool development and reasoning. LSFA includes areas such as proof and type theory, equational deduction and rewriting systems, automated reasoning and concurrency theory.
Website LSFA 2021.
Confluence provides a general notion of determinism and has been conceived as one of the central properties of rewriting. Confluence relates to many topics of rewiting (completion, modularity, termination, commutation, etc.) and has been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool supports, certification as well as new applications. The workshop aim at promoting further research in confluence and related properties.
Website IWC 2021.
The IFIP Working Group 1.6 is one of the working groups of the Technical Committee 1 of the International Federation for Information Processing (IFIP). IFIP is the leading multinational, apolitical organisation in Information & Communications Technologies and Sciences. It is recognised by the United Nations and other world bodies, represents IT Societies from 56 countries or regions, covering all 5 continents with a total membership of over half a million.
Website of IFIP WP 1.6.