IFIP Technical Committee 1: Foundations of Computer Science
Chair:Â Prof. Luis Soares BARBOSA
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: 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
WG 1.11: Foundations of Quantum Computation (joint with WG 2.17)
| Forthcoming Events: Details of IFIP events for all Technical Committees are available on the main IFIP website https://www.ifip.org. Click on either ‘Calendar of Events’ or ‘Call for Papers’ on the menu for more information. |
Contact IFIP TC1 Chair: Prof. Luis Soares BARBOSA |