Giters
abz-conf
/
abz-conf.github.io
ABZ Conference and Community Website
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
0
Watchers:
3
Issues:
29
Forks:
1
abz-conf/abz-conf.github.io Issues
create a "community" mailing list
Updated
a year ago
Comments count
1
Repair Top-Level Navigation Element Highlighting
Updated
a year ago
Repair Logo Rendering
Updated
a year ago
Repair Twitter Plugin Integration
Updated
a year ago
add keynotes
Closed
a year ago
shorten the ASM-website
Closed
a year ago
remove references "[3]" from website
Closed
2 years ago
Comments count
3
remove items with "not available"
Closed
2 years ago
Comments count
1
Add 2023 case study
Updated
2 years ago
add submenu for methods
Updated
2 years ago
Comments count
1
handle not available models
Closed
2 years ago
Comments count
2
add other contributions for case studies (outside of ABZ)
Updated
2 years ago
add "other case studies"
Updated
2 years ago
add special issues for case studies
Updated
2 years ago
merge Classical B with Event-B on the methods site
Updated
2 years ago
Comments count
1
introduce generic e-mail-address
Closed
2 years ago
Comments count
3
change banner
Closed
2 years ago
add publications of ABZ 2021
Updated
2 years ago
add publications of ABZ 2020
Updated
2 years ago
add publications of ABZ 2018
Updated
2 years ago
add publications of ABZ 2016
Updated
2 years ago
add publications of ABZ 2014
Updated
2 years ago
add publications of ABZ 2012
Updated
2 years ago
add publications of ABZ 2010
Updated
2 years ago
add publications of ABZ 2008
Updated
2 years ago
add workshops
Updated
2 years ago
give a definition of formal state based methods
Updated
2 years ago
Comments count
2
add links to LNCS publications and SCP-SI for each conference
Updated
2 years ago
add case study publications for ABZ 2020
Closed
3 years ago