Advances in enterprise engineering XI: 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham, Switzerland
Springer
[2017]
|
| Series: | Lecture notes in business information processing
284 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 235 Seiten 62 Illustrationen |
| ISBN: | 9783319579542 |
| ISSN: | 1865-1348 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044331774 | ||
| 003 | DE-604 | ||
| 005 | 20190205 | ||
| 007 | t| | ||
| 008 | 170531s2017 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783319579542 |9 978-3-319-57954-2 | ||
| 035 | |a (OCoLC)992150289 | ||
| 035 | |a (DE-599)BVBBV044331774 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 | ||
| 082 | 0 | |a 658.4038 |2 23 | |
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 111 | 2 | |a Enterprise Engineering Working Conference |n 7. |d 2017 |c Antwerpen |j Verfasser |0 (DE-588)1133199178 |4 aut | |
| 245 | 1 | 0 | |a Advances in enterprise engineering XI |b 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings |c edited by David Aveiro, Robert Pergl, Giancarlo Guizzardi, João Paulo Almeida, Rodrigo Magalhães, Hans Lekkerkerk |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2017] | |
| 300 | |a XII, 235 Seiten |b 62 Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in business information processing |v 284 |x 1865-1348 | |
| 650 | 4 | |a Business | |
| 650 | 4 | |a Management information systems | |
| 650 | 4 | |a Industrial management | |
| 650 | 4 | |a Application software | |
| 650 | 4 | |a Business and Management | |
| 650 | 4 | |a Enterprise Architecture | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Computer Appl. in Administrative Data Processing | |
| 650 | 4 | |a Business Information Systems | |
| 650 | 4 | |a Business Process Management | |
| 650 | 4 | |a Wirtschaft | |
| 650 | 0 | 7 | |a Unternehmensarchitektur |0 (DE-588)7856257-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Managementinformationssystem |0 (DE-588)4074518-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Information Engineering |0 (DE-588)4205982-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2017 |z Antwerpen |2 gnd-content | |
| 689 | 0 | 0 | |a Managementinformationssystem |0 (DE-588)4074518-1 |D s |
| 689 | 0 | 1 | |a Information Engineering |0 (DE-588)4205982-3 |D s |
| 689 | 0 | 2 | |a Unternehmensarchitektur |0 (DE-588)7856257-0 |D s |
| 689 | 0 | 3 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Aveiro, David |0 (DE-588)1072636654 |4 edt | |
| 700 | 1 | |a Pergl, Robert |d ca. 20./21. Jh. |0 (DE-588)117231277X |4 edt | |
| 700 | 1 | |a Guizzardi, Giancarlo |d 1975- |0 (DE-588)1177086662 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-57955-9 |
| 830 | 0 | |a Lecture notes in business information processing |v 284 |w (DE-604)BV023204387 |9 284 | |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029735007&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029735007 | |
Record in the Search Index
| _version_ | 1820882484687011840 |
|---|---|
| adam_text |
Contents
Formalisms
Formal Specification of DEMO Process Model and Its Submodel:
Towards Algebra of DEMO Models. 3
Tetsuya Suga and Junichi lijima
A DEMO Machine - A Formal Foundation for Execution
of DEMO Models. 18
Marek Skotnica, Steven J.H. van Kervel, and Robert Pergl
Standards and Laws
Adding Quality of Information to the Ontological Model
of an Enterprise. 35
Ron Deen, Johan Mijs, and Martin Op T Land
DEMO/PSI Theory and the Law of the Land. 50
Duarte Gouveia and David Aveiro
The Perspectives of DEMO Application to COSO Internal Audit
Framework Risks Mitigation. 66
Eduard Babkin, Pavel Malyzhenkov, and Fabrizio Rossi
VLSI Revisited. 74
Niek J. Pluijmert
Business Processes
Converting DEMO PSI Transaction Pattern into BPMN:
A Complete Method. 85
Ondřej Mráz, Pavel Náplava, Robert Pergl, and Marek Skotnica
DEMO Business Processes Design to Improve the Enterprise Business
Continuity Plans. 99
José Brás and Sérgio Guerreiro
Normalized Systems and Evolvability
Investigating the Evolvability of Financial Domain Models. Ill
Marjolein Deryck, Ondrej Dvořák, Peter De Bruyn, and Jan Vereist
XII
Contents
Exploring Design Aspects of Modular and Evolvable Document
Management. 126
Gilles Oorts, Herwig Mannaert, and Peter De Bruyn
Application of Enterprise Engineering to Lean Process Management:
An Explorative Case Study. 141
Marjolein Deryck and Philip Huysmans
Ontologies
The REA Model Expressed in a Generic DEMO Model for Co-creation
and Co-production. 151
František Hunka and Steven J.H. van Kervel
SysPRE - Systematized Process for Requirements Engineering. 166
Ana Neto, Duarte Pinto, and David Aveiro
Revisiting the DEMO Transaction Pattern with the Unified Foundational
Ontology (UFO). 181
Tanja Poletaeva, Giancarlo Guizzardi, Joäo Paulo A. Almeida,
and Habib Abdulrab
Organisation Design
An OD-Pearl for the EE-Oyster. 199
L.J. Lekkerkerk
A Literature Review of Coordination Mechanisms: Contrasting
Organization Science and Information Systems Perspectives. 220
Maximilian Brosius, M. Kazem Haki, Stephan Aier, and Robert Winter
Author Index
235 |
| any_adam_object | 1 |
| author2 | Aveiro, David Pergl, Robert ca. 20./21. Jh Guizzardi, Giancarlo 1975- |
| author2_role | edt edt edt |
| author2_variant | d a da r p rp g g gg |
| author_GND | (DE-588)1072636654 (DE-588)117231277X (DE-588)1177086662 |
| author_corporate | Enterprise Engineering Working Conference Antwerpen |
| author_corporate_role | aut |
| author_facet | Aveiro, David Pergl, Robert ca. 20./21. Jh Guizzardi, Giancarlo 1975- Enterprise Engineering Working Conference Antwerpen |
| author_sort | Enterprise Engineering Working Conference Antwerpen |
| building | Verbundindex |
| bvnumber | BV044331774 |
| classification_rvk | QH 500 |
| ctrlnum | (OCoLC)992150289 (DE-599)BVBBV044331774 |
| dewey-full | 658.4038 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 658 - General management |
| dewey-raw | 658.4038 |
| dewey-search | 658.4038 |
| dewey-sort | 3658.4038 |
| dewey-tens | 650 - Management and auxiliary services |
| discipline | Wirtschaftswissenschaften |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV044331774</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190205</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">170531s2017 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319579542</subfield><subfield code="9">978-3-319-57954-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992150289</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044331774</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">658.4038</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Enterprise Engineering Working Conference</subfield><subfield code="n">7.</subfield><subfield code="d">2017</subfield><subfield code="c">Antwerpen</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1133199178</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in enterprise engineering XI</subfield><subfield code="b">7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings</subfield><subfield code="c">edited by David Aveiro, Robert Pergl, Giancarlo Guizzardi, João Paulo Almeida, Rodrigo Magalhães, Hans Lekkerkerk</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 235 Seiten</subfield><subfield code="b">62 Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in business information processing</subfield><subfield code="v">284</subfield><subfield code="x">1865-1348</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management information systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Industrial management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business and Management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Enterprise Architecture</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Appl. in Administrative Data Processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business Information Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business Process Management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Wirtschaft</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unternehmensarchitektur</subfield><subfield code="0">(DE-588)7856257-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Managementinformationssystem</subfield><subfield code="0">(DE-588)4074518-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Information Engineering</subfield><subfield code="0">(DE-588)4205982-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2017</subfield><subfield code="z">Antwerpen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Managementinformationssystem</subfield><subfield code="0">(DE-588)4074518-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Information Engineering</subfield><subfield code="0">(DE-588)4205982-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Unternehmensarchitektur</subfield><subfield code="0">(DE-588)7856257-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Aveiro, David</subfield><subfield code="0">(DE-588)1072636654</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pergl, Robert</subfield><subfield code="d">ca. 20./21. Jh.</subfield><subfield code="0">(DE-588)117231277X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Guizzardi, Giancarlo</subfield><subfield code="d">1975-</subfield><subfield code="0">(DE-588)1177086662</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-57955-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in business information processing</subfield><subfield code="v">284</subfield><subfield code="w">(DE-604)BV023204387</subfield><subfield code="9">284</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029735007&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029735007</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2017 Antwerpen gnd-content |
| genre_facet | Konferenzschrift 2017 Antwerpen |
| id | DE-604.BV044331774 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:07:38Z |
| institution | BVB |
| institution_GND | (DE-588)1133199178 |
| isbn | 9783319579542 |
| issn | 1865-1348 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029735007 |
| oclc_num | 992150289 |
| open_access_boolean | |
| owner | DE-384 |
| owner_facet | DE-384 |
| physical | XII, 235 Seiten 62 Illustrationen |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in business information processing |
| series2 | Lecture notes in business information processing |
| spelling | Enterprise Engineering Working Conference 7. 2017 Antwerpen Verfasser (DE-588)1133199178 aut Advances in enterprise engineering XI 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings edited by David Aveiro, Robert Pergl, Giancarlo Guizzardi, João Paulo Almeida, Rodrigo Magalhães, Hans Lekkerkerk Cham, Switzerland Springer [2017] XII, 235 Seiten 62 Illustrationen txt rdacontent n rdamedia nc rdacarrier Lecture notes in business information processing 284 1865-1348 Business Management information systems Industrial management Application software Business and Management Enterprise Architecture Information Systems Applications (incl. Internet) Computer Appl. in Administrative Data Processing Business Information Systems Business Process Management Wirtschaft Unternehmensarchitektur (DE-588)7856257-0 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Managementinformationssystem (DE-588)4074518-1 gnd rswk-swf Information Engineering (DE-588)4205982-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2017 Antwerpen gnd-content Managementinformationssystem (DE-588)4074518-1 s Information Engineering (DE-588)4205982-3 s Unternehmensarchitektur (DE-588)7856257-0 s Datenverarbeitung (DE-588)4011152-0 s DE-604 Aveiro, David (DE-588)1072636654 edt Pergl, Robert ca. 20./21. Jh. (DE-588)117231277X edt Guizzardi, Giancarlo 1975- (DE-588)1177086662 edt Erscheint auch als Online-Ausgabe 978-3-319-57955-9 Lecture notes in business information processing 284 (DE-604)BV023204387 284 Digitalisierung UB Augsburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029735007&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Advances in enterprise engineering XI 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings Lecture notes in business information processing Business Management information systems Industrial management Application software Business and Management Enterprise Architecture Information Systems Applications (incl. Internet) Computer Appl. in Administrative Data Processing Business Information Systems Business Process Management Wirtschaft Unternehmensarchitektur (DE-588)7856257-0 gnd Datenverarbeitung (DE-588)4011152-0 gnd Managementinformationssystem (DE-588)4074518-1 gnd Information Engineering (DE-588)4205982-3 gnd |
| subject_GND | (DE-588)7856257-0 (DE-588)4011152-0 (DE-588)4074518-1 (DE-588)4205982-3 (DE-588)1071861417 |
| title | Advances in enterprise engineering XI 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings |
| title_auth | Advances in enterprise engineering XI 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings |
| title_exact_search | Advances in enterprise engineering XI 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings |
| title_full | Advances in enterprise engineering XI 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings edited by David Aveiro, Robert Pergl, Giancarlo Guizzardi, João Paulo Almeida, Rodrigo Magalhães, Hans Lekkerkerk |
| title_fullStr | Advances in enterprise engineering XI 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings edited by David Aveiro, Robert Pergl, Giancarlo Guizzardi, João Paulo Almeida, Rodrigo Magalhães, Hans Lekkerkerk |
| title_full_unstemmed | Advances in enterprise engineering XI 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings edited by David Aveiro, Robert Pergl, Giancarlo Guizzardi, João Paulo Almeida, Rodrigo Magalhães, Hans Lekkerkerk |
| title_short | Advances in enterprise engineering XI |
| title_sort | advances in enterprise engineering xi 7th enterprise engineering working conference eewc 2017 antwerp belgium may 8 12 2017 proceedings |
| title_sub | 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017 : proceedings |
| topic | Business Management information systems Industrial management Application software Business and Management Enterprise Architecture Information Systems Applications (incl. Internet) Computer Appl. in Administrative Data Processing Business Information Systems Business Process Management Wirtschaft Unternehmensarchitektur (DE-588)7856257-0 gnd Datenverarbeitung (DE-588)4011152-0 gnd Managementinformationssystem (DE-588)4074518-1 gnd Information Engineering (DE-588)4205982-3 gnd |
| topic_facet | Business Management information systems Industrial management Application software Business and Management Enterprise Architecture Information Systems Applications (incl. Internet) Computer Appl. in Administrative Data Processing Business Information Systems Business Process Management Wirtschaft Unternehmensarchitektur Datenverarbeitung Managementinformationssystem Information Engineering Konferenzschrift 2017 Antwerpen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029735007&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV023204387 |
| work_keys_str_mv | AT enterpriseengineeringworkingconferenceantwerpen advancesinenterpriseengineeringxi7thenterpriseengineeringworkingconferenceeewc2017antwerpbelgiummay8122017proceedings AT aveirodavid advancesinenterpriseengineeringxi7thenterpriseengineeringworkingconferenceeewc2017antwerpbelgiummay8122017proceedings AT perglrobert advancesinenterpriseengineeringxi7thenterpriseengineeringworkingconferenceeewc2017antwerpbelgiummay8122017proceedings AT guizzardigiancarlo advancesinenterpriseengineeringxi7thenterpriseengineeringworkingconferenceeewc2017antwerpbelgiummay8122017proceedings |