ECOOP 2019
Mon 15 - Fri 19 July 2019
Hammersmith, London, United Kingdom
Toggle navigation
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 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
) /
Fangzhen Lin
ECOOP 2019 profile
conf.research.org general profile
ETAPS 2019 profile
Not registered as user yet
Name:
Fangzhen Lin
Contributions
2019
FTfJP
Translating Classes to First-Order Logic: An Example
Show activities from other conferences
Share
ECOOP 2019-profile
View general profile
x
Sat 23 Nov 10:40