- finite-model-theory - lists.rwth-aachen.de

LSFA 2018 - Call for Participation
by Francicleber M. Ferreira 27 Aug '18

27 Aug '18

LSFA 2018 - Call for Participation 13th Workshop on Logical and Semantic Frameworks, with Applications 26-28 September 2018 Fortaleza, Brazil www.lia.ufc.br/~lsfa2018 ============================================================================= *** Early Registration Deadline: 31 August 2018 *** *** List of accepted papers and registration information is available at www.lia.ufc.br/~lsfa2018 *** ============================================================================= The LSFA Community invites you to participate in the 13th Workshop on Logic and Semantic Frameworks, with Application, LSFA 2018. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning. Invited Speakers + Amy Felty, University of Ottawa + Andreas Herzig, CNRS, IRIT, Université de Toulouse + Yiannis Moschovakis, University of California, Los Angeles & University of Athens + Alessandra Palmigiano, Delft University of Technology Venue Fortaleza is the state capital of Ceará, and 5th most preferred touristic destination in Brazil. The conference will be hosted by the Department of Computer Science of the Federal University of Ceará. Find more info on the event's webpage: www.lia.ufc.br/~lsfa2018 Contact lsfa2018 at lia [d] ufc [d] br

1 0

Möglichkeit der Promotion
by Dietrich Kuske 10 Aug '18

10 Aug '18

