Main Page: Difference between revisions
JuliaLawall (talk | contribs) |
JuliaLawall (talk | contribs) |
||
(70 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
__NOTOC__ | __NOTOC__ | ||
= | = IFIP TC2 (Software: Theory and Practice) Community Website = | ||
The committee has been established in 1962. | 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 22: | Line 22: | ||
== Contact == | == Contact == | ||
tc2@domain -- Replace "domain" by lists.kit.edu | |||
Replace "domain" by | |||
== News == | == News == | ||
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. | |||
== Older news == | == 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 | |||
= 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. | |||
The | # 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. | |||
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 == | |||
* [[July 2024]] | |||
* [[July 2023]] | |||
* [[July 2022]] | |||
* [[December 2020]] | |||
* [[May 2019]] | |||
* [[May 2018]] | |||
* [[July 2017]] | |||
* [[July 2016]] | |||
* [[May 2015]] | |||
= Members = | = Members = | ||
Line 218: | Line 70: | ||
== Officers == | == Officers == | ||
* Chair: [ | * 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], [ | * 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] | * Secretary: [http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Dr. Julia LAWALL] | ||
== Working groups == | == Working groups == | ||
* [http://www.ifipwg21.org WG 2.1 - Algorithmic Languages and Calculi] <br> Chair: Prof. Peter HÖFNER, Vice chair: | * [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 | ||
* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. | * [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:// | * [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: | * [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: | * [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. | * [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. | * [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. | * [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> | * [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: | * [http://wiki.hh.se/wg211 WG 2.11 - Program Generation] <br> Chair: Prof. Jacques CARETTE, Vice-Chair: Prof. Jeremy YALLOP | ||
* [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. | * [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. Stefano ZACCHIROLI, Vice-Chair: Prof. Gregorio ROBLES, Secretary: Prof. Joseph FELLER | ||
* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. | * [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 | * [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9 - Verified Software] <br> Chair: Prof. Tiziana MARGARIA, Vice Chair: Dr. Natarajan SHANKAR, Secretary: Dr. Jean-Christophe FILLIATRE | ||
* [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 | * [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 | |||
== National representatives == | == National representatives == | ||
Line 244: | Line 97: | ||
* Marcelo Frias (AR) | * Marcelo Frias (AR) | ||
* Stefan Biffl (AT) | * Stefan Biffl (AT) | ||
* Jo Dalvean (AU) | |||
* Sylvia Ilieva (BG) | * Sylvia Ilieva (BG) | ||
* Julio Leite (BR) | * Julio Leite (BR) | ||
* Peter Knopf (CH) | * Peter Knopf (CH) | ||
* | * Emilio Insfran (CLEI) | ||
* Přemek Brada (CZ) | * Přemek Brada (CZ) | ||
* | * Michael Goedicke (DE) | ||
* | * Fritz Henglein (DK) | ||
* Reima Suomi (FI) | * Reima Suomi (FI) | ||
* Julia Lawall (FR) | * Julia Lawall (FR) | ||
Line 256: | Line 110: | ||
* Paolo Ciancarini (IT) | * Paolo Ciancarini (IT) | ||
* Atsushi Igarashi (JP) | * Atsushi Igarashi (JP) | ||
* | * Wouter Swierstra (NL) | ||
* Elizabeth A. Kemp (NZ, SEARCC) | * Elizabeth A. Kemp (NZ, SEARCC) | ||
* Robert Wrembel (PL) | * Robert Wrembel (PL) | ||
* Fernando Brito e Abreu (PT) | * Fernando Brito e Abreu (PT) | ||
* Nenad Stefanović (RS) | * Nenad Stefanović (RS) | ||
* Marko Bajec (SI) | * Marko Bajec (SI) | ||
* Maria Bielikova (SK) | * Maria Bielikova (SK) | ||
Line 267: | Line 120: | ||
* Bruce Watson (ZA) | * Bruce Watson (ZA) | ||
* Will Tracz (US, ACM) | * Will Tracz (US, ACM) | ||
Latest revision as of 10:10, 25 December 2024
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.
- 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.
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
- Chair: Dr. Jacques Carette
- Vice-Chair: Prof. Michael GOEDICKE, Dr. Peter Hoefner
- Secretary: Dr. Julia LAWALL
Working groups
- WG 2.1 - Algorithmic Languages and Calculi
Chair: Prof. Peter HÖFNER, Vice chair: Patrick JANSSON, Secretary: Prof. Tom SCHRIJVERS - WG 2.2 - Formal Description of Programming Concepts
Chair: Prof. Barbara KÖNIG, Vice Chair: Prof. Ugo DAL LAGO, Secretary: Prof. Dr. Markus MÜLLER-OLM - WG 2.3 - Programming Methodology
Chair: Dr. Rajeev JOSHI, Vice-chair: Prof. Sophia DROSSOPOULOU, Secretary: Dr. Alberto GRIGGIO - WG 2.4 - Software Implementation Technology
Chair: Prof. Anders MOELLER, Vice Chair: Prof. Michael PRADEL, Secretary: Dr. Tucker TAFT - WG 2.5 - Numerical Software
Chair: Dr. Andrew DIENSTFREY, Vice-Chair: Prof. Amparo GIL, Secretary: TBA - WG 2.6 - Database
Chair: Prof. Robert WREMBEL, Vice-Chair: Prof. Paolo CHERAVOLO, Secretary: Prof. Sven GROPPE - WG 2.7/13.4 - User Interface Engineering
Chair: Prof. Davide SPANO, Vice-Chair: Prof. Anke DITTMAR, Secretary: Prof. Sophie DUPUY-CHESSA - WG 2.8 - Functional Programming
Chair: Prof. Peter THIEMANN, Secretary: Prof. John REPPY - WG 2.9 - Software Requirements Engineering
Chair: Prof. Andrea ZISMAN, Vice-chair: Prof. Travis D. BREAUX, Secretary: Prof. Liliana PASQUALE - WG 2.10 - Software Architecture
Being reformed. Contact: Prof. Michael GOEDICKE - WG 2.11 - Program Generation
Chair: Prof. Jacques CARETTE, Vice-Chair: Prof. Jeremy YALLOP - WG 2.13 - Open Source Software
Chair: Prof. Stefano ZACCHIROLI, Vice-Chair: Prof. Gregorio ROBLES, Secretary: Prof. Joseph FELLER - WG 2.14/6.12/8.10 - Service-Oriented Systems
Chair: Prof. Stefan SCHULTE, Vice Chairs: Prof. Jacopo SOLDANI, Secretary: Damian Andrew TAMBURRI - WG 2.15/1.9 - Verified Software
Chair: Prof. Tiziana MARGARIA, Vice Chair: Dr. Natarajan SHANKAR, Secretary: Dr. Jean-Christophe FILLIATRE - WG 2.16 – Programming Language Design
Chair: Dr. Tijs VAN DER STORM, Vice Chair: Dr. Heather MILLER, Secretary: Mr. Jonathan EDWARDS - WG 1.11/2.17 - Foundations of Quantum Computation
Chair: Prof. Aleks KISSINGER, Secretary: Luís Manuel Dias Coelho Soares Barbosa
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)