Main Page: Difference between revisions

From IFIP/TC2-Wiki
Jump to navigation Jump to search
No edit summary
(→‎Working groups: 2.13 ended)
 
(178 intermediate revisions by 3 users not shown)
Line 1: Line 1:
__NOTOC__
__NOTOC__


= This is the IFIP TC2 Community Website =
= IFIP TC2 (Software: Theory and Practice) Community Website =


The committee has been established in 1962. It's aims and scope were revised twice: in 1982, and in 1990.
The [[https://ifip.org/tc/?tc=tc2 IFIP TC2]] committee has been established in 1962. Its aims and scope were revised twice: in 1982, and in 1990.


== Aims ==
== Aims ==
Line 20: Line 20:
* software quality
* software quality


== News ==
== Contact ==


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).
tc2@domain -- Replace "domain" by lists.kit.edu


The next meeting of TC2 will be in Luxembourg on June 24, 2014, just before the EuroSPI conference, at the same venue.  More information about the venue and possible accomodation is available at the [http://2014.eurospi.net/ EuroSPI] website.  The meeting will run from approximately 9am to 6:30pm.
== News ==
 
Working group reports for 2013-2014 are due on June 15.
 
= Members =


== Officers ==
In July 2023, [https://www.cas.mcmaster.ca/~carette Dr. Jacques Carette] was elected as Chair, and Dr. Peter Höfner as Vice-Chair. We thank past Chair [https://tva.kastel.kit.edu/english/21_77.php Prof. Dr.-Ing. Ina Schaefer] and Vice-Chair [http://qse.ifs.tuwien.ac.at/people/stefan-biffl/ Ao. Univ.Prof. Dr. Stefan Biffl] for their dedicated years of service.


* Chair: [http://www.s3.uni-duisburg-essen.de/?module=s3staff&who=goedicke Prof. Michael GOEDICKE]
== Older news ==
* Vice-Chair: [http://www.cs.put.poznan.pl/jnawrocki/ Prof. Jerzy NAWROCKI]
* Secretary: [http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Dr. Julia LAWALL]


== Working groups ==
IFIP Outstanding Service Awards were awarded for 2013 to Prof. Anthony Finkelstein (WG 2.9), Prof. Brian Ford (WG 2.5), and Prof. Chris Lengauer (WG 2.11).


* [http://www.ifipwg21.org WG 2.1 - Algorithmic Languages and Calculi] <br> Chair: Prof. Jeremy GIBBONS, Secretary: Prof. Johan JEURING
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).
* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Dr. Igor WALUKIEWICZ, Vice-Chair: Prof. Javier ESPARZA, Secretary: Prof. Dr. Markus MÜLLER-OLM
* [http://www.ifip.org/wg-2.3 WG 2.3 - Programming Methodology] <br> Chair: Dr. Pamela ZAVE, Vice-Chair: Prof. Michael BUTLER, Secretary: Dr. Rajeev JOSHI
* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: Prof. Frank TIP, Vice Chair: Prof. Jan VITEK, Secretary: Prof. Jens KNOOP
* [http://www.ifip.org/wg-2.5 WG 2.5 - Numerical Software] <br> Chair: Prof. Ronald COOLS, Vice-Chair: Dr. W. Van SNYDER, Secretary: Prof. Wayne ENRIGHT
* [http://www.ifip.org/wg-2.6 WG 2.6 - Database] <br> Chair: Chair: Prof. Ernesto DAMIANI, Vice-Chair: Dr. Paolo CERAVOLO, Secretary: Dr. Marcello LEIDA
* [http://www.ifip.org/wg-2.7 WG 2.7/13.4 - User Interface Engineering] <br> Chair: Prof. Dr.-Ing. Jürgen ZIEGLER, Vice-Chair: Prof. Simone D. Junqueira BARBOSA, Secretary: Ms. Gaëlle CALVARY
* [http://www.wg28.org WG 2.8 - Functional Programming] <br> Chair: Prof. Benjamin PIERCE, Secretary: Dr. Ralf HINZE
* [http://www.ifip.org/wg-2.9 WG 2.9 - Software Requirements Engineering] <br> Chair: Prof. Kevin RYAN, Vice-Chair: Prof. Mats HEIMDAHL, Secretary: Dr. Robert J. HALL
* [http://www.ifip.org/wg-2.10 WG 2.10 - Software Architecture] <br> Chair: Prof. Philippe KRUCHTEN, Vice-Chair: Mr. Rich HILLIARD, Secretary: Mr. John KLEIN
* [http://wiki.hh.se/wg211 WG 2.11 - Program Generation] <br> Chair: Dr. Ulrik Pagh SCHULTZ, Vice-Chair: Dr. Eric VAN WYK
* [http://www.ifip.org/wg-2.12 WG 2.12/12.4 - Web Semantics] <br> Chair: Prof. Elizabeth CHANG, Vice-Chairs: Prof. Ernesto DAMIANI, Secretary: Dr. Omar HUSSAIN
* [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. Alberto SILLITTI, Vice-Chair, Prof. Tony WASSERMAN, Secretary: Prof. Tommi MIKKONEN
* [http://home.dei.polimi.it/baresi/ifip/index.htm WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. Luciano BARESI, Vice Chairs: Prof. Barbara PERNICI, Secretary: Dr. Khaled MAHBUB
* WG 2.15/1.9 - Verified Software: <br> Chair: Prof. Gary T. LEAVENS, Secretary: Dr. Natarajan SHANKAR
* [http://program-transformation.org/WGLD WG 2.16 – Programming Language Design] <br> Chair: Dr. Eelco VISSER, Vice Chair: Dr. William R. COOK, Secretary: Mr. Jonathan EDWARDS
 
== 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)


= The IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice =
= The IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice =
Line 94: Line 48:
#    At the discretion of the committee members, there may be no award or more than one award in each year.
#    At the discretion of the committee members, there may be no award or more than one award in each year.


== Award Coordinator ==
More details as well as the list of awardees can be found on the [[Manfred Paul Award]] page.
[http://www.scch.at/RenderHTML.aspx?page=115&lang=2&subpage=1&detail=5238 Dr. Miklós BIRÓ], Software Competence Center Hagenberg GmbH (SCCH), Hagenberg, Austria


=== The 2011 Award ===
= Details of TC2 (Meeting Minutes, Members, Officers, Working Groups) =


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.
== Minutes of Meetings ==


The paper selected by the CEE-SET Award Committee was:
* [[July 2025]]
* [[July 2024]]
* [[July 2023]]
* [[July 2022]]
* [[December 2020]]
* [[May 2019]]
* [[May 2018]]
* [[July 2017]]
* [[July 2016]]
* [[May 2015]]


'''Simona Jeners, Horst Lichter, Carlos Augusto Gomez Rosenkranz''':
= Members =
''Efficient Adoption and Assessment of Multiple Process Improvement Reference Models''


The CEE-SET Award Committee was:
More detailed membership information is maintained by [http://www.ifip.org/bulletin/bulltcs/memtc02.htm IFIP].


* Miklos Biro (IFIP TC2)
== Officers ==
* Jerzy Nawrocki (IFIP TC2)


=== The 2010 Award ===
* Chair: [http://www.cas.mcmaster.ca/~carette Dr. Jacques Carette]
* Vice-Chair: [http://www.s3.uni-duisburg-essen.de/?module=s3staff&who=goedicke Prof. Michael GOEDICKE], [https://comp.anu.edu.au/people/peter-hoefner/ Dr. Peter Hoefner]
* Secretary: [http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Dr. Julia LAWALL]


The 2010 Award was handed out by Bertrand Meyer at ICSE'2010 (32nd IEEE/ACM International Conference on Software Engineering) for the paper:
== Working groups ==


'''Jacob Burnim and Koushik Sen''':
* [http://www.ifipwg21.org WG 2.1 - Algorithmic Languages and Calculi] <br> Chair: Prof. Peter HÖFNER, Vice chair: Patrick JANSSON, Secretary: Prof. Tom SCHRIJVERS
''DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs''
* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. Barbara KÖNIG, Vice Chair: Prof. Ugo DAL LAGO, Secretary: Prof. Dr. Markus MÜLLER-OLM
* [https://en.wikipedia.org/wiki/IFIP_Working_Group_2.3 WG 2.3 - Programming Methodology] <br> Chair: Dr. Rajeev JOSHI, Vice-chair: Prof. Sophia DROSSOPOULOU, Secretary: Dr. Alberto GRIGGIO
* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: Prof. Anders MOELLER, Vice Chair: Prof. Michael PRADEL, Secretary: Dr. Tucker TAFT
* [https://wg25.taa.univie.ac.at/ WG 2.5 - Numerical Software] <br> Chair: Dr. Andrew DIENSTFREY, Vice-Chair: Prof. Amparo GIL, Secretary: TBA
* [http://www.cs.put.poznan.pl/ifip-wg26/ WG 2.6 - Database] <br> Chair: Prof. Robert WREMBEL, Vice-Chair: Prof. Paolo CHERAVOLO, Secretary: Prof. Sven GROPPE
* [http://www.ifip.org/wg-2.7 WG 2.7/13.4 - User Interface Engineering] <br> Chair: Prof. Davide SPANO, Vice-Chair: Prof. Anke DITTMAR, Secretary: Prof. Sophie DUPUY-CHESSA
* [https://ifip-wg28.github.io/ WG 2.8 - Functional Programming] <br> Chair: Prof. Peter THIEMANN, Secretary: Prof. John REPPY
* [http://www.ifip29.org/ WG 2.9 - Software Requirements Engineering] <br> Chair: Prof. Andrea ZISMAN, Vice-chair: Prof. Travis D. BREAUX, Secretary: Prof. Liliana PASQUALE
* [http://www.ifip.org/wg-2.10 WG 2.10 - Software Architecture] <br> Being reformed.  Contact: Prof. Michael GOEDICKE
* [http://wiki.hh.se/wg211 WG 2.11 - Program Generation] <br> Chair: Prof. Jacques CARETTE, Vice-Chair: Prof. Jeremy YALLOP
* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. Stefan SCHULTE, Vice Chairs: Prof. Jacopo SOLDANI, Secretary: Damian Andrew TAMBURRI
* [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9 - Verified Software] <br> Chair: Prof. Tiziana MARGARIA, Vice Chair: Dr. Jean-Christophe FILLIATRE, Secretary: Dr. Natarajan SHANKAR
* [http://program-transformation.org/WGLD WG 2.16 – Programming Language Design] <br> Chair: Dr. Tijs VAN DER STORM, Vice Chair: Dr. Heather MILLER, Secretary: Mr. Jonathan EDWARDS
* [https://tva.kastel.kit.edu/aktivitaeten/IFIP_Working_Group_on_Foundations_of_Quantum_Computation.php WG 1.11/2.17 - Foundations of Quantum Computation] <br> Chair: Prof. Aleks KISSINGER, Secretary: Luís Manuel Dias Coelho Soares-Barbosa


The members of the Award Committee were:
== National representatives ==
Bertrand Meyer, Prem Devanbu, Sebastian Uchitel


=== The 2009 Award ===
* Marcelo Frias (AR)
 
* Stefan Biffl (AT)
The IFIP TC2 Manfred Paul Award for 2009 was granted to the authors of the best paper of the
* Jo Dalvean (AU)
31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 16-24, 2009.
* Sylvia Ilieva (BG)
 
* Julio Leite (BR)
The paper selected by the [http://www.cs.uoregon.edu/events/icse2009/organization/PCMembers/ ICSE 2009 Programme Committee] was
* Peter Knopf (CH)
 
* Emilio Insfran (CLEI)
'''Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest''':
* Přemek Brada (CZ)
''Automatically Finding Patches Using Genetic Programming''
* Michael Goedicke (DE)
 
* Fritz Henglein (DK)
ICSE 2009 Programme Committee was chaired by
* Reima Suomi (FI)
Jo Atlee, University of Waterloo, Canada and
* Julia Lawall (FR)
Paola Inverardi, University of Aquila, Italy.
* Bhanumati Shekhar (IN)
 
* Paolo Ciancarini (IT)
=== The 2007 Award ===
* Atsushi Igarashi (JP)
 
* Wouter Swierstra (NL)
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.
* Elizabeth A. Kemp (NZ, SEARCC)
 
* Robert Wrembel (PL)
The paper selected by the CEE-SET Award Committee was:
* Fernando Brito e Abreu (PT)
 
* Nenad Stefanović (RS)
'''Adam Trendowicz, Michael Ochs, Axel Wickenkamp, Juergen Muench, Yasushi Ishigai and Takashi Kawaguchi.''':
* Marko Bajec (SI)
''An integrated approach for identifying relevant factors influencing software development productivity''
* Maria Bielikova (SK)
 
* Nikolay Sidorov (UA)
The CEE-SET Award Committee consisted of:
* Bruce Watson (ZA)
 
* Will Tracz (US, ACM)
# 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
[http://www.re06.org 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
 
http://www.ifi.unizh.ch/req/events/RE06/ConferenceProgram/Awards.html
 
=== The 2005 Award ===
 
In 2005, two awards were made, as Best Paper Awards to conferences chosen by TC2.
 
==== EuroSpi2 ====
 
[http://www.eurospi.net 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) ====
 
[http://www.cs.rmit.edu.au/fedconf/2005/ OnTheMove Federated Conferences (DOA, ODBASE and CoopIS)]
Agia Napa Cyprus, 31 Oct-4 Nov 2005
 
=== The 2001 Award ===
 
Winner:
 
'''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)
 
Runner-up:
 
'''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.
 
== Getting started ==
* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
* [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
 
Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

Latest revision as of 08:25, 22 October 2025


IFIP TC2 (Software: Theory and Practice) Community Website

The [IFIP TC2] committee has been established in 1962. Its 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

Contact

tc2@domain -- Replace "domain" by lists.kit.edu

News

In July 2023, Dr. Jacques Carette was elected as Chair, and Dr. Peter Höfner as Vice-Chair. We thank past Chair Prof. Dr.-Ing. Ina Schaefer and Vice-Chair Ao. Univ.Prof. Dr. Stefan Biffl for their dedicated years of service.

Older news

IFIP Outstanding Service Awards were awarded for 2013 to Prof. Anthony Finkelstein (WG 2.9), Prof. Brian Ford (WG 2.5), and Prof. Chris Lengauer (WG 2.11).

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).

The IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice

The Award

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.

  1. The award is known as the IFIP TC2 Manfred Paul Award.
  2. The award consists of a certificate and an amount of money to the value of 1024 euro.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. At the discretion of the committee members, there may be no award or more than one award in each year.

More details as well as the list of awardees can be found on the Manfred Paul Award page.

Details of TC2 (Meeting Minutes, Members, Officers, Working Groups)

Minutes of Meetings

Members

More detailed membership information is maintained by IFIP.

Officers

Working groups

National representatives

  • Marcelo Frias (AR)
  • Stefan Biffl (AT)
  • Jo Dalvean (AU)
  • Sylvia Ilieva (BG)
  • Julio Leite (BR)
  • Peter Knopf (CH)
  • Emilio Insfran (CLEI)
  • Přemek Brada (CZ)
  • Michael Goedicke (DE)
  • Fritz Henglein (DK)
  • Reima Suomi (FI)
  • Julia Lawall (FR)
  • Bhanumati Shekhar (IN)
  • Paolo Ciancarini (IT)
  • Atsushi Igarashi (JP)
  • Wouter Swierstra (NL)
  • Elizabeth A. Kemp (NZ, SEARCC)
  • Robert Wrembel (PL)
  • Fernando Brito e Abreu (PT)
  • Nenad Stefanović (RS)
  • Marko Bajec (SI)
  • Maria Bielikova (SK)
  • Nikolay Sidorov (UA)
  • Bruce Watson (ZA)
  • Will Tracz (US, ACM)
Retrieved from "https://wiki.uni-due.de/ifip/index.php?title=Main_Page&oldid=256"