Ausschreibung (siehe auch https://www.tu-ilmenau.de/al/) An der Fakultät für Informatik und Automatisierung ist im Fachgebiet Automaten und Logik (Fachgebietsleiter Prof. Dr. Dietrich Kuske) zum 1. Oktober 2018 eine Stelle als wissenschaftliche/r Mitarbeiter/in für 3 Jahre zu besetzen. Die Vergütung erfolgt nach den Bestimmungen der Tarifverträge für den öffentlichen Dienst der Länder (TV-L). Die Stelle ist mit Entgeltgruppe E 13 bewertet. Aufgabengebiete • Es sollen Forschungsarbeiten an der Schnittstelle von Automatentheorie und Logik bearbeitet werden. • Es soll die Lehre im gesamten vom Fachgebiet angebotenen Spektrum, insbesondere zur Automatentheorie und zur Logik in der Informatik, unterstützt werden (Vorbereitung und Durchführung von Übungen; Betreuung von Bachelor- und Masterarbeiten; Unterstützung bei der Durchführung von Prüfungen). • Die Übernahme von organisatorischen und Selbstverwaltungsaufgaben im üblichen Rahmen wird erwartet. Einstellungsvoraussetzungen Wir erwarten von Ihnen: • einen sehr guten wissenschaftlichen Hochschulabschluss in Informatik oder Mathematik • sehr gute Kenntnisse in Theoretischer Informatik, vorzugsweise in der Automatentheorie oder der Logik • Fähigkeit zur Veröffentlichung und Präsentation von Forschungsergebnissen im internationalen Rahmen • Bereitschaft zur selbständigen wissenschaftlichen Tätigkeit mit dem Ziel der Weiterqualifikation • sehr gute Deutschkenntnisse Die befristete Beschäftigung erfolgt zur Förderung der eigenen wissenschaftlichen Qualifizierung (Promotion). Die TU Ilmenau ist Träger des TOTAL E-Quality-Prädikats. Sie fordert Frauen nachdrücklich zur Bewerbung auf. Schwerbehinderte haben bei gleicher Eignung, Befähigung und fachlicher Qualifikation Vorrang bei der Einstellung. Bewerbungen mit den üblichen Unterlagen (Bewerbungsschreiben, Lebenslauf, Zeugniskopien, ggf. Referenzen) richten Sie bitte unter der Kennziffer 73/2018 an die Technische Universität Ilmenau Dezernat für Personal und Recht Postfach 10 05 65 98684 Ilmenau Deutschland bzw. an: bewerbung(a)tu-ilmenau.de. (Anlagen bitte im pdf-Format zusammengefasst in einer Datei anfügen) Eingehende Bewerbungen werden bis zum 1. September 2018 berücksichtigt. Für weitere Informationen können Sie sich gerne an Professor Kuske (dietrich.kuske(a)tu-ilmenau.de), wenden (auch telefonisch unter 03677 691444). Aus Kostengründen wird darum gebeten, die Bewerbungsunterlagen in Kopie einzureichen. Diese verbleiben bei der TU Ilmenau und werden nicht zurückgesandt. Nach Abschluss des Stellenbesetzungsverfahrens werden die Unterlagen nicht berücksichtigter Bewerber/-innen vernichtet. Bei gewünschter Rücksendung der Unterlagen bitten wir, der Bewerbung einen adressierten und ausreichend frankierten Rückumschlag beizufü- gen. Die Ihnen durch die Bewerbung entstandenen Kosten werden durch die TU Ilmenau nicht übernommen. -- Prof. Dr. Dietrich Kuske | FG Automaten und Logik | Tel +49 (0)3677 69 1444 TU Ilmenau | dietrich.kuske(a)tu-ilmenau.de PF 10 05 65 | http://eiche.theoinf.tu-ilmenau.de/kuske D-98684 Ilmenau | www.kleines-paradies-buelow.de

1 0

CSL 2018 - Final Call for Participation
by EACSL 04 Aug '18

04 Aug '18

Final Call for Participation ======================================== Computer Science Logic 2018 Birmingham, United Kingdom 4–7 September <http://events.cs.bham.ac.uk/csl18/> ======================================== ** The early bird registration period has been extended till 7 August ** The European Association for Computer Science Logic and the School of Computer Science of the University of Birmingham kindly invite you to take part in the 2018 edition of CSL. The day after the conference, there will be a free workshop honouring Achim Jung on occasion of his 60th birthday. # The Conference Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2018 will be the 27th edition in the series. ## Invited Speakers * Bob Coecke — University of Oxford * Emmanuel Filiot — Université Libre de Bruxelles * Catuscia Palamidessi — École Polytechnique * Christine Tasson — Université Paris Diderot * Szymon Toruńczyk — Uniwersytet Warszawksi ## Programme Thirty-six contributions were selected for presentation at CSL 2018. A full listing is available at <http://events.cs.bham.ac.uk/csl18/acceptedpapers/> A preliminary programme has also been published. # Achim Jung Fest — “An Intersection of Neighborhoods” (8 Sep) For thirty years, Achim Jung has been at the forefront of research in the fields of Programming Language Semantics, Topological Logic, and, more broadly, the intersection of Computer Science, Logic, and Mathematics. The day following CSL there will be a workshop in commemoration of his career on occasion of his 60th birthday. For more information, please see <http://events.cs.bham.ac.uk/csl18/AJFest/> ## Invited Speakers * Samson Abramsky — University of Oxford * Thorsten Altenkirch — University of Nottingham * Mai Gehrke — Université Côte d'Azur * Michael Huth — Imperial College * Ho Weng Kin — Nanyang Technological University * Jimmie Lawson — Louisiana State University * Michael Mislove — Tulane University * Frank Pfenning — Carnegie Mellon University * Alex Simpson — University of Ljubljana # Registration The fees for the conference and associated events are ------------------------------------------- ------- Early Bird Conference (Standard) £300 Early Bird Conference (Student) £240 Regular Conference (after 7 August) £350 Conference Dinner £48 Excursion Black Country Living Museum £32 Achim Jung Fest *free* ------------------------------------------- ------- To register, please follow the link and information provided on the CSL website <http://events.cs.bham.ac.uk/csl18> For any questions please contact Dan R. Ghica <D.R.Ghica(a)cs.bham.ac.uk>

1 0

Upcoming deadline: 4-years fully funded PhD scholarships in Austria - LogiCS Doctoral College on Logical Methods in Computer Science with a special call for women in CS
by Mihaela Rozman 31 Jul '18

31 Jul '18

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Applications are invited for a 4-year fully funded PhD studentship in LogiCS Doctoral College - Logical Methods in Computer Science. ======================================== The faculty of the LogiCS doctoral college is looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates. ======================================== LogiCS - Logical Methods in Computer Science is a joint doctoral program of TU Wien, TU Graz, and JKU Linz, Austria, funded by the Austrian Science Fund (FWF). ======================================== Deadline: Friday 31 August 2018. ======================================== Website: http://logic-cs.at/phd/ ======================================== TOPICS OF RESEARCH LogiCS focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering (i) computational logic, (ii) databases and artificial intelligence, (iii) computer-aided verification, and (iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy. ======================================== FACULTY MEMBERS - Austria has a vibrant and highly active and successful logic in computer science community. Students are supervised by leading researchers in their fields: E. Bartocci / A. Biere / R. Bloem / A. Ciabattoni / G. Gottlob / T. Eiter / R. Grosu / L. Kovacs / M. Maffei / M. Ortiz / U. Schmid / M. Seidl / S. Szeider / G. Weissenbacher / S. Woltran - See: <https://dblp.uni-trier.de/> https://dblp.uni-trier.de/ - Details are provided on: http://logic-cs.at/phd/faculty/ ======================================== POSITIONS AND FUNDING - 4-years fully funded 16 positions, where 30% of the positions are reserved for highly qualified female candidates. - The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/ ). - Additional positions will be available through other funding. ======================================== HOW TO APPLY - The applicants are expected to have completed an excellent master's degree in computer science, mathematics, or a related field. - Candidates with comparable achievements (e.g., bachelor of honors) may be considered on a case-by-case basis. - Applications by the candidates need to be submitted electronically. - Applications will be screened: September 1, 2018 - The positions will be filled on continuous basis till October 2018. - Applications by the candidates need to be submitted electronically. ======================================== ADMISSION Detailed information: http://logic-cs.at/phd/admission/ ======================================== RESEARCH; STUDY; LIFE IN AUSTRIA - Austria has a vibrant and highly active and successful logic in computer science community. See: www.vcla.at - Vienna, Graz, and Linz, located close to the Alps, are surrounded by beautiful nature. Vienna is constantly ranked the city with the highest quality of life in the world. Austria has an exciting cultural scene, world-famous historical sites, a large international community, varied cuisine, and famous coffee houses. ======================================== FURTHER INFORMATION For further information please contact: info(a)logic-cs.at

1 0

HIGHLIGHTS 2018: 1st Call for Participation
by Nathanaël Fijalkow 30 Jul '18

30 Jul '18

Please register and attend HIGHLIGHTS 2018! The programme is here: https://easychair.org/smart-program/Highlights2018/index.html REGISTRATION DEADLINE:* 31 AUGUST 2018* *************** HIGHLIGHTS 2018: 6th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 18-21 September 2018, TU Berlin http://highlights-conference.org SATELLITE EVENTS: + ErichFest: Symposium to Celebrate Erich Grädel’s 60th Birthday, 17 September + Workshop on the Theory of Regular Cost Functions and Beyond, 21 September (afternoon) ================================================ HIGHLIGHTS 2018 is the 6th conference on Highlights of Logic, Games, and Automata that aims to integrate the diverse research community working in the areas of Logic and Finite Model Theory, Automata Theory, and Games for Logic and Verification. Individual papers are dispersed across many conferences, which makes them challenging to follow. A visit to the annual Highlights conference offers a wide picture of the latest research in the field and a chance to meet and interact with most of the members of the research community. The speakers are encouraged to present their best recent work at Highlights, whether already published elsewhere or not. The conference is short (from 19 September to the mid-day on 21 September) and it is preceded by the Highlights Tutorial Day (18 September). The participation costs are modest and Berlin is easy to reach. The Contributed Presentations will be around ten minutes long. All speakers will be also invited to contribute to a Poster Session, which will open new ways of interaction at the conference for the whole Highlights community. KEYNOTE PRESENTATIONS + Andrei Bulatov, The Complexity of Constraints: Dichotomies and Beyond + Nicole Schweikardt, Constant Delay Enumeration of Query Results + James Worrell, Algebraic Invariants for Affine Programs TUTORIALS + Amir Abboud, Fine-Grained Complexity and Hardness in P + Christoph Berkholz, Interactions Between Proof Complexity and Finite Model Theory + Joost-Pieter Katoen, Principles of Probabilistic Programming INVITED SESSIONS + Chair: Christel Baier, Multi-Objective Reasoning in Probabilistic Models (Speakers: Stefan Kiefer, David Parker) + Chair: Martin Grohe, Logic and Learning (Speakers: Kristian Kersting, Daniel Neider, Dan Olteanu) SPOTLIGHT TALKS + Stéphane Gaubert, Nonarchimedean Convex Programming and Its Relation to Mean-Payoff Games + Laura Kovács, Symbol Elimination for Program Analysis + Jan Křetínský, A Journey from LTL to Your Favourite Automaton + Amaury Pouly, Continuous Models of Computation: Computability, Complexity, Universality + Jeffrey Shallit, Finite Automata and Additive Number Theory

1 0

two phd positions Hasselt University
by Jan Van den Bussche 21 Jul '18

21 Jul '18

The Hasselt research group in databases and theoretical computer science is urgently looking for two good phd candidates. For more information see: https://www.uhasselt.be/vacancies_detail?taal=04&vacid=1583

1 0

PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving"
by roberto.sebastiani＠unitn.it 20 Jul '18

20 Jul '18

-------------------------------------------------------------- [ We apologize if you receive multiple copies of this message] PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED. -------------------------------------------------------------- Posted: July 4th 2018 One PhD Student Position in Information and Communication Technologies on the research project "Quantum Annealing for SAT Solving (QUASI)" is available at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy, under the supervision of Prof. Roberto Sebastiani, DISI, University of Trento, sponsored by and in direct collaboration with D-Wave Systems Inc. (http://www.dwavesys.com). The goal of the QuaSI project is to investigate the usage of D-Wave's quantum annealers (QAs) to solve hard propositional satisfiability (SAT) problems --and related NP-Hard problems-- by exploiting quantum effects to cope with the inherent complexity of the problem. The proposed research is to develop effective and efficient encoding procedures from SAT to problems which fit into, and can be solved by, D-Wave's QAs. These procedures will be presumably based on Satisfiability Modulo theories, automated-reasoning and graph-manipulation techniques. The ultimate goal is to solve problems (e.g., from cryptanalysis) which are currently out of the reach of state-of-the-art SAT solvers). Ph.D. courses will start in Autumn 2018, and the thesis must be completed in three-four years. The selected student should be available for an internship (e.g. 3-month) at D-Wave, in Vancouver (CA). People enrolled in Ph.D. courses are expected to move to Trento, and will receive monetary support during the phases of their activity. CANDIDATE PROFILE The ideal candidate should have an MS or equivalent degree in computer science or engineering, mathematics or electronic engineering, and combine solid theoretical background (algorithms, logic) and excellent software development skills. NO BACKGROUND KNOWLEDGE IN QUANTUM PHYSICS IS REQUIRED. Background knowledge and/or previous experience is requested in at least one the following areas (in order of preference): - Satisfiability Modulo Theories (SMT) - Propositional Satisfiability (SAT) - Automated reasoning and Computational Logic - Constraint Solving and Optimization - Operational Research The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. The position is subject to the acceptance of the assignment of the ownership of intellectual property to D-Wave Inc. of the research results. APPLICATIONS AND INQUIRIES Interested candidates should inquire for further information and/or apply by sending email to roberto.sebastiani(a)unitn.it, indicating "PHD on Quasi Project" in the subject. Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have as subject the sentence: 'PHD ON QUASI PROJECT' (Emails not complying with the above format have high chances to be ignored.) Eventually they must apply to the international call of the ICT school of DISI (http://ict.unitn.it), which is expected to appear by the end of July 2018 (application deadline: end of August 2018). PROPONENT AND CONTACT PERSON Prof. ROBERTO SEBASTIANI Software Engineering & Formal Methods Research Program DISI, University of Trento, via Sommarive 14, I-38100 Povo, Trento, Italy mailto: roberto[dot]sebastiani[at]unitn[dot]it url: http://disi.unitn.it/rseba/ CV: http://disi.unitn.it/rseba/inglcurr.pdf ABOUT DISI AND UNIVERSITY OF TRENTO University of Trento (http://www.unitn.it/en) has been recognized as the best university in Italy and #36 in Europe by Europe Teaching Rankings 2018 of Times Higher Education (https://www.timeshighereducation.com/rankings/europe-teaching/2018#!/page/0…). DISI (http://disi.unitn.it) has been recognized among the top three ICT University Department in Italy. DISI currently consists of ~40 faculties, ~70 research staff and support people, ~20 postdocs and ~140 Doctoral students, plus administrative and technical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications. ABOUT D-WAVE INC. D-Wave (www.dwavesys.com) is the world's only commercial supplier of quantum computers. D-Wave's systems are being used by some of the world's most advanced organizations and D-Wave is the leader in the development and delivery of quantum and hybrid quantum-classical computing systems and software. D-Wave's technology is focused on annealing-based quantum computing. LOCATION Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en.

1 0

ETAPS 2004: FIRST CALL FOR SUBMISSIONS
by ETAPS 2004 19 Jul '18

19 Jul '18

Apologies if you receive multiple copies of this message. ********************************************************** *** ETAPS 2004 *** *** March 27 - April 4, 2004 *** *** Barcelona, SPAIN *** *** *** *** http://www.lsi.upc.es/etaps04/ *** ********************************************************** The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events. ------------------------------------------------------------------------ 5 Conferences - 22 Satellite Workshops - Tutorials - Tool Demonstrations ------------------------------------------------------------------------ ********************************************************** *** *** *** CALL FOR SUBMISSIONS *** *** Submission deadline: October 17, 2003 *** *** *** ********************************************************** ----------------------------------------------------------------------- Conferences ----------------------------------------------------------------------- CC 2004: International Conference on Compiler Construction http://www.research.ibm.com/CC2004/home.html Chair: Evelyn Duesterwald (IBM, USA) duester(a)us.ibm.com ESOP 2004, European Symposium On Programming http://www.cis.ksu.edu/santos/esop2004/ Chair: David Schmidt (Kansas, USA) schmidt(a)cis.ksu.edu FASE 2004, Fundamental Approaches to Software Engineering http://ctp.di.fct.unl.pt/~mw/conf/fase04/ Co-Chairs: Tiziana Margaria (Dortmund, Germany) tmargaria(a)metaframe.de Michel Wermelinger (Lisboa, Portugal) mw(a)di.fct.unl.pt FOSSACS 2004 Foundations of Software Science and Computation Structures http://www.labri.fr/Perso/~igw/FOSSACS/ Chair: Igor Walukiewicz (Bordeaux, France) igw(a)labri.fr TACAS 2003, Tools and Algorithms for the Construction and Analysis of Systems http://www.daimi.au.dk/~cpn/tacas04/ Co-Chairs: Kurt Jensen (Aarhus, Denmark) kjensen(a)daimi.au.dk Andreas Podelski (Saarbrücken, Germany) podelski(a)mpi-sb.mpg.de ----------------------------------------------------------------------- ETAPS main conferences accept two types of contributions: * Research papers; * Tool demonstration papers. ----------------------------------------------------------------------- Research papers: ----------------------------------------------------------------------- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be no more than 15 pages long in the format specified by Springer-Verlag at http://www.springer.de/comp/lncs/authors.html. It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Instructions on how to submit are available at the URL of each individual conference. ----------------------------------------------------------------------- Tool demonstration papers: ----------------------------------------------------------------------- Demonstrations of novel and state-of-the-art tools are also invited. A submission should have a clear connection to one of the main ETAPS conferences, possibly complementing a paper submitted separately. Tool demonstrations are an integrated part of the ETAPS programme. Selected demonstrations will be presented in ordinary conference sessions, using state-of-the-art projection. The time allowed will be approximately the same as that for the presentation of a research paper. The demonstration will be accompanied by the publication of a short paper (up to 4 pages) in the proceedings of the relevant ETAPS conference, describing the main features of the tool. There will be opportunities for follow-up demonstrations with individuals and small groups. Submissions should follow the instructions published in the URL of the relevant conference. They should take the form of a self-contained tool description of no more than 4 pages in the format specified by Springer-Verlag at http://www.springer.de/comp/lncs/authors.html. The tool description should be accompanied by an appendix (not intended for publication, and not included in the page limit) indicating which features of the tool would be demonstrated - preferably with some sample screen snapshots - followed by a detailed specification of the hardware, software, and licensing requirements for installing and using the tool. N.B. Tool demonstrations should not be confused with research contributions to the TACAS conference, which emphasizes principles of tool design, implementation, and use, rather than focusing on specific domains of application. ----------------------------------------------------------------------- Satellite Workshops ----------------------------------------------------------------------- * A-UML - Agents and UML Contact: Marc-Philippe Huget (M.P.Huget(a)csc.liv.ac.uk) URL: http://www.informatik.uni-augsburg.de/auml2004 * AVIS'04 - Third International Workshop on Automatic Verification of Infinite-State Systems Contact: Dr. Ramesh Bharadwaj (ramesh(a)itd.nrl.navy.mil) URL: http://chacs.nrl.navy.mil/AVIS04 * CMCS 2004 - Coalgebraic Methods in Computer Science 2004 Contact: Jiri Adamek (J.Adamek(a)tu-bs.de) URL: http://www.iti.cs.tu-bs.de/~cmcs/ * COCV - 3rd International Workshop on Compiler Optimization Meets Compiler Verification Contact: Jens Knoop (Jens.Knoop(a)FernUni-Hagen.De) URL: http://sunshine.cs.uni-dortmund.de/~knoop/COCV2004/cocv2004.html * CP+CV'04 - Workshop on Constraint Programming and Constraints for Verification Contact: Thom Fruehwirth (Thom.Fruehwirth(a)informatik.uni-ulm.de) URL: http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/cp_etaps04.html * DCC - Designing Correct Circuits Contact: Mary Sheeran (ms(a)cs.chalmers) and Tom Melham (Tom.Melham(a)comlab.ox.ac.uk) URL: http://www.cs.chalmers.se/~ms/DCC04/ * FESCA - Formal Foundation of Embedded Software and Component-based Software Architectures Contact: Juliana Küster Filipe (jkfilipe(a)inf.ed.ac.uk) URL: http://www.csse.monash.edu.au/fesca email: fesca-04(a)inf.ed.ac.uk * FUSE 2004 - Foundations of Unanticipated Software Evolution Contact: Tom Mens, (Tom.Mens(a)vub.ac.be) URL: http://joint.org/fuse2004/ * GT-VMT - Graph Transformation and Visual Modelling Techniques Contact: Reiko Heckel URL: http://www.uni-paderborn.de/cs/ag-engels/GT-VMT04 email: gtvmt04(a)upb.de * INT - Third International Workshop on Integration of Specification Techniques for Applications in Engineering Contact: Hartmut Ehrig (ehrig(a)cs.tu-berlin.de) and Gunnar Schroeter (schroetg(a)cs.tu-berlin.de) URL: http://tfs.cs.tu-berlin.de/~gschroet/int04/index.html * LDTA - Fourth Workshop on Language Descriptions, Tools and Applications Contact: Joao Saraiva (jas(a)di.uminho.pt) URL: http://www.di.uminho.pt/LDTA04 * MBT 2004 - International Workshop on Model-Based Testing Contact: Alexander Kossatchev (kos(a)ispras.ru) URL: http://www.ispras.ru/news/MBT2004.html * QAPL'04 - 2nd Workshop on Quantitative Aspects of Programming Languages Contact: Alessandra Di Pierro URL: http://qapl04.di.unipi.it/ email: qapl04(a)di.unipi.it * RV'04 - Fourth Workshop on Runtime Verification Contact: Klaus Havelund (havelund(a)email.arc.nasa.gov) URL: http://ase.arc.nasa.gov/rv2004 * SC 2004 - Software Composition Contact: Uwe Assmann (uweas(a)ida.liu.se) URL: http://www.ida.liu.se/~uweas/sc2004 * SFEDL - Semantic Foundations of Engineering Design Languages Contact: Michael Mendler (michael.mendler(a)wiai.uni-bamberg.de) URL: http://www.uni-bamberg.de/~ba7gi99/sfedl04/ * SLAP 2004 : Synchronous Languages, Applications, and Programs Contact: Florence Maraninchi (Florence.Maraninchi(a)imag.fr) URL: http://www.inrialpes.fr/pop-art/people/girault/Slap04 * SPIN - 11th International Workshop on Model-Checking of Software Contact: Susanne Graf, Verimag/CNRS (spin04(a)imag.fr) URL: http://www-verimag.imag.fr/SPIN-2004 * TACoS - Test and Analysis of Component-Based Systems Contact: Mauro Pezzè (pezze(a)disco.unimib.it) URL: www.lta.disco.unimib.it/tacos * WADT'04 - 17th International Workshop on Algebraic Development Techniques Contact: Peter Mosses (wadt2004(a)brics.dk) URL: http://www.lsi.upc.es/etaps04/wadt2004/index.html * WITS'04 - Workshop on Issues in the Theory of Security Contact: Peter Y A Ryan (peter.ryan(a)ncl.ac.uk) URL: http://www.dsi.unive.it/IFIPWG1_7/wits2004.html * WITS'04 - Workshop on Issues in the Theory of Security Contact: Peter Y A Ryan (peter.ryan(a)ncl.ac.uk) URL: http://www.lsi.upc.es/etaps04/wadt2004/index.html * WRLA 2004 - 5th International Workshop on Rewriting Logic and its Applications Contact: Narciso Marti-Oliet (narciso(a)sip.ucm.es) URL: http://www.fdi.ucm.es/wrla2004 email: wrla2004(a)sip.ucm.es ----------------------------------------------------------------------- Tutorials ----------------------------------------------------------------------- Proposals for half-day or full-day tutorials related to ETAPS 2004 are invited. Tutorial proposals will be evaluated on the basis of their assessed benefit for prospective participants to ETAPS 2004. Proposals should include a description of the material that will be covered in the tutorial; a justification of the relevance of the tutorial for ETAPS 2004; a short history of the tutorial if it has been given before; the duration of the tutorial; scope of the tutorial; the key learning objectives for the participants; the intended audience for the tutorial and required background; and the credentials for the instructor(s). Contact: Jordi Cortadella - http://www.lsi.upc.es/~jordic/ ----------------------------------------------------------------------- INVITED SPEAKERS ----------------------------------------------------------------------- Serge Abiteboul, INRIA-Rocquencourt, France Hubert Comon, Cachan, France Robin Milner, Cambridge, UK Peter O'Hearn, London, UK Gruia-Catalin Roman, Washington Univ., USA Mary Lou Soffa, Pittsburgh, USA Antti Valmari, Tampere, Finland ----------------------------------------------------------------------- IMPORTANT DATES ----------------------------------------------------------------------- October 17, 2003 Submission deadline for the main conferences and tutorials December 12, 2003 Notification of acceptance/rejection January 9, 2004 Camera-ready version due March 29 - April 2, 2004 ETAPS 2004 main conferences March 27 - April 4, 2004 ETAPS 2004 satellite events ----------------------------------------------------------------------- ----------- you received this e-mail via the individual or collective address finite-model-theory(a)informatik.rwth-aachen.de to unsubscribe from ETAPS list: contact etaps04(a)lsi.upc.es -----------

1 0

ETAPS 2004: FIRST CALL FOR SUBMISSIONS
by ETAPS 2004 19 Jul '18

19 Jul '18

Please apologize if you receive multiple copies of this message. ********************************************************** *** ETAPS 2004 *** *** March 27 - April 4, 2004 *** *** Barcelona, SPAIN *** *** *** *** http://www.lsi.upc.es/etaps04/ *** ********************************************************** The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events. ------------------------------------------------------------------------ 5 Conferences - 22 Satellite Workshops - Tutorials - Tool Demonstrations ------------------------------------------------------------------------ ********************************************************** *** *** *** CALL FOR SUBMISSIONS *** *** Submission deadline: October 17, 2003 *** *** *** ********************************************************** ----------------------------------------------------------------------- Conferences ----------------------------------------------------------------------- CC 2004: International Conference on Compiler Construction http://www.research.ibm.com/CC2004/home.html Chair: Evelyn Duesterwald (IBM, USA) duester(a)us.ibm.com ESOP 2004, European Symposium On Programming http://www.cis.ksu.edu/santos/esop2004/ Chair: David Schmidt (Kansas, USA) schmidt(a)cis.ksu.edu FASE 2004, Fundamental Approaches to Software Engineering http://ctp.di.fct.unl.pt/~mw/conf/fase04/ Co-Chairs: Tiziana Margaria (Dortmund, Germany) tmargaria(a)metaframe.de Michel Wermelinger (Lisboa, Portugal) mw(a)di.fct.unl.pt FOSSACS 2004 Foundations of Software Science and Computation Structures http://www.labri.fr/Perso/~igw/FOSSACS/ Chair: Igor Walukiewicz (Bordeaux, France) igw(a)labri.fr TACAS 2003, Tools and Algorithms for the Construction and Analysis of Systems http://www.daimi.au.dk/~cpn/tacas04/ Co-Chairs: Kurt Jensen (Aarhus, Denmark) kjensen(a)daimi.au.dk Andreas Podelski (Saarbrücken, Germany) podelski(a)mpi-sb.mpg.de ----------------------------------------------------------------------- ETAPS main conferences accept two types of contributions: * Research papers; * Tool demonstration papers. ----------------------------------------------------------------------- Research papers: ----------------------------------------------------------------------- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be no more than 15 pages long in the format specified by Springer-Verlag at http://www.springer.de/comp/lncs/authors.html. It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Instructions on how to submit are available at the URL of each individual conference. ----------------------------------------------------------------------- Tool demonstration papers: ----------------------------------------------------------------------- Demonstrations of novel and state-of-the-art tools are also invited. A submission should have a clear connection to one of the main ETAPS conferences, possibly complementing a paper submitted separately. Tool demonstrations are an integrated part of the ETAPS programme. Selected demonstrations will be presented in ordinary conference sessions, using state-of-the-art projection. The time allowed will be approximately the same as that for the presentation of a research paper. The demonstration will be accompanied by the publication of a short paper (up to 4 pages) in the proceedings of the relevant ETAPS conference, describing the main features of the tool. There will be opportunities for follow-up demonstrations with individuals and small groups. Submissions should follow the instructions published in the URL of the relevant conference. They should take the form of a self-contained tool description of no more than 4 pages in the format specified by Springer-Verlag at http://www.springer.de/comp/lncs/authors.html. The tool description should be accompanied by an appendix (not intended for publication, and not included in the page limit) indicating which features of the tool would be demonstrated - preferably with some sample screen snapshots - followed by a detailed specification of the hardware, software, and licensing requirements for installing and using the tool. N.B. Tool demonstrations should not be confused with research contributions to the TACAS conference, which emphasizes principles of tool design, implementation, and use, rather than focusing on specific domains of application. ----------------------------------------------------------------------- Satellite Workshops ----------------------------------------------------------------------- * A-UML - Agents and UML Contact: Marc-Philippe Huget (M.P.Huget(a)csc.liv.ac.uk) URL: http://www.informatik.uni-augsburg.de/auml2004 * AVIS'04 - Third International Workshop on Automatic Verification of Infinite-State Systems Contact: Dr. Ramesh Bharadwaj (ramesh(a)itd.nrl.navy.mil) URL: http://chacs.nrl.navy.mil/AVIS04 * CMCS 2004 - Coalgebraic Methods in Computer Science 2004 Contact: Jiri Adamek (J.Adamek(a)tu-bs.de) URL: http://www.iti.cs.tu-bs.de/~cmcs/ * COCV - 3rd International Workshop on Compiler Optimization Meets Compiler Verification Contact: Jens Knoop (Jens.Knoop(a)FernUni-Hagen.De) URL: http://sunshine.cs.uni-dortmund.de/~knoop/COCV2004/cocv2004.html * CP+CV'04 - Workshop on Constraint Programming and Constraints for Verification Contact: Thom Fruehwirth (Thom.Fruehwirth(a)informatik.uni-ulm.de) URL: http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/cp_etaps04.html * DCC - Designing Correct Circuits Contact: Mary Sheeran (ms(a)cs.chalmers) and Tom Melham (Tom.Melham(a)comlab.ox.ac.uk) URL: http://www.cs.chalmers.se/~ms/DCC04/ * FESCA - Formal Foundation of Embedded Software and Component-based Software Architectures Contact: Juliana Küster Filipe (jkfilipe(a)inf.ed.ac.uk) URL: http://www.csse.monash.edu.au/fesca email: fesca-04(a)inf.ed.ac.uk * FUSE 2004 - Foundations of Unanticipated Software Evolution Contact: Tom Mens, (Tom.Mens(a)vub.ac.be) URL: http://joint.org/fuse2004/ * GT-VMT - Graph Transformation and Visual Modelling Techniques Contact: Reiko Heckel URL: http://www.uni-paderborn.de/cs/ag-engels/GT-VMT04 email: gtvmt04(a)upb.de * INT - Third International Workshop on Integration of Specification Techniques for Applications in Engineering Contact: Hartmut Ehrig (ehrig(a)cs.tu-berlin.de) and Gunnar Schroeter (schroetg(a)cs.tu-berlin.de) URL: http://tfs.cs.tu-berlin.de/~gschroet/int04/index.html * LDTA - Fourth Workshop on Language Descriptions, Tools and Applications Contact: Joao Saraiva (jas(a)di.uminho.pt) URL: http://www.di.uminho.pt/LDTA04 * MBT 2004 - International Workshop on Model-Based Testing Contact: Alexander Kossatchev (kos(a)ispras.ru) URL: http://www.ispras.ru/news/MBT2004.html * QAPL'04 - 2nd Workshop on Quantitative Aspects of Programming Languages Contact: Alessandra Di Pierro URL: http://qapl04.di.unipi.it/ email: qapl04(a)di.unipi.it * RV'04 - Fourth Workshop on Runtime Verification Contact: Klaus Havelund (havelund(a)email.arc.nasa.gov) URL: http://ase.arc.nasa.gov/rv2004 * SC 2004 - Software Composition Contact: Uwe Assmann (uweas(a)ida.liu.se) URL: http://www.ida.liu.se/~uweas/sc2004 * SFEDL - Semantic Foundations of Engineering Design Languages Contact: Michael Mendler (michael.mendler(a)wiai.uni-bamberg.de) URL: http://www.uni-bamberg.de/~ba7gi99/sfedl04/ * SLAP 2004 : Synchronous Languages, Applications, and Programs Contact: Florence Maraninchi (Florence.Maraninchi(a)imag.fr) URL: http://www.inrialpes.fr/pop-art/people/girault/Slap04 * SPIN - 11th International Workshop on Model-Checking of Software Contact: Susanne Graf, Verimag/CNRS (spin04(a)imag.fr) URL: http://www-verimag.imag.fr/SPIN-2004 * TACoS - Test and Analysis of Component-Based Systems Contact: Mauro Pezzè (pezze(a)disco.unimib.it) URL: www.lta.disco.unimib.it/tacos * WADT'04 - 17th International Workshop on Algebraic Development Techniques Contact: Fernando Orejas (orejas(a)lsi.upc.es) * WITS'04 - Workshop on Issues in the Theory of Security Contact: Peter Y A Ryan (peter.ryan(a)ncl.ac.uk) URL: http://www.dsi.unive.it/IFIPWG1_7/wits2004.html * WRLA 2004 - 5th International Workshop on Rewriting Logic and its Applications Contact: Narciso Marti-Oliet (narciso(a)sip.ucm.es) URL: http://www.fdi.ucm.es/wrla2004 email: wrla2004(a)sip.ucm.es ----------------------------------------------------------------------- Tutorials ----------------------------------------------------------------------- Proposals for half-day or full-day tutorials related to ETAPS 2004 are invited. Tutorial proposals will be evaluated on the basis of their assessed benefit for prospective participants to ETAPS 2004. Proposals should include a description of the material that will be covered in the tutorial; a justification of the relevance of the tutorial for ETAPS 2004; a short history of the tutorial if it has been given before; the duration of the tutorial; scope of the tutorial; the key learning objectives for the participants; the intended audience for the tutorial and required background; and the credentials for the instructor(s). Contact: Jordi Cortadella - http://www.lsi.upc.es/~jordic/ ----------------------------------------------------------------------- INVITED SPEAKERS ----------------------------------------------------------------------- Serge Abiteboul, INRIA-Rocquencourt, France Hubert Comon, Cachan, France Robin Milner, Cambridge, UK Peter O'Hearn, London, UK Gruia-Catalin Roman, Washington Univ., USA Mary Lou Soffa, Pittsburgh, USA Antti Valmari, Tampere, Finland ----------------------------------------------------------------------- IMPORTANT DATES ----------------------------------------------------------------------- October 17, 2003 Submission deadline for the main conferences and tutorials December 12, 2003 Notification of acceptance/rejection January 9, 2004 Camera-ready version due March 29 - April 2, 2004 ETAPS 2004 main conferences March 27 - April 4, 2004 ETAPS 2004 satellite events ----------------------------------------------------------------------- ----------- you received this e-mail via the individual or collective address finite-model-theory(a)informatik.rwth-aachen.de to unsubscribe from ETAPS list: contact etaps04(a)lsi.upc.es -----------

1 0

workshop on preposition semantics
by Patrick SAINT-DIZIER 19 Jul '18

19 Jul '18

Sorry for multiple copies of this call. <<< NEW DEADLINE: April 25th !! >>>> Call for Papers : ACL-SIGSEM Workshop on The Linguistic Dimensions of Prepositions and their Use in Computational Linguistics Formalisms and Applications. September 4-6, 2003, Toulouse, France Endorsed by SIGSEM, the ACL's Special Interest Group in Computational Semantics. A great deal of attention has been devoted in the past ten years in the linguistic and computational linguistics communities to the syntax and the semantics of nouns, verbs and also, but to a lesser extent, to adjectives. Related phenomena such as quantification or tense and aspect have motivated a number of in-depth studies and projects. In contrast, prepositions have received less attention. The reasons are quite clear: prepositions are probably the most polysemic category, possibly more so than adjectives, and linguistic realizations are extremely difficult to predict, not to mention the difficulty of identifying cross-linguistic regularities. Let us mention, however, several projects devoted to prepositions expressing space, time and movement in AI and in NLP, and also the development of formalisms and heuristics to handle PP attachment ambiguities. Let us also mention the large number of studies in psycholinguistics and in ethnolinguistics around specific preposition senses. Finally, prepositions seem to reach a very deep level in the cognitive-semantic structure of the brain: cognitive grammar developers often use prepositions in their metalanguage, in order to express very primitive notions. An important and difficult question to address, is whether these notions are really primitive or can be decomposed and lexically analysed In argument structure, prepositions often play the crucial role of a mediator between the verb's expectations and the semantics of the nominal argument. The verb-preposition-noun semantic interactions are very subtle, but totally crucial for the development of an accurate semantics of the proposition. Let us note that a number of languages have postpositions or other markers like case instead of prepositions that play a quite similar role. Finally, languages like English have verbal compounds that integrate prepositions (compositionally or as collocations) while others, like Romance languages or Hindi either incorporate the preposition or include it in the prepositional phrase. All these configurations are semantically as well as syntactically of much interest. Prepositions turn out to be a very useful category in a number of applications such as indexing and knowledge extraction since they convey basic meanings of much interest like instruments, means, comparisons, amounts, approximations, localizations, etc. They must necessarily be taken into account---and rendered accurately---for effective machine translation and lexical choice in language generation. Prepositions are also closely related to semantic structures such as thematic roles, semantic templates or frames. From a linguistic perspective, several investigations have been carried out on quite diverse languages, emphasizing e.g., monolingual and cross-linguistic contrasts or the role of prepositions in syntactic alternations. These observations cover in general a small group of closely related prepositions. The semantic characterization of prepositions has also motivated the emergence of a few dedicated logical frameworks and reasoning procedures. The aim of this workshop is to bring together linguists, NLP researchers and practitioners, and AI people in order to define a common ground, to advance the state-of-the-art, to identify the primary issues and bottlenecks, and to promote future collaborations. If appropriate, the workshop will also establish a working group and the development of projects and resources. Paper presentations Both short research notes (3 pages) and longer conference-style papers (up to 10 pages) submissions as well as working session proposals (1 page proposal on a precise topic) are welcome. Papers must be in .ps, .pdf or .doc formats. The 12 point Times new Roman font is preferred, leave about 2.5 cm margins on both sides. More precise formatting instructions will be given for final versions, since a book publication is under preparation. Paper must be sent in electronic form to: stdizier(a)irit.fr The main topics are: - The syntax of prepositions: formal or descriptive syntax, prepositions in alternations, principles in the syntax of PPs, syntactic and semantic restrictions. General syntactic-semantic principles. Postpositions or other equivalent markers (e.g. case). - Polysemy of prepositions, identification and classification of preposition senses, contrastive uses, metaphorical uses, semantic and cognitive foundations for prepositions. - Descriptions: Potential WordNet / EuroWordNet descriptions of preposition uses, productive uses versus collocations, multi-lingual descriptions: mismatches, incorporation, divergences. Prepositions and thematic roles, prepositions in semantic frameworks (e.g. Framenet.). - Cognitive or logic-based formalisms for the description of the semantics of prepositions, in isolation, and in composition/confrontation with the verb and the NP. Compositional semantics. Logical and reasoning aspects. - The role of prepositions in applications, in particular: * in machine translation * in information extraction * in lexicalization in language generation. - Corpus-based studies that support or challenge any of the approaches described above. - Lexical knowledge bases and prepositions. Prepositions in AI, KR and in reasoning procedures. Deadlines Submission deadline: April 25th, 2003 <<<<< NEW DEADLINE >>>>>> Notification to authors: May 30th Final paper due July 1st (a book publication is under preparation) Registration preferably before July 7th. (to be confirmed) Registration frees will be kept as low as possible, around 100 Euros with lunch. Programme Committee: Nicholas Asher (Austin) Pushpak Bhattacharyya (IIT Mumbai) Harry Bunt (Tilburg) Nicoletta Calzolari (Pisa) Bonnie Dorr (Maryland) Christiane Fellbaum (Princeton) Claire Gardent (CNRS Nancy) Betsy Klipple (Upenn) Alda Mari (ENST Paris) Palmira Marraffa (Lisboa) Martha Palmer (Upenn) James Pustejovsky (Brandeis) Patrick Saint-Dizier (Chair, IRIT, Toulouse) Gloria Vazquez (Lerida) Laure Vieu (IRIT, Toulouse) Contacts : Submissions and inquiries : stdizier(a)irit.fr and submissions also to : patrick_saintdizier(a)yahoo.fr Local organizing committee : Farah Benamara, Patrick Saint-Dizier WEB site: www.irit.fr/cgi-bin/voir-congres

1 0