Difference between revisions of "Grigore Rosu - Editing and Service"
From FSL
| Line 34: | Line 34: | ||
'''''Steering committee member''''' | '''''Steering committee member''''' | ||
| − | : CALCO'17, [https://rv2016.imag.fr/ RV'16], [http://cs.swan.ac.uk/wadt16/ WADT'16], [https://fmse.info.uaic.ro/events/WRLA2016/ WRLA'16], [http://rv2015.conf.tuwien.ac.at/ RV'15], [http://discotec2015.inria.fr/ FORTE'15], [http://www.discotec.org/calls/forte-2014-call-for-papers FORTE'14], [http://wadt2014.cs.ovgu.de/ WADT'14], [http://users.dsic.upv.es/workshops/wrla2014/ WRLA'14], [http://rv2013.gforge.inria.fr/ RV'13], [http://forte13.sosy-lab.org/ FORTE/FMOODS'13], [http://rv2012.ku.edu.tr/ RV'12], [http://maude.sip.ucm.es/wadt2012/ WADT'12], [http://wrla2012.lcc.uma.es/ WRLA'12], [http://rv2011.eecs.berkeley.edu/Home.html RV'11], [http://k-framework.org/K11/ K'11], [http://wrla10.ifi.uio.no/ WRLA'10], [http://www-rv2009.imag.fr/ RV'09], [http://rv08.in.tum.de RV'08], [http://react.cs.uni-sb.de/rv2005 RV'05], [http://www.runtime-verification.org/rv2004 RV'04], [http://www.cis.upenn.edu/group/rv2003 RV'03] | + | : WRLA'20, RV'20, [https://coalg.org/mfps-calco2017/ CALCO'17], [https://rv2016.imag.fr/ RV'16], [http://cs.swan.ac.uk/wadt16/ WADT'16], [https://fmse.info.uaic.ro/events/WRLA2016/ WRLA'16], [http://rv2015.conf.tuwien.ac.at/ RV'15], [http://discotec2015.inria.fr/ FORTE'15], [http://www.discotec.org/calls/forte-2014-call-for-papers FORTE'14], [http://wadt2014.cs.ovgu.de/ WADT'14], [http://users.dsic.upv.es/workshops/wrla2014/ WRLA'14], [http://rv2013.gforge.inria.fr/ RV'13], [http://forte13.sosy-lab.org/ FORTE/FMOODS'13], [http://rv2012.ku.edu.tr/ RV'12], [http://maude.sip.ucm.es/wadt2012/ WADT'12], [http://wrla2012.lcc.uma.es/ WRLA'12], [http://rv2011.eecs.berkeley.edu/Home.html RV'11], [http://k-framework.org/K11/ K'11], [http://wrla10.ifi.uio.no/ WRLA'10], [http://www-rv2009.imag.fr/ RV'09], [http://rv08.in.tum.de RV'08], [http://react.cs.uni-sb.de/rv2005 RV'05], [http://www.runtime-verification.org/rv2004 RV'04], [http://www.cis.upenn.edu/group/rv2003 RV'03] |
'''''Program committee member''''' | '''''Program committee member''''' | ||
Revision as of 13:50, 26 June 2019
(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 |
|---|
General chair
Program chair or co-chair
Steering committee member
- WRLA'20, RV'20, CALCO'17, RV'16, WADT'16, WRLA'16, RV'15, 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
- 2018: [DATE'18], FSCD'18, RV'18, FM'18 Industry Day, FM'18, PADL'18, PLDI'18, FSCD'18, WRLA'18, POPL'18
- 2017: FSCD'17, ECOOP'17, CALCO'17, ICSE'17, HSCC'17
- 2016: FM'16, RV'16, ASE'16, VORTEX'16, TACAS'16. WRLA'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)
