Event:44177f9e-59b9-46ba-ab33-5cf26e7a3236

Deadlines

organization

ERCIM Working Group on Formal Methods for Industrial Critical Systems, European Research Consortium for Informatics and Mathematics

Metrics

Venue

Wydział Lingwistyki Stosowanej UW, Warsaw, Mazovia, Poland

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":52.2418866,"lon":21.0232779,"icon":""}],"imageoverlays":null}