IFIP: International Federation for Information Processing - Technical Committees
IFIP: International Federation for Information Processing - Technical Committees
IFIP: International Federation for Information Processing - Technical Committees
    Foundations of Computer Science Software: Theory and Practice Education Information Technology Applications Communication Systems System Modeling and Optimization Information Systems ICT and Society Computer Systems Technology Security and Privacy Protection in Information Processing Systems Artificial Intelligence Human-Computer Interaction Entertainment Computing

IFIP Technical Committee 1: Foundations of Computer Science

Chair: Prof. Jacques SAKAROVITCH

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

Enter the main website of Technical Committee 1


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.