diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..95b2633 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +.bundle/ +.sass-cache/ +_site/ +vendor/ diff --git a/Gemfile b/Gemfile index bb94df8..ea24780 100644 --- a/Gemfile +++ b/Gemfile @@ -1,4 +1,9 @@ -# frozen_string_literal: true - source "https://rubygems.org" -gemspec + +gem "github-pages", group: :jekyll_plugins + +# needed for compatibility +gem "bundler", "~> 2.1" + +# needed to avoid an error +gem "webrick", "~> 1.8" diff --git a/Gemfile.lock b/Gemfile.lock index 3f77f76..ef84c59 100644 --- a/Gemfile.lock +++ b/Gemfile.lock @@ -1,82 +1,289 @@ -PATH - remote: . - specs: - jekyll-theme-conference (3.6.3) - jekyll (~> 4.0) - GEM remote: https://rubygems.org/ specs: - addressable (2.8.1) - public_suffix (>= 2.0.2, < 6.0) + activesupport (8.0.0) + base64 + benchmark (>= 0.3) + bigdecimal + concurrent-ruby (~> 1.0, >= 1.3.1) + connection_pool (>= 2.2.5) + drb + i18n (>= 1.6, < 2) + logger (>= 1.4.2) + minitest (>= 5.1) + securerandom (>= 0.3) + tzinfo (~> 2.0, >= 2.0.5) + uri (>= 0.13.1) + addressable (2.8.7) + public_suffix (>= 2.0.2, < 7.0) + base64 (0.2.0) + benchmark (0.4.0) + bigdecimal (3.1.8) + coffee-script (2.4.1) + coffee-script-source + execjs + coffee-script-source (1.12.2) colorator (1.1.0) - concurrent-ruby (1.2.0) + commonmarker (0.23.10) + concurrent-ruby (1.3.4) + connection_pool (2.4.1) + csv (3.3.0) + dnsruby (1.72.2) + simpleidn (~> 0.2.1) + drb (2.2.1) em-websocket (0.5.3) eventmachine (>= 0.12.9) http_parser.rb (~> 0) + ethon (0.16.0) + ffi (>= 1.15.0) eventmachine (1.2.7) - ffi (1.15.5) + execjs (2.10.0) + faraday (2.12.1) + faraday-net_http (>= 2.0, < 3.5) + json + logger + faraday-net_http (3.4.0) + net-http (>= 0.5.0) + ffi (1.17.0-arm64-darwin) + ffi (1.17.0-x86_64-darwin) + ffi (1.17.0-x86_64-linux-gnu) forwardable-extended (2.6.0) - google-protobuf (3.21.12) + gemoji (4.1.0) + github-pages (232) + github-pages-health-check (= 1.18.2) + jekyll (= 3.10.0) + jekyll-avatar (= 0.8.0) + jekyll-coffeescript (= 1.2.2) + jekyll-commonmark-ghpages (= 0.5.1) + jekyll-default-layout (= 0.1.5) + jekyll-feed (= 0.17.0) + jekyll-gist (= 1.5.0) + jekyll-github-metadata (= 2.16.1) + jekyll-include-cache (= 0.2.1) + jekyll-mentions (= 1.6.0) + jekyll-optional-front-matter (= 0.3.2) + jekyll-paginate (= 1.1.0) + jekyll-readme-index (= 0.3.0) + jekyll-redirect-from (= 0.16.0) + jekyll-relative-links (= 0.6.1) + jekyll-remote-theme (= 0.4.3) + jekyll-sass-converter (= 1.5.2) + jekyll-seo-tag (= 2.8.0) + jekyll-sitemap (= 1.4.0) + jekyll-swiss (= 1.0.0) + jekyll-theme-architect (= 0.2.0) + jekyll-theme-cayman (= 0.2.0) + jekyll-theme-dinky (= 0.2.0) + jekyll-theme-hacker (= 0.2.0) + jekyll-theme-leap-day (= 0.2.0) + jekyll-theme-merlot (= 0.2.0) + jekyll-theme-midnight (= 0.2.0) + jekyll-theme-minimal (= 0.2.0) + jekyll-theme-modernist (= 0.2.0) + jekyll-theme-primer (= 0.6.0) + jekyll-theme-slate (= 0.2.0) + jekyll-theme-tactile (= 0.2.0) + jekyll-theme-time-machine (= 0.2.0) + jekyll-titles-from-headings (= 0.5.3) + jemoji (= 0.13.0) + kramdown (= 2.4.0) + kramdown-parser-gfm (= 1.1.0) + liquid (= 4.0.4) + mercenary (~> 0.3) + minima (= 2.5.1) + nokogiri (>= 1.16.2, < 2.0) + rouge (= 3.30.0) + terminal-table (~> 1.4) + webrick (~> 1.8) + github-pages-health-check (1.18.2) + addressable (~> 2.3) + dnsruby (~> 1.60) + octokit (>= 4, < 8) + public_suffix (>= 3.0, < 6.0) + typhoeus (~> 1.3) + html-pipeline (2.14.3) + activesupport (>= 2) + nokogiri (>= 1.4) http_parser.rb (0.8.0) - i18n (1.12.0) + i18n (1.14.6) concurrent-ruby (~> 1.0) - jekyll (4.3.2) + jekyll (3.10.0) addressable (~> 2.4) colorator (~> 1.0) + csv (~> 3.0) em-websocket (~> 0.5) - i18n (~> 1.0) - jekyll-sass-converter (>= 2.0, < 4.0) + i18n (>= 0.7, < 2) + jekyll-sass-converter (~> 1.0) jekyll-watch (~> 2.0) - kramdown (~> 2.3, >= 2.3.1) - kramdown-parser-gfm (~> 1.0) + kramdown (>= 1.17, < 3) liquid (~> 4.0) - mercenary (>= 0.3.6, < 0.5) + mercenary (~> 0.3.3) pathutil (~> 0.9) - rouge (>= 3.0, < 5.0) + rouge (>= 1.7, < 4) safe_yaml (~> 1.0) - terminal-table (>= 1.8, < 4.0) - webrick (~> 1.7) - jekyll-sass-converter (3.0.0) - sass-embedded (~> 1.54) + webrick (>= 1.0) + jekyll-avatar (0.8.0) + jekyll (>= 3.0, < 5.0) + jekyll-coffeescript (1.2.2) + coffee-script (~> 2.2) + coffee-script-source (~> 1.12) + jekyll-commonmark (1.4.0) + commonmarker (~> 0.22) + jekyll-commonmark-ghpages (0.5.1) + commonmarker (>= 0.23.7, < 1.1.0) + jekyll (>= 3.9, < 4.0) + jekyll-commonmark (~> 1.4.0) + rouge (>= 2.0, < 5.0) + jekyll-default-layout (0.1.5) + jekyll (>= 3.0, < 5.0) + jekyll-feed (0.17.0) + jekyll (>= 3.7, < 5.0) + jekyll-gist (1.5.0) + octokit (~> 4.2) + jekyll-github-metadata (2.16.1) + jekyll (>= 3.4, < 5.0) + octokit (>= 4, < 7, != 4.4.0) + jekyll-include-cache (0.2.1) + jekyll (>= 3.7, < 5.0) + jekyll-mentions (1.6.0) + html-pipeline (~> 2.3) + jekyll (>= 3.7, < 5.0) + jekyll-optional-front-matter (0.3.2) + jekyll (>= 3.0, < 5.0) + jekyll-paginate (1.1.0) + jekyll-readme-index (0.3.0) + jekyll (>= 3.0, < 5.0) + jekyll-redirect-from (0.16.0) + jekyll (>= 3.3, < 5.0) + jekyll-relative-links (0.6.1) + jekyll (>= 3.3, < 5.0) + jekyll-remote-theme (0.4.3) + addressable (~> 2.0) + jekyll (>= 3.5, < 5.0) + jekyll-sass-converter (>= 1.0, <= 3.0.0, != 2.0.0) + rubyzip (>= 1.3.0, < 3.0) + jekyll-sass-converter (1.5.2) + sass (~> 3.4) + jekyll-seo-tag (2.8.0) + jekyll (>= 3.8, < 5.0) + jekyll-sitemap (1.4.0) + jekyll (>= 3.7, < 5.0) + jekyll-swiss (1.0.0) + jekyll-theme-architect (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-theme-cayman (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-theme-dinky (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-theme-hacker (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-theme-leap-day (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-theme-merlot (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-theme-midnight (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-theme-minimal (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-theme-modernist (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-theme-primer (0.6.0) + jekyll (> 3.5, < 5.0) + jekyll-github-metadata (~> 2.9) + jekyll-seo-tag (~> 2.0) + jekyll-theme-slate (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-theme-tactile (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-theme-time-machine (0.2.0) + jekyll (> 3.5, < 5.0) + jekyll-seo-tag (~> 2.0) + jekyll-titles-from-headings (0.5.3) + jekyll (>= 3.3, < 5.0) jekyll-watch (2.2.1) listen (~> 3.0) + jemoji (0.13.0) + gemoji (>= 3, < 5) + html-pipeline (~> 2.2) + jekyll (>= 3.0, < 5.0) + json (2.8.2) kramdown (2.4.0) rexml kramdown-parser-gfm (1.1.0) kramdown (~> 2.0) liquid (4.0.4) - listen (3.8.0) + listen (3.9.0) rb-fsevent (~> 0.10, >= 0.10.3) rb-inotify (~> 0.9, >= 0.9.10) - mercenary (0.4.0) + logger (1.6.1) + mercenary (0.3.6) + minima (2.5.1) + jekyll (>= 3.5, < 5.0) + jekyll-feed (~> 0.9) + jekyll-seo-tag (~> 2.1) + minitest (5.25.1) + net-http (0.5.0) + uri + nokogiri (1.16.7-arm64-darwin) + racc (~> 1.4) + nokogiri (1.16.7-x86_64-darwin) + racc (~> 1.4) + nokogiri (1.16.7-x86_64-linux) + racc (~> 1.4) + octokit (4.25.1) + faraday (>= 1, < 3) + sawyer (~> 0.9) pathutil (0.16.2) forwardable-extended (~> 2.6) - public_suffix (5.0.1) - rake (12.3.3) + public_suffix (5.1.1) + racc (1.8.1) rb-fsevent (0.11.2) - rb-inotify (0.10.1) + rb-inotify (0.11.1) ffi (~> 1.0) - rexml (3.2.5) - rouge (4.0.1) + rexml (3.3.9) + rouge (3.30.0) + rubyzip (2.3.2) safe_yaml (1.0.5) - sass-embedded (1.58.0-x86_64-darwin) - google-protobuf (~> 3.21) - sass-embedded (1.58.0-x86_64-linux-gnu) - google-protobuf (~> 3.21) - terminal-table (3.0.2) - unicode-display_width (>= 1.1.1, < 3) - unicode-display_width (2.4.2) - webrick (1.8.1) + sass (3.7.4) + sass-listen (~> 4.0.0) + sass-listen (4.0.0) + rb-fsevent (~> 0.9, >= 0.9.4) + rb-inotify (~> 0.9, >= 0.9.7) + sawyer (0.9.2) + addressable (>= 2.3.5) + faraday (>= 0.17.3, < 3) + securerandom (0.3.2) + simpleidn (0.2.3) + terminal-table (1.8.0) + unicode-display_width (~> 1.1, >= 1.1.1) + typhoeus (1.4.1) + ethon (>= 0.9.0) + tzinfo (2.0.6) + concurrent-ruby (~> 1.0) + unicode-display_width (1.8.0) + uri (1.0.3) + webrick (1.9.0) PLATFORMS + arm64-darwin-23 x86_64-darwin-22 x86_64-linux DEPENDENCIES bundler (~> 2.1) - jekyll-theme-conference! - rake (~> 12.0) + github-pages + webrick (~> 1.8) BUNDLED WITH 2.4.6 diff --git a/_config.example.yml b/_config.example.yml deleted file mode 100644 index 9f68fbf..0000000 --- a/_config.example.yml +++ /dev/null @@ -1,180 +0,0 @@ -title: Conference 2020 -preposition: at -description: >- - Conference of a random organization on January 1st in Zurich, Switzerland -baseurl: "" # the subpath of your site, e.g. /blog -url: "https://example.com" # the base hostname & protocol for your site, e.g. https://example.com - -theme: jekyll-theme-conference - -# Build settings -markdown: kramdown -sass: - style: compressed - -# Additional exclude from processing -exclude: - - vendor - - .github/ - - README.md - - LICENSE.md - - REDISTRIBUTED.md - - purgecss.config.js - -# Collections and their defaults -collections: - talks: - output: true - permalink: /:collection/:title/ - speakers: - output: true - permalink: /:collection/:title/ - rooms: - output: true - permalink: /:collection/:title/ - -defaults: - - scope: - path: "" - type: talks - values: - layout: talk - - scope: - path: "" - type: speakers - values: - layout: speaker - - scope: - path: "" - type: rooms - values: - layout: room - - -conference: - - # Language - lang: en - - # Show theme errors: - show_errors: True - - # Navigation bar - navigation: - logo: - name: Digital Society Switzerland - # img: '' - url: 'https://digitale-gesellschaft.ch/' - links: - - name: Program - relative_url: /program/ - - name: Talks - relative_url: /talks/ - - name: Speakers - relative_url: /speakers/ - - name: Location - relative_url: /location/ - - name: Previous Editions - menu: - - name: 2020 (current) - disabled: true - - name: 2019 - relative_url: /2019/ - - name: 2018 - relative_url: /2018/ - - # Link Preview for Sharing - link_preview: - # also adapt "preposition" property at top for more meaningful descriptions - disable: false - img: - twitter: 'twitter_preview.png' # inside /assets/images/ - open_graph: 'facebook_preview.png' # inside /assets/images/ - - # Main landing page - main: - # logo: - # img: '' - links: - - name: Program - relative_url: /program/ - - name: How to get there - relative_url: /location/ - - name: Tickets - disabled: true - absolute_url: '' - - # Information boxes - info_bars: - - title: Welcome to the Conference Theme for Jekyll! - color: primary - main_only: true - text: | - The Theme was originally made for the [Winterkongress](https://www.digitale-gesellschaft.ch/kongress/), a yearly conference of the [Digital Society Switzerland](https://digitale-gesellschaft.ch/). - - --- - - See the [README](github.com/DigitaleGesellschaft/jekyll-theme-conference/) on the project's GitHub repository for further information on how to configure and adapt it to your needs. - - text: This is just some random content for demonstration purposes. - color: warning - pages_only: true - - # Live indications - live: - date: 01.01.2020 - timezone: GMT+1 - stop: 240 # in minutes - streaming: - enable: true - pause: 60 # in minutes - prepend: 5 # in minutes - extend: 5 # in minutes - demo: - enable: false - duration: 300 # in seconds - pause: 10 # in seconds - - talks: - # Talk categories - main_categories: - - name: Cat A - color: info - - name: Cat B - color: success - - # Hide icons on talk overview page - hide_icons: false - - speakers: - # Show first and last name - show_firstname: true - - location: - # Disable links to locations - hide: false - # URL of location / room overview page - url: '/location' - # Main page title shown on location/room navigation bar - navbar_title: 'Location' - # Show map on location main page. Set `map: false` if you don't want to - # display it. - map: - # Initial map center point - home_coord: 47.37808, 8.53935 - # Alternative map providers can be found on https://leaflet-extras.github.io/leaflet-providers/preview/ - # The following do match the Bootstrap design not too badly: - # - Thunderforest.Neighbourhood - # - Esri.WorldTopoMap - map_provider: "OpenStreetMap.Mapnik" - default_zoom: 17 - - - program: - # URL of program page - url: '/program' - - # Time steps in program table - time_steps: 15 # in minutes - - # Show intermediary time steps (next to full hours) - show_alltimes: true diff --git a/_config.yml b/_config.yml index 9f68fbf..a123036 100644 --- a/_config.yml +++ b/_config.yml @@ -1,17 +1,23 @@ -title: Conference 2020 -preposition: at +title: SAIV 2025 +#preposition: at description: >- - Conference of a random organization on January 1st in Zurich, Switzerland -baseurl: "" # the subpath of your site, e.g. /blog -url: "https://example.com" # the base hostname & protocol for your site, e.g. https://example.com + The 8th International Symposium on AI Verification in Zagreb on July 21–22, 2025 +baseurl: /2025 # the subpath of your site, e.g. /blog +url: "https://www.aiverification.org" # the base hostname & protocol for your site, e.g. https://example.com -theme: jekyll-theme-conference +remote_theme: "DigitaleGesellschaft/jekyll-theme-conference@v3.6.1" # Build settings markdown: kramdown sass: style: compressed +plugins: + - jekyll-include-cache + +svg: + optimize: true + # Additional exclude from processing exclude: - vendor @@ -50,131 +56,150 @@ defaults: values: layout: room - conference: - # Language lang: en # Show theme errors: - show_errors: True + show_errors: False # Navigation bar navigation: logo: - name: Digital Society Switzerland - # img: '' - url: 'https://digitale-gesellschaft.ch/' + name: SAIV + img: 'logo.svg' + #url: '' links: - - name: Program - relative_url: /program/ - - name: Talks - relative_url: /talks/ - - name: Speakers - relative_url: /speakers/ - - name: Location - relative_url: /location/ - - name: Previous Editions + - name: About + relative_url: /about/ + - name: Call for Papers + relative_url: /call/ + - name: Committees + relative_url: /committees/ + #- name: Program + # relative_url: /program/ + #- name: Talks + # relative_url: /talks/ + #- name: Speakers & Authors + # relative_url: /speakers/ + #- name: Location + #relative_url: /location/ + - name: Editions menu: - - name: 2020 (current) - disabled: true - - name: 2019 - relative_url: /2019/ - - name: 2018 - relative_url: /2018/ + - name: SAIV 2025 + disabled: true + - name: SAIV 2024 + absolute_url: /2024 + - name: FoMLAS 2023 + absolute_url: 'https://fomlas2023.wixsite.com/fomlas2023' + - name: WOLVERINE 2023 + absolute_url: 'https://wolverine-workshop.github.io/Wolverine2023/' + - name: FoMLAS 2022 + absolute_url: 'https://fomlas2023.wixsite.com/fomlas2022' + - name: WOLVERINE 2022 + absolute_url: 'https://wolverine-workshop.github.io/Wolverine2022/' + - name: FoMLAS 2021 + absolute_url: 'https://fomlas2021.wixsite.com/fomlas2021' + - name: WOLVERINE 2021 + absolute_url: 'https://wolverine-workshop.github.io/Wolverine2021/' + - name: FoMLAS 2020 + absolute_url: 'https://fomlas2020.wixsite.com/fomlas2020' + - name: FoMLAS 2019 + absolute_url: 'https://fomlas2019.wixsite.com/fomlas2019' + - name: FoMLAS 2018 + absolute_url: 'https://cps-vo.org/node/40531' # Link Preview for Sharing link_preview: # also adapt "preposition" property at top for more meaningful descriptions disable: false - img: - twitter: 'twitter_preview.png' # inside /assets/images/ - open_graph: 'facebook_preview.png' # inside /assets/images/ + #img: + #twitter: 'twitter_preview.png' # inside /assets/images/ + #open_graph: 'facebook_preview.png' # inside /assets/images/ # Main landing page main: - # logo: - # img: '' + logo: + img: 'logo_full.svg' links: - - name: Program - relative_url: /program/ - - name: How to get there - relative_url: /location/ - - name: Tickets - disabled: true - absolute_url: '' + - name: Call for Papers + relative_url: /call/ # Information boxes - info_bars: - - title: Welcome to the Conference Theme for Jekyll! - color: primary - main_only: true - text: | - The Theme was originally made for the [Winterkongress](https://www.digitale-gesellschaft.ch/kongress/), a yearly conference of the [Digital Society Switzerland](https://digitale-gesellschaft.ch/). - - --- - - See the [README](github.com/DigitaleGesellschaft/jekyll-theme-conference/) on the project's GitHub repository for further information on how to configure and adapt it to your needs. - - text: This is just some random content for demonstration purposes. - color: warning - pages_only: true + #info_bars: + # - title: Welcome to the Conference Theme for Jekyll! + # color: primary + # main_only: true + # text: | + # The Theme was originally made for the [Winterkongress](https://www.digitale-gesellschaft.ch/kongress/), a yearly conference of the [Digital Society Switzerland](https://digitale-gesellschaft.ch/). + # + # --- + # + # See the [README](github.com/DigitaleGesellschaft/jekyll-theme-conference/) on the project's GitHub repository for further information on how to configure and adapt it to your needs. + # - text: This is just some random content for demonstration purposes. + # color: warning + # pages_only: true # Live indications - live: - date: 01.01.2020 - timezone: GMT+1 - stop: 240 # in minutes - streaming: - enable: true - pause: 60 # in minutes - prepend: 5 # in minutes - extend: 5 # in minutes - demo: - enable: false - duration: 300 # in seconds - pause: 10 # in seconds + #live: + #date: 01.01.2020 + #timezone: GMT+1 + #stop: 240 # in minutes + #streaming: + #enable: true + #pause: 60 # in minutes + #prepend: 5 # in minutes + #extend: 5 # in minutes + #demo: + #enable: false + #duration: 300 # in seconds + #pause: 10 # in seconds talks: - # Talk categories + ## Talk categories main_categories: - - name: Cat A - color: info - - name: Cat B + - name: Invited Talk color: success - - # Hide icons on talk overview page + - name: Presentation + color: primary + - name: VNN-COMP + color: info + - name: Discussion + color: warning + - name: Break + color: light + ## Hide icons on talk overview page hide_icons: false speakers: - # Show first and last name + ## Show first and last name show_firstname: true - location: - # Disable links to locations - hide: false - # URL of location / room overview page - url: '/location' - # Main page title shown on location/room navigation bar - navbar_title: 'Location' - # Show map on location main page. Set `map: false` if you don't want to - # display it. - map: - # Initial map center point - home_coord: 47.37808, 8.53935 - # Alternative map providers can be found on https://leaflet-extras.github.io/leaflet-providers/preview/ - # The following do match the Bootstrap design not too badly: - # - Thunderforest.Neighbourhood - # - Esri.WorldTopoMap - map_provider: "OpenStreetMap.Mapnik" - default_zoom: 17 - + #location: + ## Disable links to locations + #hide: true + ## URL of location / room overview page + #url: '/location' + ## Main page title shown on location/room navigation bar + #navbar_title: 'Location' + ## Show map on location main page. Set `map: false` if you don't want to + ## display it. + #map: + ## Initial map center point + #home_coord: 45.4023, -73.4683 + ## Alternative map providers can be found on https://leaflet-extras.github.io/leaflet-providers/preview/ + ## The following do match the Bootstrap design not too badly: + ## - Thunderforest.Neighbourhood + ## - Esri.WorldTopoMap + #map_provider: "OpenStreetMap.Mapnik" + #default_zoom: 17 program: # URL of program page url: '/program' # Time steps in program table - time_steps: 15 # in minutes + time_steps: 30 # in minutes # Show intermediary time steps (next to full hours) show_alltimes: true diff --git a/_data/program.yml b/_data/program.yml index 068f51f..e69de29 100644 --- a/_data/program.yml +++ b/_data/program.yml @@ -1,25 +0,0 @@ -days: -- name: Monday - abbr: Mo - date: 2020-01-31 - rooms: - - name: Room A - talks: - - name: Vim Impetus Placerat Cotidieque Ad - time_start: '12:00' - time_end: '12:45' - - name: Condimentum Vitae Sapien Pellentesque - time_start: '12:45' - time_end: '13:30' - - - name: Room B - talks: - - name: Arcu Non Odio - time_start: '12:00' - time_end: '13:00' - - - name: Room C - talks: - - name: Eu Nisl Nunc Mi Ipsum Faucibus - time_start: '13:30' - time_end: '14:30' diff --git a/_includes/partials/header.html b/_includes/partials/header.html index b02c480..da8952e 100644 --- a/_includes/partials/header.html +++ b/_includes/partials/header.html @@ -15,6 +15,8 @@ + + {%- if site.conference.live %} diff --git a/_layouts/home.html b/_layouts/home.html index e43d20b..d93ae42 100644 --- a/_layouts/home.html +++ b/_layouts/home.html @@ -1,7 +1,7 @@ {% include partials/header.html %}
-

