IFIP Technical Committee 1: Foundations of Computer Science
Working Groups/Special Interest Groups:
WG 1.2: Descriptional Complexity
WG 1.3: Foundations of System Specification
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)
WG 1.10: String Algorithmics & Applications
| Forthcoming Events:
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.