Write a Blog >>
DLS 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
co-located with
SPLASH 2018
Toggle navigation
Attending
Venue: Boston Park Plaza Hotel
SPLASH 2018
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Program
Complete Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Track/Call
Organization
DLS 2018 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
Sign in
Sign up
SPLASH 2018
(
series
) /
DLS 2018 (
series
) /
Tomás Diaz
SPLASH 2018 profile
conf.research.org general profile
Registered user since Wed 25 Aug 2021
Name:
Tomás Diaz
Affiliation:
University of Chile, Chile
Contributions
2018
DLS
A Trustworthy Mechanized Formalization of R
Show activities from other conferences
Share
SPLASH 2018-profile
View general profile
x
Wed 14 Aug 21:44