+

{% if site.conference.main.logo.img %} {{ site.title }} {{ site.title }} diff --git a/_rooms/room-a.md b/_rooms/room-a.md deleted file mode 100644 index 40a7005..0000000 --- a/_rooms/room-a.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -name: Room A ---- - -A short way description on how to find the room \ No newline at end of file diff --git a/_rooms/room-c.md b/_rooms/room-c.md deleted file mode 100644 index 5782c9d..0000000 --- a/_rooms/room-c.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -name: Room C ---- - -A different way description on how to find this room \ No newline at end of file diff --git a/_rooms/room-b.md b/_rooms/room1.md similarity index 54% rename from _rooms/room-b.md rename to _rooms/room1.md index fe9a29f..8baaa72 100644 --- a/_rooms/room-b.md +++ b/_rooms/room1.md @@ -1,4 +1,4 @@ --- -name: Room B +name: Main Room hide: true --- diff --git a/_sass/conference.scss b/_sass/conference.scss index e8dcb04..56c0a94 100644 --- a/_sass/conference.scss +++ b/_sass/conference.scss @@ -8,7 +8,7 @@ $alert-color-level: 9 !default; $badge-font-size: .85em !default; $enable-responsive-font-sizes: true !default; // Set different default as Bootstrap's choice is a very flashy blue -$primary: #074 !default; +$primary: #008080ff !default; //#074 // FontAwesome $fa-font-path: '/assets/webfonts' !default; diff --git a/_speakers/person-a.md b/_speakers/person-a.md deleted file mode 100644 index f1d78d5..0000000 --- a/_speakers/person-a.md +++ /dev/null @@ -1,12 +0,0 @@ ---- -name: Tolga Philip -first_name: Tolga -last_name: Philip -links: - - name: Profile - absolute_url: https://github.com ---- - -Lorem ipsum dolor sit amet, mel tritani quaestio ne. Sed cu quot erat. Stet mutat moderatius ad vel. Ne eum quod expetendis, odio eros nominavi sed et, eu suscipit atomorum sit. Facete maluisset urbanitas in eos, idque expetendis et vis, et quo everti quaestio maiestatis. - -At elit omnium vel, utamur ponderum definitionem cu duo. Ex eam quot meliore. Modus admodum antiopam duo in, et esse incorrupte percipitur nec, ei facete utroque torquatos his. Ea vel moderatius cotidieque conclusionemque, noluisse menandri consetetur id pri. \ No newline at end of file diff --git a/_speakers/person-b.md b/_speakers/person-b.md deleted file mode 100644 index 553e440..0000000 --- a/_speakers/person-b.md +++ /dev/null @@ -1,9 +0,0 @@ ---- -name: Alex Rosales -first_name: Alex -last_name: Rosales ---- - -Duis at tellus at urna condimentum mattis pellentesque id nibh. In fermentum et sollicitudin ac orci phasellus egestas. Convallis aenean et tortor at risus viverra. Mus mauris vitae ultricies leo integer. Metus dictum at tempor commodo ullamcorper. Sem nulla pharetra diam sit. Eu lobortis elementum nibh tellus molestie nunc. - -Adipiscing enim eu turpis egestas pretium aenean pharetra magna ac. Tellus at urna condimentum mattis. Suspendisse sed nisi lacus sed viverra tellus. Ullamcorper velit sed ullamcorper morbi tincidunt ornare. Sed vulputate odio ut enim blandit volutpat maecenas volutpat blandit. Nunc eget lorem dolor sed viverra. Id volutpat lacus laoreet non curabitur. \ No newline at end of file diff --git a/_speakers/person-c.md b/_speakers/person-c.md deleted file mode 100644 index e5634a9..0000000 --- a/_speakers/person-c.md +++ /dev/null @@ -1,6 +0,0 @@ ---- -name: The Anonymous -first_name: The -last_name: Anonymous -hide: true ---- diff --git a/_talks/talk1.md b/_talks/talk1.md deleted file mode 100644 index 1d9340d..0000000 --- a/_talks/talk1.md +++ /dev/null @@ -1,12 +0,0 @@ ---- -name: Vim Impetus Placerat Cotidieque Ad -speakers: - - Tolga Philip -categories: - - Cat B - - Talk ---- - -Lorem ipsum dolor sit amet, mel tritani quaestio ne. Sed cu quot erat. Stet mutat moderatius ad vel. Ne eum quod expetendis, odio eros nominavi sed et, eu suscipit atomorum sit. Facete maluisset urbanitas in eos, idque expetendis et vis, et quo everti quaestio maiestatis. - -At elit omnium vel, utamur ponderum definitionem cu duo. Ex eam quot meliore. Modus admodum antiopam duo in, et esse incorrupte percipitur nec, ei facete utroque torquatos his. Ea vel moderatius cotidieque conclusionemque, noluisse menandri consetetur id pri. \ No newline at end of file diff --git a/_talks/talk2.md b/_talks/talk2.md deleted file mode 100644 index 36f5795..0000000 --- a/_talks/talk2.md +++ /dev/null @@ -1,10 +0,0 @@ ---- -name: Condimentum Vitae Sapien Pellentesque -speakers: - - Tolga Philip - - Alex Rosales -categories: - - Cat A - - Talk -hide: true ---- diff --git a/_talks/talk3.md b/_talks/talk3.md deleted file mode 100644 index aabf2a0..0000000 --- a/_talks/talk3.md +++ /dev/null @@ -1,18 +0,0 @@ ---- -name: Arcu Non Odio -speakers: - - Alex Rosales -categories: - - Cat A - - Talk -links: - - name: Recodring - icon: video - absolute_url: https://media.ccc.de/ - - name: Wikipedia - absolute_url: https://en.wikipedia.org ---- - -Duis at tellus at urna condimentum mattis pellentesque id nibh. In fermentum et sollicitudin ac orci phasellus egestas. Convallis aenean et tortor at risus viverra. Mus mauris vitae ultricies leo integer. Metus dictum at tempor commodo ullamcorper. Sem nulla pharetra diam sit. Eu lobortis elementum nibh tellus molestie nunc. - -Adipiscing enim eu turpis egestas pretium aenean pharetra magna ac. Tellus at urna condimentum mattis. Suspendisse sed nisi lacus sed viverra tellus. Ullamcorper velit sed ullamcorper morbi tincidunt ornare. Sed vulputate odio ut enim blandit volutpat maecenas volutpat blandit. Nunc eget lorem dolor sed viverra. Id volutpat lacus laoreet non curabitur. \ No newline at end of file diff --git a/_talks/talk4.md b/_talks/talk4.md deleted file mode 100644 index 7414c67..0000000 --- a/_talks/talk4.md +++ /dev/null @@ -1,12 +0,0 @@ ---- -name: Eu Nisl Nunc Mi Ipsum Faucibus -speakers: - - The Anonymous -categories: - - Cat B - - Talk ---- - -Molestie nunc non blandit massa. Ultrices gravida dictum fusce ut placerat orci nulla. Sed enim ut sem viverra aliquet. Ac tincidunt vitae semper quis lectus nulla at volutpat. Diam donec adipiscing tristique risus nec. Sed enim ut sem viverra aliquet eget. Aliquam vestibulum morbi blandit cursus risus. Blandit cursus risus at ultrices. Mauris pharetra et ultrices neque ornare aenean euismod elementum. - -Justo laoreet sit amet cursus sit amet. Euismod nisi porta lorem mollis. Id ornare arcu odio ut sem. Neque aliquam vestibulum morbi blandit cursus risus. Eu volutpat odio facilisis mauris. Velit dignissim sodales ut eu sem integer. Iaculis nunc sed augue lacus viverra vitae. Dictumst vestibulum rhoncus est pellentesque. Parturient montes nascetur ridiculus mus mauris vitae. \ No newline at end of file diff --git a/about/index.md b/about/index.md new file mode 100644 index 0000000..49c3360 --- /dev/null +++ b/about/index.md @@ -0,0 +1,6 @@ +--- +layout: page +title: About SAIV +--- + +The International Symposium on AI Verification (SAIV) builds on an 8-year legacy as the successor to the *[FoMLAS](https://fomlas2023.wixsite.com/fomlas2023)* and the *[WOLVERINE](https://wolverine-workshop.github.io/Wolverine2023/)* workshops. Dedicated to addressing the grand challenge of verifying the safety of AI systems, SAIV brings together researchers from the formal methods and artificial intelligence communities. The symposium explores topics such as the formal verification of neural networks and the development of safeguards for machine learning systems. SAIV serves as a platform for exchanging ideas and driving innovation at the intersection of these critical fields. diff --git a/assets/images/logo.svg b/assets/images/logo.svg new file mode 100644 index 0000000..46e110e --- /dev/null +++ b/assets/images/logo.svg @@ -0,0 +1,217 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/assets/images/logo_full.svg b/assets/images/logo_full.svg new file mode 100644 index 0000000..9f8a787 --- /dev/null +++ b/assets/images/logo_full.svg @@ -0,0 +1,307 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/assets/images/logo_large.png b/assets/images/logo_large.png new file mode 100644 index 0000000..a2a53e9 Binary files /dev/null and b/assets/images/logo_large.png differ diff --git a/assets/images/logo_large.svg b/assets/images/logo_large.svg new file mode 100644 index 0000000..0b7225c --- /dev/null +++ b/assets/images/logo_large.svg @@ -0,0 +1,219 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $ymposium on AI erification + + + + + + + + + + + diff --git a/assets/images/logo_small.png b/assets/images/logo_small.png new file mode 100644 index 0000000..8981287 Binary files /dev/null and b/assets/images/logo_small.png differ diff --git a/assets/images/logo_small.svg b/assets/images/logo_small.svg new file mode 100644 index 0000000..5c47406 --- /dev/null +++ b/assets/images/logo_small.svg @@ -0,0 +1,217 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $ai + + + diff --git a/call/index.md b/call/index.md new file mode 100644 index 0000000..0995ce1 --- /dev/null +++ b/call/index.md @@ -0,0 +1,52 @@ +--- +layout: page +title: Call for Papers +--- + +SAIV invites submissions presenting theoretical results, novel algorithms, tool development, and empirical evaluation. + +## Important Dates + +All dates are 11:59AM (noon) UTC + +- Abstract Registration: April 17 +- Paper Submission: April 24 +- Notification: May 21 + +## Topics + +The topics covered by SAIV include, but are not limited to, the following: + +##### Formal methods for artificial intelligence + +- Safety specifications for systems with learning components +- Symbolic analysis of cyber-physical systems with AI components +- Formal verification of neural networks +- Neuro-symbolic reasoning for AI safety +- Testing approaches for systems with AI components +- Formal guarantees for interpretable AI + +##### Artificial intelligence for formal methods + +- Machine Learning for program synthesis and control synthesis +- Machine Learning for automated reasoning and theorem-proving +- Statistical approaches to falsification and verification +- Data-driven verification +- Differentiable proof certificates + +## Submission Guidelines + +###### [→ OpenReview submission website](https://openreview.net/group?id=aiverification.org/SAIV/2025/Symposium&referrer=%5BHomepage%5D(%2F)) + +We invite four categories of submissions: + +1. *Original papers*: describe original research and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available. We welcome both short and long papers. There are no strict page limits, although we recommend not going below 6 pages and not exceeding 18 pages. +2. *Presentation-only papers*: describe work recently published or submitted. We see this as a way to provide additional access to important developments that the SAIV attendees may be unaware of. +3. *Extended abstracts*: describe preliminary work in progress. These reports may range in length from very short to full papers, and will be judged based on the expected level of interest for the community. +4. *Benchmarks and Case Studies*: showcasing practical evaluations, real-world applications, or lessons learned in verifying and deploying safety-critical AI systems, focusing on metrics, methodologies, and safety outcomes.​ + +SAIV 2025 uses a **single-blind** policy, so submissions need not be anonymized. + +We require to use of the [LNCS template](https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). All papers conforming to the submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, importance of contribution, soundness, quality of presentation, and appropriate comparison to related work. + +Papers selected for publications will appear in the SAIV 2025 conference proceedings in the LNCS series. diff --git a/committees/index.md b/committees/index.md new file mode 100644 index 0000000..d97921a --- /dev/null +++ b/committees/index.md @@ -0,0 +1,53 @@ +--- +layout: page +title: Committees +--- + +## Program Chairs + +- [Mirco Giacobbe](https://mircogiacobbe.github.io/) (University of Birmingham) +- [Anna Lukina](https://annalukina.com/) (Delft University of Technology) + +## Program Committee + +- [Alessandro Abate](https://www.cs.ox.ac.uk/people/alessandro.abate/) (University of Oxford) +- [Luca Arnaboldi](http://arnaboldiluca.eu) (University of Birmingham) +- [Guy Avni](https://sites.google.com/view/gavni) (University of Haifa) +- [Stanley Bak](https://stanleybak.com) (Stony Brook University) +- [Clark Barrett](https://theory.stanford.edu/~barrett/) (Stanford University) +- [Elena Botoeva](https://www.kent.ac.uk/school-of-computing/people/3838/botoeva-elena) (University of Kent) +- [Dana Drachsler Cohen](https://ddana.net.technion.ac.il) (Technion) +- [Hoang Dung Tran](https://avrlab.unl.edu/person/dung-hoang-tran/) (University of Nebraska) +- [Vijay Ganesh](https://vganesh1.github.io) (Georgia Tech) +- [Thomas A. Henzinger](https://pub.ista.ac.at/~tah/) (Institute of Science and Technology Austria) +- [Taylor T. Johnson](http://www.taylortjohnson.com/) (Vanderbilt University) +- [Guy Katz](https://www.katz-lab.com) (Hebrew University of Jerusalem) +- [Bettina Könighofer](https://www.isec.tugraz.at/person/bettina-koenighofer/) (TU Graz) +- [Ekaterina Komendantskaya](https://www.southampton.ac.uk/people/62r7bw/professor-ekaterina-komendantskaya) (University of Southampton) +- [Jan Křetínský](https://www.model.in.tum.de/~kretinsk/) (Masaryk University) +- [Linyi Li](https://cs.sfu.ca/~linyi/) (Simon Fraser University) +- [Alessio Lomuscio](https://www.doc.ic.ac.uk/~alessio/) (Imperial College London) +- [Kaushik Mallik](https://kmallik.github.io) (IMDEA) +- [Ravi Mangal](https://www.cs.colostate.edu/ravimangal/) (Colorado State University) +- [Edoardo Manino](https://research.manchester.ac.uk/en/persons/edoardo-manino) (University of Manchester) +- [Daniel Neider](https://researchers.rc-trust.ai/neider/) (TU Dortmund University) +- [Corina Pasareanu](https://www.cylab.cmu.edu/directory/bios/pasareanu-corina.html) (Carnegie Mellon University) +- [Guillermo Perez](https://www.uantwerpen.be/en/staff/guillermoalberto-perez/) (University of Antwerp) +- [Luca Pulina](https://aimet-lab.github.io/luca/) (University of Sassari) +- [Chelsea Sidrane](https://www.chelseasidrane.com) (KTH Royal Institute of Technology) +- [Gagandeep Singh](https://ggndpsngh.github.io) (University of Illinois) +- [Christian Schilling](https://www.christianschilling.net/) (Aalborg University) +- [Armando Tacchella](https://rubrica.unige.it/personale/UkNHW1tq) (University of Genoa) +- [Shufang Zhu](https://shufang-zhu.github.io) (University of Liverloop) +- [Đorđe Žikelić](https://djordjezikelic.github.io) (Singapore Management University) + + +## Steering Committee + +- [Guy Avni](https://sites.google.com/view/gavni) (University of Haifa) +- [Mirco Giacobbe](https://mircogiacobbe.github.io/) (University of Birmingham) +- [Taylor T. Johnson](http://www.taylortjohnson.com/) (Vanderbilt University) +- [Guy Katz](https://www.katz-lab.com/) (Hebrew University of Jerusalem) +- [Anna Lukina](https://annalukina.com/) (Delft University of Technology) +- [Nina Narodytska](https://research.vmware.com/researchers/nina-narodytska) (VMware Research) +- [Christian Schilling](https://www.christianschilling.net/) (Aalborg University) diff --git a/favicon.png b/favicon.png new file mode 100644 index 0000000..3bd827e Binary files /dev/null and b/favicon.png differ diff --git a/index.md b/index.md index a26cace..767170e 100644 --- a/index.md +++ b/index.md @@ -1,6 +1,18 @@ --- layout: home --- -Lorem ipsum dolor sit amet, consectetur adipiscing elit. Quisque ultricies interdum lacus quis gravida. Vestibulum eget arcu in dui facilisis luctus. Curabitur rhoncus nibh non neque viverra facilisis. Nam nec placerat augue, ut mollis ante. Morbi pulvinar iaculis felis eget pretium. Duis euismod, risus non placerat accumsan, mi nisl euismod nibh, quis finibus ante mauris eu odio. -Nullam a nunc felis. Aenean nec metus sed elit feugiat elementum sed ut quam. Maecenas dignissim augue nec sollicitudin sagittis. Donec sagittis dolor non tincidunt eleifend. Donec vel nibh et leo pretium dignissim. Nulla vehicula arcu velit, ac facilisis turpis fermentum ac. Integer at tempus sem, in vehicula magna. Ut tempor est nec nisl imperdiet porttitor sit amet maximus massa. +Formal reasoning about learning systems presents novel, challenging, and exciting problems, including but not limited to the verification of neural networks and the development of safeguards for machine learning algorithms. The Symposium on AI Verification brings together researchers from the fields of formal methods and artificial intelligence, providing a platform for the exchange of ideas and cross-pollination of insights on these critical areas. + +SAIV 2025 will be co-located with the [37th International Conference on Computer Aided Verification](https://conferences.i-cav.org/2025/) in Zagreb, Croatia. + +SAIV 2025 will host the [6th International Verification of Neural Networks Competition (VNN-COMP'25)](https://sites.google.com/view/vnn2025). + +## Important Dates + +All dates are 11:59AM (noon) UTC + +- Abstract Registration: April 17 +- Paper Submission: April 24 +- Notification: May 21 + diff --git a/jekyll-theme-conference.gemspec b/jekyll-theme-conference.gemspec deleted file mode 100644 index f05a917..0000000 --- a/jekyll-theme-conference.gemspec +++ /dev/null @@ -1,19 +0,0 @@ -# frozen_string_literal: true - -Gem::Specification.new do |spec| - spec.name = "jekyll-theme-conference" - spec.version = "3.6.3" - spec.authors = ["Lorenz Schmid"] - spec.email = ["lorenzschmid@users.noreply.github.com"] - - spec.summary = "Jekyll template for a conference website containing program, speaker, talks and room overview." - spec.homepage = "https://github.com/DigitaleGesellschaft/jekyll-theme-conference/" - spec.license = "MIT" - - spec.files = `git ls-files -z`.split("\x0").select { |f| f.match(%r!^(assets|_layouts|_includes|_sass|LICENSE|README)!i) } - - spec.add_runtime_dependency "jekyll", "~> 4.0" - - spec.add_development_dependency "bundler", "~> 2.1" - spec.add_development_dependency "rake", "~> 12.0" -end diff --git a/location/index.md b/location/index.md index a4132f6..e616607 100644 --- a/location/index.md +++ b/location/index.md @@ -1,7 +1,3 @@ --- layout: location --- - -How to get to the conference - -You can adapt the design as well as the section shown on the map by copying the `assets/js/main.js` from the theme's repository and editing it. See also the subsection [Location / Room Overview](https://github.com/DigitaleGesellschaft/jekyll-theme-conference/#location--room-overview) section of the theme's README file. \ No newline at end of file diff --git a/program/index.md b/program/index.md index 1de2137..bb46038 100644 --- a/program/index.md +++ b/program/index.md @@ -1,5 +1,3 @@ --- layout: program --- - -The main categories (or tracks) of the different talks as well as their coloring can be adapted in the `_config.yml` file under `conference.talks.main_categories`. See also the [Talk Settings](https://github.com/DigitaleGesellschaft/jekyll-theme-conference/#talk-settings-main-categories) section of the theme's README file. \ No newline at end of file diff --git a/screenshot.png b/screenshot.png deleted file mode 100644 index a5346a4..0000000 Binary files a/screenshot.png and /dev/null differ diff --git a/speakers/index.md b/speakers/index.md index c3bd9e6..c3b9791 100644 --- a/speakers/index.md +++ b/speakers/index.md @@ -1,3 +1,4 @@ --- layout: speaker-overview +title: Speakers & Authors ---