Language and automata theory and applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture Notes in Computer Science
6031 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XIV, 622 S. graph. Darst. |
| ISBN: | 9783642130885 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036456373 | ||
| 003 | DE-604 | ||
| 005 | 20140318 | ||
| 007 | t| | ||
| 008 | 100518s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N17 |2 dnb | ||
| 016 | 7 | |a 1001790405 |2 DE-101 | |
| 020 | |a 9783642130885 |c PB. : EUR 84.53 (freier Pr.), sfr 123.00 (freier Pr.) |9 978-3-642-13088-5 | ||
| 024 | 3 | |a 9783642130885 | |
| 028 | 5 | 2 | |a 80014584 |
| 035 | |a (OCoLC)631697121 | ||
| 035 | |a (DE-599)DNB1001790405 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Language and automata theory and applications |b 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings |c Adrian Horia Dediu ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XIV, 622 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 6031 | |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Trier |2 gnd-content | |
| 689 | 0 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Dediu, Adrian-Horia |d 1961- |e Sonstige |0 (DE-588)1035442701 |4 oth | |
| 711 | 2 | |a LATA |n 4 |d 2010 |c Trier |j Sonstige |0 (DE-588)16066101-8 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6031 |w (DE-604)BV000000607 |9 6031 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3459090&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020328357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020328357 | |
Datensatz im Suchindex
| _version_ | 1820875232101007360 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED TALKS COMPLEXITY IN CONVEX LANGUAGES 1 JANUSZ
BRZOZOWSKI THREE LEARNABLE MODELS FOR THE DESCRIPTION OF LANGUAGE 16
ALEXANDER CLARK ARBOLOGY: TREES AND PUSHDOWN AUTOMATA 32 BOFIVOJ
MELICHAR ANALYSIS OF COMMUNICATING AUTOMATA 50 ANCA MUSCHOLL REGULAR
PAPERS COMPLEXITY OF THE SATISFIABILITY PROBLEM FOR A CLASS OF
PROPOSITIONAL SCHEMATA 58 VINCENT ARAVANTINOS, RICARDO CAFERRA, AND
NICOLAS PELTIER A SIMPLE N-DIMENSIONAL INTRINSICALLY UNIVERSAL QUANTUM
CELLULAR AUTOMATON 70 PABLO ARRIGHI AND JONATHAN GRATTAGE A FAST LONGEST
COMMON SUBSEQUENCE ALGORITHM FOR SIMILAR STRINGS. 82 ABDULLAH N.
ARSLAN ABELIAN SQUARE-FREE PARTIAL WORDS 94 FRANCINE BLANCHET-SADRI,
JANE I. KIM, ROBERT MERCA§, WILLIAM SEVERA, AND SEAN SIMMONS AVOIDABLE
BINARY PATTERNS IN PARTIAL WORDS 106 FRANCINE BLANCHET-SADRI, ROBERT
MERCA§, SEAN SIMMONS, AND ERIC WEISSENSTEIN EQUIVALENCE AND INCLUSION
PROBLEM FOR STRONGLY UNAMBIGUOUS BUCHI AUTOMATA 118 NICOLAS BOUSQUET AND
CHRISTOF LADING PREGROUP GRAMMARS WITH LETTER PROMOTIONS 130 WOJCIECH
BUSZKOWSKI AND ZHE LIN A HIERARCHICAL CLASSIFICATION OF FIRST-ORDER
RECURRENT NEURAL NETWORK BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1001790405 DIGITALISIERT DURCH XII TABLE OF CONTENTS
CHOOSING WORD OCCURRENCES FOR THE SMALLEST GRAMMAR PROBLEM 154 RAFAEL
CARRASCOSA, FRANCOIS COSTE, MATTHIAS GALLE, AND GABRIEL INFANTE-LOPEZ
AGREEMENT AND CLITICIZATION IN ITALIAN: A PREGROUP ANALYSIS 166 CLAUDIA
CASADIO GEOMETRICITY OF BINARY REGULAR LANGUAGES 178 JEAN-MARC
CHAMPARNAUD, JEAN-PHILIPPE DUBERNARD, AND HADRIEN JEANNE ON THE
EXPRESSIVE POWER OF FO[+] 190 CHRISTIAN CHOFFRUT, ANDREAS MATCHER, CARLO
MEREGHETTI, AND BEATRICE PALANO FINDING CONSISTENT CATEGORIAL GRAMMARS
OF BOUNDED VALUE: A PARAMETERIZED APPROACH 202 CHRISTOPHE COSTA
FLORENCIO AND HENNING FERNAU OPERATOR PRECEDENCE AND THE VISIBLY
PUSHDOWN PROPERTY 214 STEFANO CRESPI REGHIZZI AND DINO MANDRIOLI ON THE
MAXIMAL NUMBER OF CUBIC RUNS IN A STRING 227 MAXIME CROCHEMORE, COSTAS
ILIOPOULOS, MARCIN KUBICA, JAKUB RADOSZEWSKI, WOJCIECH RYTTER, AND
TOMASZ WALEN ON THE HAMILTONIAN OPERATORS FOR ADIABATIC QUANTUM
REDUCTION OF SAT 239 WILLIAM CRUZ-SANTOS AND GUILLERMO MORALES-LUNA
PARAMETRIC METRIC INTERVAL TEMPORAL LOGIC 249 BARBARA DI GIAMPAOLO,
SALVATORE LA TORRE, AND MARGHERITA NAPOLI SHORT WITNESSES AND ACCEPTING
LASSOS IN W-AUTOMATA 261 RUEDIGER EHLERS GRAMMAR-BASED COMPRESSION IN A
STREAMING MODEL 273 TRAVIS TABLE OF CONTENTS XIII LEARNABILITY OF
AUTOMATIC CLASSES 321 SANJAY JAIN, QINGLONG LUO, AND FRANK STEPHAN
UNTESTABLE PROPERTIES EXPRESSIBLE WITH FOUR FIRST-ORDER QUANTIFIERS .
333 CHARLES JORDAN AND THOMAS ZEUGMANN THE COPYING POWER OF WELL-NESTED
MULTIPLE CONTEXT-FREE GRAMMARS . 344 MAKOTO KANAZAWA AND SYLVAIN
SALVATI POST CORRESPONDENCE PROBLEM WITH PARTIALLY COMMUTATIVE ALPHABETS
356 BARBARA KLUNDER AND WOJCIECH RYTTER REVERSIBLE PUSHDOWN AUTOMATA 368
MARTIN KUTRIB AND ANDREAS MALCHER STRING EXTENSION LEARNING USING
LATTICES 380 ANNA KASPRZIK AND TIMO KOETZING THE EQUIVALENCE PROBLEM OF
DETERMINISTIC MULTITAPE FINITE AUTOMATA: A NEW PROOF OF SOLVABILITY
USING A MULTIDIMENSIONAL TAPE 392 ALEXANDER A. LETICHEVSKY, ARSEN S.
SHOUKOURIAN, AND SAMVEL K. SHOUKOURIAN PRIMITIVE WORDS ARE UNAVOIDABLE
FOR CONTEXT-FREE LANGUAGES 403 PETER LEUPOLD MODAL NONASSOCIATIVE LAMBEK
CALCULUS WITH ASSUMPTIONS: COMPLEXITY AND CONTEXT-FREENESS 414 ZHE LIN
HARD COUNTING PROBLEMS FOR PARTIAL WORDS 426 FLORIN MANEA AND CAETAELIN
TISEANU EXACT ANALYSIS OF HORSPOOL'S AND SUNDAY'S PATTERN MATCHING
ALGORITHMS WITH PROBABILISTIC ARITHMETIC AUTOMATA 439 TOBIAS MARSCHALL
AND SVEN RAHMANN SA-REP XIV TABLE OF CONTENTS USING SUMS-OF-PRODUCTS FOR
NON-STANDARD REASONING 488 RAFAEL PENALOZA RESTARTING AUTOMATA WITH
STRUCTURED OUTPUT AND FUNCTIONAL GENERATIVE DESCRIPTION 500 MARTIN
PLATEK, FRANTISEK MRAZ, AND MARKETA LOPATKOVA A RANDOMIZED NUMERICAL
ALIGNER (RNA) 512 ALBERTO POLICRITI, ALEXANDRU I. TOMESCU, AND FRANCESCO
VEZZI LANGUAGE-BASED COMPARISON OF PETRI NETS WITH BLACK TOKENS, PURE
NAMES AND ORDERED DATA 524 FERNANDO ROSA-VELARDO AND GIORGIO DELZANNO
VERIFYING COMPLEX CONTINUOUS REAL-TIME SYSTEMS WITH COINDUCTIVE CLP(R)
536 NEDA SAEEDLOEI AND GOPAL GUPTA INCREMENTAL BUILDING IN PEPTIDE
COMPUTING TO SOLVE HAMILTONIAN PATH PROBLEM 549 MUTHIAH SAKTHI BALAN AND
PARAMESWARAN SESHAN VARIABLE AUTOMATA OVER INFINITE ALPHABETS 561 ORNA
GRUMBERG, ORNA KUPFERMAN, AND SARAI SHEINVALD SOME MINIMALITY RESULTS ON
BIRESIDUAL AND BISEPARABLE AUTOMATA 573 HELLIS TAMM EXTENDING STOCHASTIC
CONTEXT-FREE GRAMMARS FOR AN APPLICATION IN BIOINFORMATICS 585 FRANK
WEINBERG AND MARKUS E. NEBEL CHOMSKY-SCHUETZENBERGER-TYPE
CHARACTERIZATION OF MULTIPLE CONTEXT-FREE LANGUAGES 596 RYO YOSHINAKA,
YUICHI KAJI, AND HIROYUKI SEKI COMPLEXITY OF GUIDED INSERTION-DELETION
IN RNA-EDITING 608 HANS ZANTEMA AUTHO |
| any_adam_object | 1 |
| author_GND | (DE-588)1035442701 |
| building | Verbundindex |
| bvnumber | BV036456373 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 550f |
| ctrlnum | (OCoLC)631697121 (DE-599)DNB1001790405 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036456373</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140318</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100518s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N17</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1001790405</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642130885</subfield><subfield code="c">PB. : EUR 84.53 (freier Pr.), sfr 123.00 (freier Pr.)</subfield><subfield code="9">978-3-642-13088-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642130885</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80014584</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)631697121</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1001790405</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Language and automata theory and applications</subfield><subfield code="b">4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings</subfield><subfield code="c">Adrian Horia Dediu ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 622 S.</subfield><subfield code="b">graph. Darst.</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 Computer Science</subfield><subfield code="v">6031</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</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">2010</subfield><subfield code="z">Trier</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dediu, Adrian-Horia</subfield><subfield code="d">1961-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1035442701</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LATA</subfield><subfield code="n">4</subfield><subfield code="d">2010</subfield><subfield code="c">Trier</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16066101-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6031</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6031</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3459090&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=020328357&sequence=000001&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-020328357</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Trier gnd-content |
| genre_facet | Konferenzschrift 2010 Trier |
| id | DE-604.BV036456373 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:21Z |
| institution | BVB |
| institution_GND | (DE-588)16066101-8 |
| isbn | 9783642130885 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020328357 |
| oclc_num | 631697121 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | XIV, 622 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings Adrian Horia Dediu ... (eds.) Berlin [u.a.] Springer 2010 XIV, 622 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 6031 Automatentheorie (DE-588)4003953-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Trier gnd-content Automatentheorie (DE-588)4003953-5 s DE-604 Formale Sprache (DE-588)4017848-1 s Dediu, Adrian-Horia 1961- Sonstige (DE-588)1035442701 oth LATA 4 2010 Trier Sonstige (DE-588)16066101-8 oth Lecture Notes in Computer Science 6031 (DE-604)BV000000607 6031 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3459090&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020328357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings Lecture Notes in Computer Science Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4017848-1 (DE-588)1071861417 |
| title | Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings |
| title_auth | Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings |
| title_exact_search | Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings |
| title_full | Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings Adrian Horia Dediu ... (eds.) |
| title_fullStr | Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings Adrian Horia Dediu ... (eds.) |
| title_full_unstemmed | Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings Adrian Horia Dediu ... (eds.) |
| title_short | Language and automata theory and applications |
| title_sort | language and automata theory and applications 4th international conference lata 2010 trier germany may 24 28 2010 proceedings |
| title_sub | 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings |
| topic | Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Automatentheorie Formale Sprache Konferenzschrift 2010 Trier |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3459090&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020328357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT dediuadrianhoria languageandautomatatheoryandapplications4thinternationalconferencelata2010triergermanymay24282010proceedings AT latatrier languageandautomatatheoryandapplications4thinternationalconferencelata2010triergermanymay24282010proceedings |