Difference between revisions of "Grigore Rosu - Editing and Service"
From FSL
| (7 intermediate revisions by one user not shown) | |||
| 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] | + | : [ASE'20], WRLA'20, RV'20, [https://2019.ase-conferences.org/home ASE'19], [https://www.react.uni-saarland.de/rv2019/index.html RV'19], [http://www.ase2018.com/ ASE'18], [https://rv2018.isp.uni-luebeck.de/ RV'18], [http://wadt18.cs.rhul.ac.uk/ WADT'18], [https://project.inria.fr/wrla18/ WRLA'18], [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''''' | ||
| − | : 2017: [http://icse2017.gatech.edu/ ICSE'17], [http://hscc2017.ece.illinois.edu/ HSCC'17] | + | : 2018: [DATE'18], [https://www.cs.le.ac.uk/events/fscd2018/ FSCD'18], [https://rv2018.isp.uni-luebeck.de/ RV'18], [https://www.win.tue.nl/~evink/FM2018/industry-day/index.html FM'18 Industry Day], [https://www.win.tue.nl/~evink/FM2018/index.html FM'18], [https://popl18.sigplan.org/track/PADL-2018 PADL'18], [https://pldi18.sigplan.org PLDI'18], [http://www.cs.le.ac.uk/events/fscd2018/ FSCD'18], [https://project.inria.fr/wrla18/ WRLA'18], [http://popl18.sigplan.org/home POPL'18] |
| + | : 2017: [http://rv2017.cs.manchester.ac.uk/ RV'17], [http://www.cs.ox.ac.uk/conferences/fscd2017/ FSCD'17], [http://2017.ecoop.org/home ECOOP'17], [http://coalg.org/mfps-calco2017/cfp-calco.html CALCO'17], [http://icse2017.gatech.edu/ ICSE'17], [http://hscc2017.ece.illinois.edu/ HSCC'17] | ||
: 2016: [http://fm2016.cs.ucy.ac.cy/ FM'16], [https://rv2016.imag.fr/ RV'16], [http://www.ase2016.org/ ASE'16], [http://2016.ecoop.org/track/VORTEX-2016 VORTEX'16], [http://www.etaps.org/index.php/2016/tacas TACAS'16]. [https://fmse.info.uaic.ro/events/WRLA2016/ WRLA'16] | : 2016: [http://fm2016.cs.ucy.ac.cy/ FM'16], [https://rv2016.imag.fr/ RV'16], [http://www.ase2016.org/ ASE'16], [http://2016.ecoop.org/track/VORTEX-2016 VORTEX'16], [http://www.etaps.org/index.php/2016/tacas TACAS'16]. [https://fmse.info.uaic.ro/events/WRLA2016/ WRLA'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] | ||
Latest revision as of 14:11, 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
- [ASE'20], WRLA'20, RV'20, ASE'19, RV'19, ASE'18, RV'18, WADT'18, WRLA'18, 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: RV'17, 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)
