ICFP 2026
Mon 24 - Sat 29 August 2026 Indianapolis, Indiana, United States
  • Attending
    • Venue: Indiana University Indianapolis
    • Call for Sponsorship
  • Tracks
      • ICFP 2026
      • ICFP Artifacts
      • ICFP Papers
      • ICFP Tutorials
      • ICFP Volunteers
      • ICFP Workshops
      • ICFP SRC
      • Workshops
      • Erlang Erlang Workshop
      • FARM Functional Art, Music, Modelling and Design
      • FUNARCH Functional Software Architecture
      • HOPE Higher-Order Programming with Effects
      • LOPSTR+PPDP Logic-Based Synthesis + Declarative Programming
      • miniKanren miniKanren and Relational Programming
      • ML Family Workshop Higher-order, Typed, Inferred, Strict
      • PLMW @ ICFP PL Mentoring Workshop
      • Scheme Scheme and Functional Programming
      • Co-hosted Symposia
      • Haskell Haskell Symposium
  • Organization
      • ICFP 2026 Committees
      • Organising Committee
      • Track Committees
      • ICFP Artifacts
      • ICFP Papers
      • ICFP Tutorials
      • ICFP Volunteers
      • ICFP Workshops
      • ICFP SRC
      • Contributors
      • People Index
      • Workshops
      • Erlang Erlang Workshop
        • Organizing Committee
        • Program Committee
      • FARM Functional Art, Music, Modelling and Design
        • Organizing Committee
      • FUNARCH Functional Software Architecture
        • Program Committee
      • HOPE Higher-Order Programming with Effects
        • Program Committee
      • LOPSTR+PPDP Logic-Based Synthesis + Declarative Programming
        • Organizing Committee
        • Program Committee
      • miniKanren miniKanren and Relational Programming
        • Organizing Committee
        • Program Committee
      • ML Family Workshop Higher-order, Typed, Inferred, Strict
        • Organizing Committee
        • Program Committee
      • PLMW @ ICFP PL Mentoring Workshop
        • Organizing Committee
      • Scheme Scheme and Functional Programming
        • Organizing Committee
        • Program Committee
      • Co-hosted Symposia
      • Haskell Haskell Symposium
        • Program Committee
  • Search
  • Series
    • Series
    • ICFP 2026
    • ICFP 2025
    • ICFP 2024
    • ICFP 2023
    • ICFP 2022
    • ICFP 2021
    • ICFP 2020
    • ICFP 2019
    • ICFP 2018
    • ICFP 2017
    • ICFP 2016
  • Sign in
  • Sign up
ICFP 2026 (series) / Paola Giannini
  • conf.research.org general profile
  • APLAS 2025 profile
  • ATVA 2025 profile
  • ECOOP 2016 profile
  • ECOOP 2025 profile
  • ECOOP 2026 profile
  • ECOOP and ISSTA 2023 profile
  • ISSTA/ECOOP 2024 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2019 profile
  • SPLASH 2017 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
  • SPLASH/ISSTA 2026 profile
  • ‹Programming› 2026 profile
Paola Giannini

Registered user since Sat 4 Jun 2016

Name:Paola Giannini
Country:Italy
Affiliation:University of Eastern Piedmont
Personal website: http://people.unipmn.it/giannini/
Research interests:Logic semantics and type systems of programming languages and systems

Contributions

2026

LOPSTR

  • Committee Member in Program Committee within the LOPSTR+PPDP 2026-track

Show activities from other conferences

Share
Using general profile
xFri 12 Jun 12:41

ICFP 2026

contact form

using conf.researchr.org (v1.73.2)
Support page

Tracks

ICFP Artifacts
ICFP Papers
ICFP Tutorials
ICFP Volunteers
ICFP Workshops
ICFP SRC

Workshops

Erlang 2026
FARM 2026
FUNARCH 2026
HOPE 2026
LOPSTR+PPDP 2026
miniKanren 2026
ML Family Workshop 2026
PLMW @ ICFP 2026
Scheme 2026

Co-hosted Symposia

Haskell 2026

Attending

Venue: Indiana University Indianapolis
Call for Sponsorship
Sign Up