Skip to content

Latest commit

 

History

History
52 lines (46 loc) · 1.31 KB

index.md

File metadata and controls

52 lines (46 loc) · 1.31 KB
layout
home

{{ site.title | escape }}

The Software and System Verification group @ Ca’ Foscari University of Venice is a research team focused on static analysis and its applications.

<style> .column { float: left; width: 49.4%; } /* Clear floats after the columns */ .row:after { content: ""; display: table; clear: both; } </style>

Latest news

    {% for post in site.categories.news limit: 2 %}
  • {{ post.title }}
    {{ post.date | date: "%-d %B %Y" }}
  • {% endfor %}
All news ({{ site.categories.news.size }}) »

Latest events

    {% for post in site.categories.events limit: 2 %}
  • {{ post.title }}
    {{ post.date | date: "%-d %B %Y" }}
  • {% endfor %}
All events ({{ site.categories.events.size }}) »

{%- include index_people.html -%}