ECOOP 2019
Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom
  • Attending
    • Venue: Novotel London West
    • Sponsorship
    • Conduct
    • Students
    • Visa
    • Accommodation
    • Registration
    • Socials
    • Live
    • Awards
  • Program
    • ECOOP Program
    • Your Program
    • Mon 15 Jul
    • Tue 16 Jul
    • Wed 17 Jul
    • Thu 18 Jul
    • Fri 19 Jul
  • Tracks
      • ECOOP 2019
      • Research Papers
      • Artifacts
      • Student Volunteers
      • Doctoral Symposium
      • Summer School
      • Workshops
      • Posters
      • Curry On
      • Workshops
      • AORTA
      • BenchWork
      • COP
      • FTfJP
      • ICOOOLPS
      • PASS (CANCELED)
      • Panathon
      • Scala
      • VORTEX
  • Organization
      • ECOOP 2019 Committees
      • Organizing Committee
      • Track Committees
      • Research Papers
        • Program Committee
        • External Review Committee
      • Artifacts
      • Student Volunteers
      • Doctoral Symposium
        • Academic Panel
        • Organizing Committee
        • Program Committee
      • Workshops
      • Posters
      • Curry On
      • Contributors
      • People Index
      • Workshops
      • AORTA
        • Organizing Committee
        • Program Committee
      • BenchWork
        • Organizing Committee
        • Program Committee
      • COP
        • Organizing Committee
        • Program Committee
      • FTfJP
        • Organizing Committee
        • Program Committee
        • Steering Commitee
      • ICOOOLPS
        • Organizing Committee
        • Program Committee
      • PASS
        • Organizing Committee
        • Program Committee
      • Panathon
        • Organizing Committee
      • Scala
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • VORTEX
        • Organizing Committee
        • Program Committee
  • Search
  • Series
    • Series
    • ECOOP 2026
    • ECOOP 2025
    • ECOOP 2024
    • ECOOP 2023
    • ECOOP 2022
    • ECOOP 2021
    • ECOOP 2020
    • ECOOP 2019
    • ECOOP 2018
    • ECOOP 2017
    • ECOOP 2016
    • ECOOP 2015
    • 2014: Uppsala
    • 2013: Montpellier
    • 2012: Beijing
    • 2011: Lancaster
    • 2010: Maribor
    • 2009: Genova
    • 2008: Cyprus
    • 2007: Berlin
    • 2006: Nice
    • 2005: Glasgow
  • Sign in
  • Sign up
ECOOP 2019 (series) / Philipp Ruemmer
  • conf.research.org general profile
  • APLAS 2019 profile
  • ETAPS 2019 profile
  • FSEN 2025 profile
  • NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2016 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2022 profile
  • POPL 2024 profile
Philipp Ruemmer

Registered user since Thu 20 Aug 2015

Name:Philipp Ruemmer
Country:Sweden
Affiliation:Uppsala University
Personal website: http://www.philipp.ruemmer.org
Research interests:Program verification, theorem proving, SMT solving

Contributions

2019

FTfJP

  • Invited Talk - JayHorn: A Java Model Checker

ECOOP

  • Committee Member in External Review Committee within the Research Papers-track

Show activities from other conferences

Share
ECOOP 2019-profile
View general profile
xSun 25 May 23:08

ECOOP 2019


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

Tracks

Research Papers
Artifacts
Student Volunteers
Doctoral Symposium
Summer School
Workshops
Posters
Curry On

Workshops

AORTA 2019
BenchWork 2019
COP 2019
FTfJP 2019
ICOOOLPS 2019
PASS 2019
Panathon 2019
Scala 2019
VORTEX 2019

Attending

Venue: Novotel London West
Sponsorship
Conduct
Students
Visa
Accommodation
Registration
Social Events
Live
Awards
Sign Up