RP（到達可能性問題に関する国際会議）は、コンピュータ科学分野における年次学術会議です。
RP は、特に、到達可能性の問題に関心のあるさまざまな分野や背景を持つ学者を集めることを目的としています。
関心のあるトピックには、（ただしこれらに限定されない）無限状態システム、書き換えシステム、動的システムおよびハイブリッドシステムにおける到達可能性問題、論理および検証における到達可能性問題、さまざまな計算モデル、カウンタ時間/セル/通信オートマタにおける到達可能性解析、ペトリネット、代数構造（半群、群、環）の計算的側面、決定可能な到達可能性問題と決定不可能な到達可能性問題の境界、反復マップおよび新しい計算パラダイムにおける予測可能性が含まれます。
ワークショップの歴史
- ドイツ、カイザースラウテルンでのRP'22、LNCS議事録、シュプリンガー・フェアラーク
- RP'21（英国リバプール）、LNCS論文集、第13035巻、シュプリンガー・フェルラーク
- RP'20（フランス、パリ）、LNCS論文集、第12448巻、シュプリンガー・フェルラーク
- RP'19（ベルギー、ブリュッセル）、LNCS論文集、第11674巻、シュプリンガー・フェルラーク
- RP'18（フランス、マルセイユ）、LNCS論文集、第11123巻、シュプリンガー・フェルラーク
- RP'17（英国ロンドン）、LNCS論文集、シュプリンガー・フェルラーク
- RP'16（デンマーク、オールボー）LNCS論文集、シュプリンガー出版
- RP'15（ポーランド、ワルシャワ）LNCS論文集、シュプリンガー・フェルラーク
- RP'14（英国オックスフォード）LNCS論文集、シュプリンガー・フェルラーク
- スウェーデン、ウプサラでのRP'13 、LNCS議事録、Springer Verlag
- RP'12 in Bordeaux, France、LNCS proceedings、Volume 7550/2012、Springer Verlag [ 1 ]
- RP'11、イタリア、ジェノバ、LNCS議事録、第6945巻/2011、Springer Verlag [ 2 ]
- RP'10 in Brno, Czech Republic、LNCS proceedings、Volume 6227/2010、Springer Verlag [ 3 ]
- フランス、パレゾーの RP'09、LNCS 議事録、Vol. 5797/2009、Springer Verlag [ 4 ]
- RP'08、英国リバプール、ENTCS議事録、第223巻、エルゼビア[ 5 ]
- フィンランド、トゥルクで開催されたRP'07、TUCS一般出版シリーズ、第45巻、トゥルクコンピュータサイエンスセンター
参考文献
- ↑ Alain Finkel、Jérôme Leroux、Igor Potapov (編): 到達可能性問題 - 第 6 回国際ワークショップ、RP 2012、フランス、ボルドー、2012 年 9 月 17 ～ 19 日。議事録。Lecture Notes in Computer Science 7550、Springer 2012、 ISBN 978-3-642-33511-2
- ↑ Giorgio Delzanno、Igor Potapov (編): 到達可能性問題 - 第 5 回国際ワークショップ、RP 2011、イタリア、ジェノヴァ、2011 年 9 月 28 ～ 30 日。議事録。Lecture Notes in Computer Science 6945、Springer 2011、 ISBN 978-3-642-24287-8
- ↑ Antonín Kucera、Igor Potapov (編): 到達可能性問題、第 4 回国際ワークショップ、RP 2010、チェコ共和国ブルノ、2010 年 8 月 28 ～ 29 日。議事録。Lecture Notes in Computer Science 6227、Springer 2010、 ISBN 978-3-642-15348-8
- ↑ Olivier Bournez、Igor Potapov (編): 到達可能性問題、第 3 回国際ワークショップ、RP 2009、フランス、パレゾー、2009 年 9 月 23 ～ 25 日。議事録。Lecture Notes in Computer Science 5797、Springer 2009、 ISBN 978-3-642-04419-9
- ↑ Vesa Halava、Igor Potapov: 序文。Electr. Notes Theor. Comput. Sci. 223: 1-2 (2008)
