* ICSE 2018 *
Sun 27 May - Sun 3 June 2018
Gothenburg, Sweden
Toggle navigation
Attending
Venue: Congress center Gothia Towers
Registration
Visa invitation letter
Accommodation, Hotels, Sharing rooms
Gothenburg
Travel
Travel and participation support
Social Events
Excursions and Side Program
Support Opportunities and Exibitions
Childcare
Resources
ICSE 2018 - Call for Participation
Sponsors and Supporters
ICSE Morning Run
Football
Program
Complete Program
Your Program
Week Overview
Main Conference
Keynotes
50 years of SE
Industry Program
Industry Forum
Technical briefings
New Faculty Symposium
Lindholmen Software Development Day
2001: A Space Odyssey Symposium - 50 years celebration
Social Events
Community meetings
Awards
Sat 26 May
Sun 27 May
Mon 28 May
Tue 29 May
Wed 30 May
Thu 31 May
Fri 1 Jun
Sat 2 Jun
Sun 3 Jun
Tracks
* ICSE 2018 *
Plenary Session
Technical Papers
Journal first papers
Workshops
SEIP - Software Engineering in Practice
SEET - Software Engineering Education and Training
SEIS - Software Engineering in Society
NIER - New Ideas and Emerging Results
IF - Industry Forum
DEMO - Demonstrations
Posters
DS - Doctoral Symposium
TB - Technical Briefings
SRC - ACM Student Research Competition
SCORE
Student Volunteers
Co-located events
Submitting to ICSE2018: Q&A
Co-hosted Conferences
FormaliSE 2018
ICGSE 2018
ICGSE 2018
ICGSE 2018
Research papers
ICGSE 2018
Experience reports
ICGSE 2018
Industry talks
ICGSE 2018
Doctoral Symposium
ICPC 2018
ICPC 2018
Technical Research
ICPC 2018
Early Research Achievement
ICPC 2018
Tool Demonstration
ICPC 2018
Industry
ICSSP 2018
MSR 2018
MSR 2018
Technical Papers
MSR 2018
Mining Challenge
MSR 2018
Data Showcase
MSR 2018
FOSS Award
MobileSoft 2018
TechDebt 2018
Co-hosted Symposiums
SEAMS 2018
SEiA 2018
Committees
* ICSE 2018 *
Organizing committee
Tracks
Technical Papers
Program board
Program committee
Journal first papers
Selection Committee
Workshops
Workshops program commitee
SEIP - Software Engineering in Practice
Program committee
SEET - Software Engineering Education and Training
SEET Program committee
SEIS - Software Engineering in Society
SEIS Program committee
NIER - New Ideas and Emerging Results
Program Committee
IF - Industry Forum
Organizing Committee
DEMO - Demonstrations
Demonstrations Program Committee
Posters
Posters Program Committee
DS - Doctoral Symposium
DS Program committee
TB - Technical Briefings
Program Committee
SRC - ACM Student Research Competition
Program Committee
SCORE
SCORE Program Committee
Co-hosted Conferences
FormaliSE 2018
FormaliSE 2018
General Chairs
FormaliSE 2018
Program Committee
ICGSE 2018
Organizing Committee
ICPC 2018
ICPC 2018 Organization Committee
ICPC 2018 Steering Committee
Technical Research
Program Committee
Early Research Achievement
Program Committee
Tool Demonstration
Program Committee
Industry
Program Committee
ICSSP 2018
ICSSP 2018
Organizing Committee
ICSSP 2018
Program Committee
MSR 2018
Organizing committee
Technical Papers
FOSS Award Committee
Technical Papers
Program Committee
Mining Challenge
Mining Challenge Committee
Data Showcase
Data Showcase Committe
FOSS Award
FOSS Award
MobileSoft 2018
Not available
TechDebt 2018
TechDebt 2018
Organizing Committee
Co-hosted Symposiums
SEAMS 2018
SEAMS 2018
Organizing Committee
SEAMS 2018
Program Committee
SEAMS 2018
Doctoral Projects Program Committee
SEAMS 2018
Artifact Evaluation Committee
SEAMS 2018
Steering Committee
SEiA 2018
SEiA
Organizing Committee
SEiA
Program Committee
Search
Other Editions
Series
ICSE 2019
Sign in
Sign up
* ICSE 2018 *
(
series
) /
R Venkatesh
* ICSE 2018 * profile
conf.research.org general profile
Not registered as user yet
Name:
R Venkatesh
* ICSE 2018 * Activities
Author of Generalizing Specific-Instance Interpolation Proofs with SyGuS within the NIER - New Ideas and Emerging Results -track in * ICSE 2018 *
Show activities from other conferences
Share
Using general profile
x
Sat 21 Apr 19:33