| SEFM 2018 | |
|---|---|
16th International Conference on Software Engineering and Formal Methods
| |
| Event in series | SEFM |
| Subevent of | STAF 2018 |
| Dates | 2018/06/27 (iCal) - 2018/06/29 |
| Homepage: | https://www.isf.cs.tu-bs.de/cms/events/sefm2018/ |
| Twitter account: | @sefm_conf |
| Location | |
| Location: | Toulouse, France |
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","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":43.6044622,"lon":1.4442469,"icon":""}],"imageoverlays":null} | |
| Papers: | Submitted 58 / Accepted 17 (29.3 %) |
| Committees | |
| PC chairs: | Einar Broch Johnsen, Ina Schaefer |
| Keynote speaker: | Mark Harman, Andrzej Wasowski |
| Table of Contents | |
| Tweets by @sefm_conf | |