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.
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.
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
- TC2 officers: ifip-tc2-officers@domain
- All members, including TC2 officers: ifip-tc2-member@domain
Replace "domain" by ifip-tc2.paluno.uni-due.de
The most recent meeting of TC2 was in Florence on May 24, 2015, just after ICSE, at the same venue.
9:00 Welcome, roll call, agenda, prior meeting minutes 9:15 IFIP report, financial status, IFIP awards 10:00 Election of Chair, Vice Chair and Secretary 10:30 Coffee break 11:00 Reports of working group chairs 12:30 Lunch 14:00 Reports of working group chairs 15:30 Coffee break 16:00 Additional Business meeting per year 16:30 Future events & locations, Manfred Paul Award 17:00 Short presentations 18:00 Other business
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).
More detailed membership information is maintained by IFIP.
- WG 2.1 - Algorithmic Languages and Calculi
Chair: Prof. Jeremy GIBBONS, Vice chair: Robert DEWAR, Secretary: Prof. Johan JEURING
- WG 2.2 - Formal Description of Programming Concepts
Chair: Dr. Igor WALUKIEWICZ, Vice-Chair: Prof. Javier ESPARZA, Secretary: Prof. Dr. Markus MÜLLER-OLM
- WG 2.3 - Programming Methodology
Chair: Prof. Michael BUTLER, Vice-chair: Rustan M. LEINO, Secretary: Dr. Rajeev JOSHI
- WG 2.4 - Software Implementation Technology
Chair: Prof. Frank TIP, Vice Chair: Prof. Jan VITEK, Secretary: Prof. Jens KNOOP
- WG 2.5 - Numerical Software
Chair: Prof. Ronald COOLS, Vice-Chair: Dr. W. Van SNYDER, Secretary: Prof. Wayne ENRIGHT
- WG 2.6 - Database
Chair: Dr. Paolo CERAVOLO, Vice-Chair: Dr. Rafael ACCORSI, Secretary: Dr. Marcello LEIDA
- WG 2.7/13.4 - User Interface Engineering
Chair: Prof. Dr.-Ing. Jürgen ZIEGLER, Vice-Chair: Prof. Simone D. Junqueira BARBOSA, Secretary: Ms. Gaëlle CALVARY
- WG 2.8 - Functional Programming
Chair: Prof. Benjamin PIERCE, Secretary: Dr. Ralf HINZE
- WG 2.9 - Software Requirements Engineering
Chair: Prof. Kevin RYAN, Vice-chair: Jane CLELAND-HUANG, Secretary: Prof. Mats HEIMDAHL
- WG 2.10 - Software Architecture
Chair: Prof. Philippe KRUCHTEN, Vice-Chair: Mr. Rich HILLIARD, Secretary: Mr. John KLEIN
- WG 2.11 - Program Generation
Chair: Dr. Ulrik Pagh SCHULTZ, Vice-Chair: Dr. Eric VAN WYK
- WG 2.12/12.4 - Web Semantics
Chair: Prof. Elizabeth CHANG, Vice-Chairs: Prof. Ernesto DAMIANI, Secretary: Dr. Omar HUSSAIN
- WG 2.13 - Open Source Software
Chair: Prof. Alberto SILLITTI, Vice-Chair, Prof. Tony WASSERMAN, Secretary: Prof. Tommi MIKKONEN
- WG 2.14/6.12/8.10 - Service-Oriented Systems
Chair: Prof. Luciano BARESI, Vice Chairs: Eric DUBOIS and Winfried LAMERSDORF, Secretary: Damian Andrew TAMBURRI and Pierluigi PLEBANI
- WG 2.15/1.9 - Verified Software:
Chair: Prof. Gary T. LEAVENS, Secretary: Dr. Natarajan SHANKAR
- WG 2.16 – Programming Language Design
Chair: Dr. Eelco VISSER, Vice Chair: Dr. William R. COOK, Secretary: Mr. Jonathan EDWARDS
- Marcelo Frias (AR)
- Stefan Biffl (AT)
- Paul Bailes (AU)
- Sylvia Ilieva (BG)
- Julio Leite (BR)
- Pascal Felber (CH)
- Hernan Astudillo (CLEI)
- Přemek Brada (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)
- Marko Bajec (SI)
- Nenad Stefanović (RS)
- Maria Bielikova (SK)
- Nikolay Sidorov (UA)
- Jeremy Gibbons (US, ACM)
The IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice
Technical Committee 2 of IFIP annually recognizes excellence in its area by means of an award made to an outstanding researcher in software, theory are practice.
- The award is known as the IFIP TC2 Manfred Paul Award.
- The award consists of a certificate and an amount of money to the value of 1024 euro.
- The award is issued annually to a natural person, or group, for a single (possibly joint) paper published in the proceedings of a suitable conference yearly so assigned by IFIP TC2.
- The selection is done by the Program Committee Chair(s) of the conference, and the award must be personally and publicly issued to the laureate at the event.
- The motto of the prize is "For excellence in Software: Theory and Practice" according to the scope of the TC2 working groups, see www.ifiptc2.org.
- Members of TC2 are not eligible, when member is taken as on 1st of January of the award year, but members of Working Groups are eligible.
- At the discretion of the committee members, there may be no award or more than one award in each year.
Dr. Miklós BIRÓ, Software Competence Center Hagenberg GmbH (SCCH), Hagenberg, Austria
The 2014 Award
The IFIP TC2 Manfred Paul Award for 2011 was granted to the authors of the best paper of the 29th IEEE/ACM International Conference on Automated Software Engineering held in Västerås Sweden.
The paper selected by the ASE 2014 Programme Committee was:
Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, and Andrew S. Miner:
Automated Requirements Analysis for a Molecular Watchdog Timer
ASE 2014 Programme Committee was chaired by Marsha Chechik University of Toronto, Canada and Paul Grünbacher Johannes Kepler Universität Linz, Austria.
The 2011 Award
The IFIP TC2 Manfred Paul Award for 2011 was granted to the authors of the best paper of the CEE-SET'2011 Conference held in Debrecen, Hungary.
The paper selected by the CEE-SET Award Committee was:
Simona Jeners, Horst Lichter, Carlos Augusto Gomez Rosenkranz: Efficient Adoption and Assessment of Multiple Process Improvement Reference Models
The CEE-SET Award Committee was:
- Miklos Biro (IFIP TC2)
- Jerzy Nawrocki (IFIP TC2)
The 2010 Award
The 2010 Award was handed out by Bertrand Meyer at ICSE'2010 (32nd IEEE/ACM International Conference on Software Engineering) for the paper:
Jacob Burnim and Koushik Sen: DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs
The members of the Award Committee were: Bertrand Meyer, Prem Devanbu, Sebastian Uchitel
The 2009 Award
The IFIP TC2 Manfred Paul Award for 2009 was granted to the authors of the best paper of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 16-24, 2009.
The paper selected by the ICSE 2009 Programme Committee was
Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest: Automatically Finding Patches Using Genetic Programming
ICSE 2009 Programme Committee was chaired by Jo Atlee, University of Waterloo, Canada and Paola Inverardi, University of Aquila, Italy.
The 2007 Award
The IFIP TC2 Manfred Paul Award for 2007 was granted to the authors of the best paper of the CEE-SET'2007 Conference held in Poznan, Poland.
The paper selected by the CEE-SET Award Committee was:
Adam Trendowicz, Michael Ochs, Axel Wickenkamp, Juergen Muench, Yasushi Ishigai and Takashi Kawaguchi.: An integrated approach for identifying relevant factors influencing software development productivity
The CEE-SET Award Committee consisted of:
- Miklos Biro (IFIP TC2) – Chairman
- Zbigniew Huzar
- Lech Madeyski
- Jerzy Nawrocki (IFIP TC2)
- Krzysztof Sacha
- Bartosz Walter
- Jaroslav Zendulka
The 2006 Award
The IFIP TC2 Manfred Paul Award for 2009 was granted to the authors of the best paper of RE'06 - 14th IEEE International Requirements Engineering Conference Minneapolis, Minnesota, USA, 11-15 September, 2006
The paper selected by the RE Award Committee was:
Jane Cleland-Huang, Raffaella Settimi, Xuchang Zou, and Peter Solc (DePaul University, USA): The Detection and Classification of Non-Functional Requirements with Application to Early Aspects
Paper Award Sub-Committee
- Martin Glinz, University of Zurich, Switzerland (chair)
- Bashar Nuseibeh, The Open University, UK
- Alistair Sutcliffe, University of Manchester, UK
Awards page, see
The 2005 Award
In 2005, two awards were made, as Best Paper Awards to conferences chosen by TC2.
EuroSpi2 - European Software Process Improvement and Innovation, Budapest, Hungary, 9-11 November 2005
The paper selected by the EuroSpi2 Award Committee was:
Martin McAnallen, MIT Systems, Ireland and Gerry Coleman, Dundalk Institute of Technology, Ireland: Tailoring Extreme Programming for Legacy Systems: Lessons Learnt
Paper Award Sub-Committee
- Richard Messnarz, General Chair, EuroSPI2
- Scott Ambler, Ronin International, Canada
- Taz Daughtrey, James Mason University, USA
- Ita Richardson, University of Limerick, Ireland
- Pekka Abrahamsson, VTT, Finland
- Alec Dorling, INTERSPICE, UK
OnTheMove Federated Conferences (DOA, ODBASE and CoopIS)
OnTheMove Federated Conferences (DOA, ODBASE and CoopIS) Agia Napa Cyprus, 31 Oct-4 Nov 2005
The 2001 Award
Dr. Naoki Kobayashi from the Tokyo Institute of Technology for his paper entitled: Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness, IFIP International Conference on Theoretical Computer Science 2000 pp 365-389, endorsed by WG2.2 (Formal Description of Programming Concepts)
Dr. Ivan Bowman, originally at the University of Waterloo, for his paper Ivan T. Bowman, Richard C. Holt, Neil V. Brewster: Linux as a Case Study: Its Extracted Software Architecture. ICSE 1999: pp 555-563, endorsed by WG2.4 (Software Implementation Technology).
About Manfred Paul
Manfred Paul was chairman of TC2 from 1977 to 1986, and has been the representative for Germany since 1973. He was a founder member of WG2.1 (Algorithmic languages and Calculi) and chairman from 1969 to 1975, and a founder member of WG2.2 (Formal Description of Programming Concepts). He was awarded the IFIP Silver Core in 1974. One of Prof Paul's many accomplishments is that he was the author of the ALGOL compiler "ALCOR MUNICH Z22" for the ZUSE Z22, an early commercially available computer in Europe. This compiler was one of the first handling full recursion in a high level programming language.
Consult the User's Guide for information on using the wiki software.