Internationell konferens om nåbarhetsproblem
| Internationell konferens om nåbarhetsproblem | |
|---|---|
| Förkortning | RP |
| Disciplin | Automatateori , algebraiska strukturer , logik , verifiering , beräkningsmodeller |
| Publiceringsinformation | |
| Utgivare | Lecture Notes in Computer Science , Springer |
| Historia | 2007– |
| Frekvens | årlig |
RP , International Conference on Reachability Problems är en årlig akademisk konferens inom datavetenskap .
RP är specifikt inriktat på att samla forskare från olika discipliner och bakgrunder som är intresserade av nåbarhetsproblem som förekommer i
- Algebraiska strukturer
- Automatateori och formella språk
- Samtidighets- och distribuerade beräkningar
- Beslutsprocedurer i beräkningsmodeller
- Hybridsystem
- Logik och modellkontroll
- Formell verifiering av system med ändliga och oändliga tillstånd
- Algoritmisk spelteori
Ämnen av intresse inkluderar (men är inte begränsade till): Nåbarhetsproblem i system med oändligt tillstånd, omskrivningssystem , dynamiska och hybridsystem; nåbarhetsproblem i logik och verifiering; nåbarhetsanalys i olika beräkningsmodeller, räknare tidsstyrda/ cellulära/ kommunicerande automater; Petrinät ; beräkningsaspekter av algebraiska strukturer (semigrupper, grupper och ringar); gränser mellan avgörbara och oavgörbara nåbarhetsproblem; förutsägbarhet i iterativa kartor och nya beräkningsparadigm.
Verkstadens historia
- RP'22 i Kaiserslautern, Tyskland, LNCS-förfaranden, Springer Verlag
- RP'21 i Liverpool, Storbritannien, LNCS-förhandlingar, volym 13035 , Springer Verlag
- RP'20 i Paris, Frankrike, LNCS-förhandlingar, volym 12448 , Springer Verlag
- RP'19 i Bryssel, Belgien, LNCS-förhandlingar, volym 11674, Springer Verlag
- RP'18 i Marseille, Frankrike, LNCS-förhandlingar, volym 11123 , Springer Verlag
- RP'17 i London, Storbritannien, LNCS-förfaranden, Springer Verlag
- RP'16 i Aalborg, Danmark, LNCS-förfaranden, Springer Verlag
- RP'15 i Warszawa, Polen, LNCS-förfaranden, Springer Verlag
- RP'14 i Oxford, Storbritannien, LNCS-förfaranden, Springer Verlag
- RP'13 i Uppsala, Sverige, LNCS processer, Springer Verlag
- RP'12 i Bordeaux, Frankrike, LNCS-förfaranden, volym 7550/2012, Springer Verlag
- RP'11 i Genova, Italien, LNCS-förfaranden, volym 6945/2011, Springer Verlag
- RP'10 i Brno, Tjeckien, LNCS-förfaranden, volym 6227/2010, Springer Verlag
- RP'09 i Palaiseau, Frankrike, LNCS-förfaranden, volym 5797/2009, Springer Verlag
- RP'08 i Liverpool, Storbritannien, ENTCS-förfaranden, volym 223, Elsevier
- RP'07 i Åbo, Finland, TUCS General Publication Series, Volym 45, Åbo centrum för datavetenskap