Curator 75 (talk | contribs) (Created page with "{{Event |Acronym=SPIN 2019 |Title=International SPIN Symposium on Model Checking of Software |Ordinal=26 |In Event Series=Event Series:Afa45868-2978-4f47-a643-02287b0fe711 |Si...") |
Curator 91 (talk | contribs) |
||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=SPIN 2019 | |Acronym=SPIN 2019 | ||
| − | |Title=International SPIN Symposium on Model Checking of Software | + | |Title=26th International SPIN Symposium on Model Checking of Software |
|Ordinal=26 | |Ordinal=26 | ||
|In Event Series=Event Series:Afa45868-2978-4f47-a643-02287b0fe711 | |In Event Series=Event Series:Afa45868-2978-4f47-a643-02287b0fe711 | ||
| Line 10: | Line 10: | ||
|Event Mode=on site | |Event Mode=on site | ||
|Venue=Crowne Plaza Beijing Zhongguancun | |Venue=Crowne Plaza Beijing Zhongguancun | ||
| − | |City= | + | |City=Beijing |
| − | |Region= | + | |Region=Beijing Shi |
|Country=Country:CN | |Country=Country:CN | ||
| + | |Academic Field=Software Engineering; Computer Science | ||
|Official Website=https://conf.researchr.org/home/spin-2019 | |Official Website=https://conf.researchr.org/home/spin-2019 | ||
|Submission Link=https://easychair.org/conferences/?conf=spin19 | |Submission Link=https://easychair.org/conferences/?conf=spin19 | ||
| Line 22: | Line 23: | ||
{{Organizer | {{Organizer | ||
|Contributor Type=organization | |Contributor Type=organization | ||
| − | |Organization= | + | |Organization=Special Interest Group on Software Engineering, Association for Computing Machinery |
}} | }} | ||
{{Event Metric | {{Event Metric | ||
Revision as of 08:29, 8 August 2023
Deadlines
|
||
| Submission |
|
||
| Notification |
Metrics
Accepted Papers
14
Venue
Crowne Plaza Beijing Zhongguancun, Beijing, Beijing Shi, China
