IFIP Technical Committee 1: Foundations of Computer Science
Working Groups/Special Interest Groups:
WG 1.1: Continuous Algorithms and Complexity
WG 1.2: Descriptional Complexity
WG 1.3: Foundations of System Specification
WG 1.4: Computational Learning Theory
WG 1.5: Cellular Automata and Discrete Complex Systems
WG 1.6: Term Rewriting
WG 1.7: Theoretical Foundations of Security Analysis and Design
WG 1.8: Concurrency Theory
WG 1.9: Verified Software (joint with WG 2.15)
|
|
|
Forthcoming Events:
Details of IFIP events for all Technical Committees are available on the main IFIP website http://www.ifip.org.
Click on either 'Calendar of Events' or 'Call for Papers' on the menu for more information.
|
|
