Difference between revisions of "Grigore Rosu - Editing and Service"
From FSL
| Line 34: | Line 34: | ||
'''''Program committee member''''' | '''''Program committee member''''' | ||
| − | : 2016: [http://www.etaps.org/index.php/2016/tacas TACAS'16] | + | : 2017: [http://icse2017.gatech.edu/ ICSE'17] |
| + | : 2016: [http://fm2016.cs.ucy.ac.cy/ FM'16], [https://rv2016.imag.fr/ RV'16], [http://www.ase2016.org/ ASE'16], [http://www.etaps.org/index.php/2016/tacas TACAS'16] | ||
: 2015: [http://ase2015.unl.edu/ ASE'15], [http://2015.splashcon.org/track/oopsla OOPSLA'15], [http://rv2015.conf.tuwien.ac.at/ RV'15], [http://i-cav.org/2015/ CAV'15], [http://fm2015.ifi.uio.no/ FM'15], [http://events.cs.bham.ac.uk/mfps31/ MFPS'15], [http://nasaformalmethods.org/ NFM'15], [http://www.aosd.net/2015/mvtrack MV'15] | : 2015: [http://ase2015.unl.edu/ ASE'15], [http://2015.splashcon.org/track/oopsla OOPSLA'15], [http://rv2015.conf.tuwien.ac.at/ RV'15], [http://i-cav.org/2015/ CAV'15], [http://fm2015.ifi.uio.no/ FM'15], [http://events.cs.bham.ac.uk/mfps31/ MFPS'15], [http://nasaformalmethods.org/ NFM'15], [http://www.aosd.net/2015/mvtrack MV'15] | ||
: 2014: [http://program-transformation.org/GPCE14/WebHome GPCE'14], [http://vsl2014.at/meetings/HCVS-index.html HCVS'14], [http://www.cyprusconferences.org/tcs2014/index.php TCS'14], [http://rv2014.imag.fr RV'14], [http://fse22.gatech.edu FSE'14], [http://fmi.unibuc.ro/ictac2014/ ICTAC'14], [http://users.dsic.upv.es/workshops/wrla2014/ WRLA'14], [http://www.coalg.org/cmcs14/ CMCS'14], [http://conferences.inf.ed.ac.uk/pldi2014/ PLDI'14] (ERC), [http://www.etaps.org/2014/fossacs FOSSACS'14] | : 2014: [http://program-transformation.org/GPCE14/WebHome GPCE'14], [http://vsl2014.at/meetings/HCVS-index.html HCVS'14], [http://www.cyprusconferences.org/tcs2014/index.php TCS'14], [http://rv2014.imag.fr RV'14], [http://fse22.gatech.edu FSE'14], [http://fmi.unibuc.ro/ictac2014/ ICTAC'14], [http://users.dsic.upv.es/workshops/wrla2014/ WRLA'14], [http://www.coalg.org/cmcs14/ CMCS'14], [http://conferences.inf.ed.ac.uk/pldi2014/ PLDI'14] (ERC), [http://www.etaps.org/2014/fossacs FOSSACS'14] | ||
Revision as of 18:14, 17 March 2016
(back to Grigore Rosu's page)
| Editing |
|---|
I edited or co-edited the following conference/workshop proceedings and journal special issues:
FMSD 41(3) - Special issue dedicated to RV'10
LNCS 7273 - Proceedings of FMOODS-FORTE'12
ENTCS 238(3) - Proceedings of WRLA'08
HOSC 20(1/2) - Special issue dedicated to WRLA'06
LNCS 4262 - Proceedings of FATES/RV'06
FMSD 27(3) - Special issue dedicated to RV'02
ENTCS 70(4) - Proceedings of RV'02
FMSD 24(2) - Special issue dedicated to RV'01
ENTCS 55(2) - Proceedings of RV'01
| Service |
|---|
Program chair or co-chair
Steering committee member
- FORTE'15, FORTE'14, WADT'14, WRLA'14, RV'13, FORTE/FMOODS'13, RV'12, WADT'12, WRLA'12, RV'11, K'11, WRLA'10, RV'09, RV'08, RV'05, RV'04, RV'03
Program committee member
- 2017: ICSE'17
- 2016: FM'16, RV'16, ASE'16, TACAS'16
- 2015: ASE'15, OOPSLA'15, RV'15, CAV'15, FM'15, MFPS'15, NFM'15, MV'15
- 2014: GPCE'14, HCVS'14, TCS'14, RV'14, FSE'14, ICTAC'14, WRLA'14, CMCS'14, PLDI'14 (ERC), FOSSACS'14
- 2013: LPAR'13, ASE'13, RV'13, PLAS'13
- 2012: WODA'12, PADTAD'12, MFCS'12, ASE'12, FSE'12, FMOODS&FORTE'12, IJCAR'12, RTA'12, TOOLS'12, CMCS'12, WRLA'12, LPAR'12
- 2011: RV'11, ASE'11, PLDI'11 (ERC), FM'11, MFPS'11, RTA'11, NFM'11
- 2010: AMAST'10, WADT'10
- 2009: PPDP'09, CALCO'09, SOS'09, PADTAD'09, RV'09, FOSSACS'09, ICDCN'09
- 2008: AMAST'08, FMOODS'08, RV'08, WRLA'08, WADT'08, PADTAD'08, SOS'08, CAGSD'08
- 2007: REM'07, SOS'07, CALCO'07, PADTAD'07, FMOODS'07, RV'07
- 2006: ICCP'06 (the SRV'06 track), FATES/RV'06, ICCGI'06, PADTAD'06, LOPSTR'06, WRLA'06
- 2005-2001: IBM Verification Conference 2005, RV'05, CMCS'04, WRLA'04, CMCS'03, RV'02, RV'01.
Organizer or co-organizer
- Summer School on Language Frameworks 2012, CALCO'09 Tool Session, AMAST'08, WRLA'08, CALCO'07 Tool Session, FATES/RV'06, WRLA'06 Rewriting Competition, RV'04, RV'02, RV'01
Moderator or co-moderator of discussion lists
- K User List
- K Developers List (open only to K developers)
- MOP (open for subscription only to FSL people working on runtime verification)
- Runtime Verification (public, large list)
- Formal Methods (open only to UIUC students and staff)
- Programming Languages (open only to UIUC students and staff)
- Formal Systems Laboratory (open only to FSL students, researchers and visitors)
- Behavior (this list is currently closed)
