Event:FOSSACS 2002

Deadlines

2001-12-14

2002-01-18

2001-10-19

19 Oct 2001

Submission

14 Dec 2001

Notification

18 Jan 2002

Camera-Ready

organization

Verimag

Metrics

Submitted Papers

67

Accepted Papers

29

Venue

Grenoble Alpes University, IM²AG department, Grenoble, Auvergne-Rhône-Alpes, France

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":[],"imageoverlays":null}

The 5. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2002

Topics

• Computation processes over discrete and continuous data, methods and techniques for their manipulation, and analysis of their algorithmic properties.
• Type theory, domain theory, category theory.
• Models of concurrency, and corresponding calculi, algebras, and logics.
• Techniques for proving properties of protocols.
• Formal descriptions of general frames for the integration of specification techniques.