Main Page: Difference between revisions
JuliaLawall (talk | contribs) |
JuliaLawall (talk | contribs) |
||
| Line 26: | Line 26: | ||
== Working groups == | == Working groups == | ||
* [http://www.cs.uu.nl/wiki/IFIP21/ WG 2.1 - Algorithmic Languages and Calculi] | * [http://www.cs.uu.nl/wiki/IFIP21/ WG 2.1 - Algorithmic Languages and Calculi] Chair: Prof. Jeremy GIBBONS, Secretary: Prof. Johan JEURING | ||
* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] | * [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] | ||
* [http://research.microsoft.com/en-us/um/people/leino/IFIP-WG2.3/ WG 2.3 - Programming Methodology] | * [http://research.microsoft.com/en-us/um/people/leino/IFIP-WG2.3/ WG 2.3 - Programming Methodology] | ||
Revision as of 23:49, 27 November 2013
This is the IFIP TC2 Community Website
The committee has been established in 1962. It's aims and scope were revised twice: in 1982, and in 1990.
Aims
To obtain a deeper understanding of programming concepts in order to improve the quality of software by studying all aspects of the software development process, both theoretical and practical.
Scope
The scope of the committee encompasses all aspects of the software development process including the specification, design, implementation and validation of software systems. Areas of present activity are:
- formal models of software concepts
- programming languages and techniques
- models for information storage and processing
- program support environments
- user interfaces to software systems
- software quality
News
An IFIP Outstanding Service Award was awarded to Prof. Davide Sangiorgi on September 28, 2012. Prof. Davide Sangiorgi chaired IFIP Working Group 2.2, "Formal Description of Programming Concepts", for two consecutive terms (2006-2011). During his term the Working Group was very active. For instance they organized a well attended Amir Pnueli Memorial Symposium in 2010. The group was also involved in organization of the well-known CONCUR conferences. Prof. Davide Sangiorgi is also a highly recognized scientist in his own right. He is the author of a well-known book on the pi-calculus which has over 1200 citations (Google Scholar).
Members
Working groups
- WG 2.1 - Algorithmic Languages and Calculi Chair: Prof. Jeremy GIBBONS, Secretary: Prof. Johan JEURING
- WG 2.2 - Formal Description of Programming Concepts
- WG 2.3 - Programming Methodology
- WG 2.4 - Software Implementation Technology
National representatives
- Marcelo Frias (AR)
- Stefan Biffl (AT)
- Robert Meersman (BE)
- Sylvia Ilieva (BG)
- Pascal Felber (CH)
- Hernan Astudillo (CLEI)
- Karel Richta (CZ)
- Manfred Paul (DE)
- Antonio Vallecillo (ES)
- Reima Suomi (FI)
- Charles Consel (FR)
- Miklos Biro (HU)
- Pankaj Jalote (IN)
- Giuseppe Visaggio (IT)
- Zhenjiang Hu (JP)
- Johan Jeuring (NL)
- Elizabeth A. Kemp (NZ, SEARCC)
- Fernando Brito e Abreu (PT)
- Nenad Stefanović (RS)
- Maria Bielikova (SK)
- Nikolay Sidorov (UA)
- Jeremy Gibbons (US, ACM)
Manfred Paul Award
Getting started
Consult the User's Guide for information on using the wiki software.