Dear Colleague
I would like to invite you to attend the
IEEE International Conference on Software Maintenance, 2001, and
associated workshops: IEEE SCAM, IEEE WESS, IEEE WSE, TABOO.
FLORENCE, ITALY, 6-10 November 2001
http://www.dsi.unifi.it/icsm2001
ICSM is the major international conference in the field of software and
systems maintenance, evolution, and management.
Theme: Systems and Software Evolution in the era of the Internet
kEYWORDS: software evolution, embedded suystems, program analysis,
reengineering, managment, maintenance, lyfe cycle, Internet and
distributed systems, Multimedia systems, User interface evolution,
Commercial off-the-shelf (COTS), Program comprehension, Formal methods,
Empirical studies, Testing and regression testing, Measurement of software,
METRICS,etc.
Please forward the following to anybody you think may be interested.
The discount for the advanced registration fee will be active for few days.
Apologies for multiple receptions.
If you would like to be removed from our list please send an email to
icsm2001(a)dsi.unifi.it with REMOVE in the subject.
Paolo Nesi
(ICSM2001 General Chair)
Subject: ETAPS 2002, CALL FOR SUBMISSIONS
To: finite-model-theory(a)informatik.rwth-aachen.de
Please apologize if you receive multiple copies of this message.
**********************************************************
*** ETAPS 2002 ***
*** APRIL, 6-14, 2002 ***
*** GRENOBLE, FRANCE ***
**********************************************************
The European Joint Conferences on Theory and Practice of Software
ETAPS is a loose and open confederation of conferences and other
events that has become the primary European forum for academic and
industrial researchers working on topics relating to Software Science.
******************************
* http://www-etaps.imag.fr/ *
******************************
CALL FOR SUBMISSIONS
-----------------------------------------------------------------------
5 Conferences - 13 Satellite Events - Tutorials - Tool Demonstrations
-----------------------------------------------------------------------
Conferences
-----------------------------------------------------------------------
CC 2001: International Conference on Compiler Construction
Chair: Nigel Horspool
http://www.csr.UVic.CA/cc2002/
ESOP 2001, European Symposium On Programming
Chair: Daniel Le Metayer
FASE 2001, Fundamental Approaches to Software Engineering
Chairs: Ralf-Detlef Kutsche and Herbert Weber
http://www.cis.cs.tu-berlin.de/~fase2002/index_general.html
FOSSACS 2001 Foundations of Software Science and Computation Structures
Chair: Mogens Nielsen
http://www.brics.dk/fossacs02/
TACAS 2001, Tools and Algorithms for the Construction and Analysis of Systems
Chairs: Perdita Stevens and Joost-Pieter Katoen
Tool chair: Hubert Garavel
http://www.dcs.ed.ac.uk/tacas2002/
Satellite Events
-----------------------------------------------------------------------
ACL2: Third Workshop on the ACL2 Theorem Prover and its Applications
Contact: Matt Kaufmann, matt.kaufmann(a)amd.com
http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/
AGT: APPLIGRAPH Workshop on Applied Graph Transformation
Contact: Hans-Jvrg Kreowski, kreo(a)informatik.uni-bremen.de
http://www.informatik.uni-bremen.de/theorie/AGT2002
CMCS: Coalgebraic Methods in Computer Science
Contact: Larry Moss, University of Indiana, lsm(a)cs.indiana.edu
http://www.cs.indiana.edu/cmcs
COCV: Compiler Optimization Meets Compiler Verification
Contact: Jens Knoop, knoop(a)ls5.cs.uni-dortmund.de
http://sunshine.cs.uni-dortmund.de/~knoop/cocv02.html
DCC: Designing Correct Circuits
Contact: Mary Sheeran, ms(a)cs.chalmers.se
http://www.cs.chalmers.se/~ms/DCC02/
INT: Second Workshop on Integration of Specification Techniques for
Applications in Engineering
Contact: Martin Gro_e-Rhode, mgr(a)cs.tu-berlin.de
http://tfs.cs.tu-berlin.de/~mgr/int02/
LDTA: Second Workshop on Language Descriptions, Tools and Applications
Contact: Marjan Mernik, marjan.mernik(a)uni-mb.si
http://www.cwi.nl/conferences/LDTA2002/
SC: Software Composition
Contact: Elke Pulverm|ller, pulvermueller(a)acm.org
http://i44www.info.uni-karlsruhe.de/~pulvermu/workshops/SC2002
SFEDL: Semantic Foundations of Engineering Design Languages
Contact: Gerald L|ttgen, g.luettgen(a)dcs.shef.ac.uk
http://www.dcs.shef.ac.uk/~sfedl
SLAP: Synchronous Languages, Applications, and Programming
Contact: Florence Maraninchi, Florence.Maraninchi(a)imag.fr
http://www.inrialpes.fr/bip/people/girault/Publications/Slap02
SPIN: 9th International SPIN Workshop on Model Checking of Software
Contact: Stefan Leue, spin2002(a)informatik.uni-freiburg.de
http://tele.informatik.uni-freiburg.de/spin2002
TPTS: Theory and Practice of Timed Systems
Contact: Oded Maler, Oded.Maler(a)imag.fr
http://www-verimag.imag.fr/~maler/TPTS.html
VISS: Validation and Implementation of Scenario-based Specifications
Contact: Anca Muscholl, muscholl(a)liafa.jussieu.fr
http://www.liafa.jussieu.fr/~anca/VISS02.html
Tutorials
-----------------------------------------------------------------------
Proposals for half-day or full-day tutorials related to ETAPS 2001 are
invited. Tutorial proposals will be evaluated on the basis of their
assessed benefit for prospective participants to ETAPS 2001.
Contact: Saddek Bensalem, Verimag, Saddek.Bensalem(a)imag.fr
Tool Demonstrations
-----------------------------------------------------------------------
Demonstrations of tools presenting advances on the state of the art are
invited. Submissions in this category should present tools having a
clear connection to one of the main ETAPS conferences, possibly
complementing a paper submitted separately.
Contact: Peter D. Mosses, etaps2002-demo(a)brics.dk
-----------------------------------------------------------------------
INVITED SPEAKERS
-----------------------------------------------------------------------
Ed Clarke, Carnegy Mellon University, USA (Spin workshop)
Bruno Courcelle, LaBRI, Bordeaux, France
Patrick Cousot, ENS Paris, France
John Daniels, Syntropy Limited, London, UK
Daniel Jackson, Massachusetts Institute of Technology, USA
Michael Lowry, NASA Ames Research Center, USA
Greg Morrisett, Cornell University, USA
Mary Shaw, Carnegy Mellon University, USA
-----------------------------------------------------------------------
IMPORTANT DATES
-----------------------------------------------------------------------
October 19, 2001: Submissions Deadline for the Main Conferences,
Demos and Tutorials
December 14, 2001: Notification of Acceptance/Rejection
January 18 2002: Camera-ready Version Due
April 8-12, 2002: ETAPS main Conferences in GRENOBLE
April 6-14, 2001: 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 etaps02(a)ormelune.imag.fr
Dear Colleague
I would like to invite you to attend the
IEEE International Conference on Software Maintenance, 2001, and
associated workshops: IEEE SCAM, IEEE WESS, IEEE WSE, TABOO.
FLORENCE, ITALY, 6-10 November 2001
http://www.dsi.unifi.it/icsm2001
Sponsored by IEEE
Supported bt the: EC-IST, University of Florence, O-Groupi, IBM Italy
in collaboration with: TABOO, AICA, AIIA, ERCIM, UNINFO, CESVIT, ...
ICSM is the major international conference in the field of software and
systems maintenance, evolution, and management.
Theme: Systems and Software Evolution in the era of the Internet
kEYWORDS: software evolution, embedded suystems, program analysis,
reengineering, managment, maintenance, lyfe cycle, Internet and distributed
systems, Multimedia systems, User interface evolution, Commercial off-the-shelf
(COTS), Program comprehension, Formal methods, Empirical studies,
Testing and regression testing, Measurement of software, METRICS,etc.
Outstanding Keynotes such as:
Prof. David Lorge Parnas and Prof. Dieter Rombach. Kent Beck
110 technical presentations, 4 workshops,
Industrial papers and experiences, reseach papers and award, tutorials,
tool expositions, dissertation forum and award, workshops, panels,
and other exciting activities have been planned.
Please forward the following to anybody who you think may be interested.
The discount for the advanced registration fee will be active for few weeks.
Apologies for multiple receptions.
If you would like to be removed from our list please send an email to
icsm2001(a)dsi.unifi.it with REMOVE in the subject.
Paolo Nesi
(ICSM2001 General Chair)
At the Institute of Mathematical Logic of the University of Freiburg there
is a postgraduate or postdoctorate position available for two to three
years, starting October 1, 2001. Applicants should work in the area of
finite model theory. Duties include tutorials for seminars and/or lecture
courses. Payment is between one half of BAT IIa to full BAT IIa (the
applicable payment class of public service), according to qualification.
Please, send your application to
H.-D. Ebbinghaus and/or J. Flum
Institut f"ur Mathematische Logik
Universit"at Freiburg
Eckerstrasse 1
79104 Freiburg
Germany
e-mail: hde(a)uni-freiburg.de, flum(a)uni-freiburg.de
Please apologize if you receive multiple copies of this message.
**********************************************************
*** ETAPS 2002 ***
*** APRIL, 6-14, 2002 ***
*** GRENOBLE, FRANCE ***
**********************************************************
The European Joint Conferences on Theory and Practice of Software
ETAPS is a loose and open confederation of conferences and other
events that has become the primary European forum for academic and
industrial researchers working on topics relating to Software Science.
******************************
* http://www-etaps.imag.fr/ *
******************************
FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS
-----------------------------------------------------------------------
5 Conferences - 13 Satellite Events - Tutorials - Tool Demonstrations
-----------------------------------------------------------------------
Conferences
-----------------------------------------------------------------------
CC 2001: International Conference on Compiler Construction
Chair: Nigel Horspool
ESOP 2001, European Symposium On Programming
Chair: Daniel Le Metayer
FASE 2001, Fundamental Approaches to Software Engineering
Chairs: Ralf-Detlef Kutsche and Herbert Weber
FOSSACS 2001 Foundations of Software Science and Computation Structures
Chair: Mogens Nielsen
TACAS 2001, Tools and Algorithms for the Construction and Analysis of Systems
Chairs: Perdita Stevens and Joost-Pieter Katoen
Satellite Events
-----------------------------------------------------------------------
ACL2: Third Workshop on the ACL2 Theorem Prover and its Applications
Contact: Matt Kaufmann, matt.kaufmann(a)amd.com
http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/
AGT: APPLIGRAPH Workshop on Applied Graph Transformation
Contact: Hans-Jörg Kreowski, kreo(a)informatik.uni-bremen.de
http://www.informatik.uni-bremen.de/theorie/AGT2002
CMCS: Coalgebraic Methods in Computer Science
Contact: Larry Moss, University of Indiana, lsm(a)cs.indiana.edu
http://www.cs.indiana.edu/cmcs
COCV: Compiler Optimization Meets Compiler Verification
Contact: Jens Knoop, knoop(a)ls5.cs.uni-dortmund.de
http://sunshine.cs.uni-dortmund.de/~knoop/cocv02.html
DCC: Designing Correct Circuits
Contact: Mary Sheeran, ms(a)cs.chalmers.se
http://www.cs.chalmers.se/~ms/DCC02/
INT: Second Workshop on Integration of Specification Techniques for
Applications in Engineering
Contact: Martin Große-Rhode, mgr(a)cs.tu-berlin.de
http://tfs.cs.tu-berlin.de/~mgr/int02/
LDTA: Second Workshop on Language Descriptions, Tools and Applications
Contact: Marjan Mernik, marjan.mernik(a)uni-mb.si
http://www.cwi.nl/conferences/LDTA2002/
SC: Software Composition
Contact: Elke Pulvermüller, pulvermueller(a)acm.org
http://i44www.info.uni-karlsruhe.de/~pulvermu/workshops/SC2002
SFEDL: Semantic Foundations of Engineering Design Languages
Contact: Gerald Lüttgen, g.luettgen(a)dcs.shef.ac.uk
http://www.dcs.shef.ac.uk/~sfedl
SLAP: Synchronous Languages, Applications, and Programming
Contact: Florence Maraninchi, Florence.Maraninchi(a)imag.fr
http://www.inrialpes.fr/bip/people/girault/Publications/Slap02
SPIN: 9th International SPIN Workshop on Model Checking of Software
Contact: Stefan Leue, spin2002(a)informatik.uni-freiburg.de
http://tele.informatik.uni-freiburg.de/spin2002
TPTS: Theory and Practice of Timed Systems
Contact: Oded Maler, Oded.Maler(a)imag.fr
http://www-verimag.imag.fr/~maler/TPTS.html
VISS: Validation and Implementation of Scenario-based Specifications
Contact: Anca Muscholl, muscholl(a)liafa.jussieu.fr
Tutorials
-----------------------------------------------------------------------
Proposals for half-day or full-day tutorials related to ETAPS 2001 are
invited. Tutorial proposals will be evaluated on the basis of their
assessed benefit for prospective participants to ETAPS 2001.
Contact: Saddek Bensalem, Verimag, Saddek.Bensalem(a)imag.fr
Tool Demonstrations
-----------------------------------------------------------------------
Demonstrations of tools presenting advances on the state of the art are
invited. Submissions in this category should present tools having a
clear connection to one of the main ETAPS conferences, possibly
complementing a paper submitted separately.
Contact: Peter D. Mosses, etaps2002-demo(a)brics.dk
-----------------------------------------------------------------------
INVITED SPEAKERS
-----------------------------------------------------------------------
Bruno Courcelle, LaBRI, Bordeaux, France
Patrick Cousot, ENS Paris, France
John Daniels, Syntropy Limited, London, UK
Daniel Jackson, Massachusetts Institute of Technology, USA
Michael Lowry, NASA Ames Research Center, USA
Greg Morrisett, Cornell University, USA
Mary Shaw, Carnegy Mellon University, USA
-----------------------------------------------------------------------
IMPORTANT DATES
-----------------------------------------------------------------------
October 19, 2001: Submissions Deadline for the Main Conferences,
Demos and Tutorials
December 14, 2001: Notification of Acceptance/Rejection
January 18 2002: Camera-ready Version Due
April 8-12, 2002: ETAPS main Conferences in GRENOBLE
April 6-14, 2001: 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 etaps02(a)ormelune.imag.fr
Dear Colleague
I hope that this CFPs could be useful for your work.
Please forward the following to anybody who you think may be interested.
Apologies if you have already seen this.
If you would like to be removed from our list please send an email to
icsm2001(a)dsi.unifi.it with REMOVE in the subject.
ICSM2001
Technical Committee
_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=
CALL---FOR---PAPERS
IEEE International Conference on Software Maintenance 2001
FLORENCE, ITALY, 5-9 November 2001,
http://www.dsi.unifi.it/icsm2001
Theme: Systems and Software Evolution in the era of the Internet
_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=
ICSM is the major international conference in the field of software and
systems maintenance, evolution, and management.
In the era of the Internet, businesses and end-users have invested in new
technologies and small and large software organizations around the world
are looking for Internet related solutions to evolve and maintain their
new Internet software products.
Internet technologies are strongly impacting system architectures and
business processes and rules. In some cases businesses and end-users
have been overwhelmed trying to keep up with software development and
evolution processes and practices. In addition to novel solutions to
enable the life-cycle of new web-based software systems, huge investments
are necessary to migrate aginglegacy applications to web-enabled
contemporary systems.
ICSM 2001 will address these major changes in the software landscape and
their impact on maintenance and evolution. The focus of the conference
will be to explore the new challenges that the Internet, as a driver for
business changes, poses for software maintenance, and the new opportunities
it opens as infrastructure and enabling technology.
The purpose of the conference is to promote discussion and interaction
between researchers and practitioners. We are particularly interested in
exchanging concepts, prototypes, research ideas, and other results which
could contribute to the academic arena and also benefit business and the
industrial community. ICSM 2001 will be participatory, with working
collaborative sessions and presentations of industry projects. ICSM 2001
will bring together researchers, practitioners, developers and users
of tools, technology transfer experts, and project managers.
The Conference will be held in conjunction with WESS, the Workshop on
Empirical Studies of Software.
Topics of interest include but are not restricted to the following
aspects of maintenance and evolution:
- Methods and theories -Processes and strategies
- Organizational frameworks -Life cycle and process control
- Design for maintenance -Tools and environments
- Internet and distributed systems -Multimedia systems
- User interface evolution -Commercial off-the-shelf (COTS)
- Third party maintenance -Freeware and open source applications
- Program comprehension -Software and system visualization
- Knowledge based systems -Formal methods
- Impact of new software practices -Empirical studies
- Software reusability -Programming languages
- Source code analysis and manipulation -Testing and regression testing
- Models and methods for error prediction -Measurement of software
- Maintenance and/or productivity metrics -Preventive maintenance
- Personnel aspects of maintenance -Reengineering and reverse engineering
- Version and configuration management -Legal aspects and standards
- Management and organization -Remote, tele-work, and co-operative applications
RESEARCH PAPERS
Research papers should describe original and significant work in the
research and practice of software maintenance. Research case studies,
empirical research, and experiments are particularly welcome. Papers should be 2000 - 5000 words in length, in English. Submit them
in PDF or PostScript via email to icsm2001(a)unisannio.it by 15 January 2001.
A prize of the Journal of Software Maintenance will be assigned at the
Best submitted Paper.
INDUSTRIAL APPLICATIONS
We welcome proposals for presentations of Industrial Applications.
These can be experience reports from real projects, industrial practices
and models, or tool demonstrations. Submit proposals for Industrial Application
presentations via email to icsm2001.industry(a)unisannio.it by 12 March 2001.
Industrial Applications proposals will be reviewed by a dedicated
sub-committee of the program committee and a 1 page summary of accepted
proposals will be included in the conference proceedings.
TUTORIALS
Tutorials should present software maintenance and evolution topics of
interest to practitioners. Tutorials may be full-day or half-day in length.
Submit tutorial proposals via email to
icsm2001.tutorial(a)unisannio.it by 12 February 2001.
IMPORTANT DATES
Research Paper submission 15 January 2001, notification of acceptance 1 June 2001
Industrial Application submission 12 March 2001
Tutorial submission 12 February 2001
------------------------------
General chair:
Paolo Nesi, University of Florence, Italy, nesi(a)dsi.unifi.it
Financial chair:
Vaclav Rajlich, Wayne State University, USA, vtr(a)cs.wayne.edu
Program co-chairs:
Gerardo Canfora, University of Sannio, Italy, gerardo.canfora(a)unisannio.it
Anneliese von Mayrhauser, Colorado State University, USA, avm(a)CS.ColoState.EDU
Tutorials co-chairs:
Lionel C. Briand, Carleton University, briand(a)sce.carleton.ca
Alessandro Fantechi, University of Florence, Italy, Fantechi(a)dsi.unifi.it
Industrial Applications co-chairs:
Panagiotis K. Linos, Tennessee Technological University, USA, linos(a)tntech.edu
Harry Sneed, Software Engineering Service GmbH, Germany, Harry.Sneed(a)t-online.de
Chris Verhoef, University of Amsterdam, NL, x(a)wins.uva.nl
Publicity co-chairs:
Nicholas Zvegintzov (General Co-chair), Software Management Network, USA,
zvegint(a)attglobal.net
Malcolm Munro (Co-chair for Europe), University of Durham, UK,
malcolm.munro(a)durham.ac.uk
William Cheng-Chung Chu (Co-chair for East), TungHai University, Taiwan,
chu(a)cis.thu.edu.tw
Local Arrangements co-chairs:
Fabrizio Fioravanti, University of Florence, Italy, fioravan(a)dsi.unifi.it
Pierfrancesco Bellini (Industrial Applications, and Demos),
University of Florence, Italy, bellini(a)hpcn.dsi.unifi.it
WEB Master:
Marius Bogdan Spinu, University of Florence, Italy, spinu(a)hpcn.dsi.unifi.it
--------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------
CALL FOR PAPERS
31st International Workshop on Description Logics, DL 2018
October 26th to October 29th, 2018 - Tempe, Arizona, US
http://dl.kr.org/dl2018/
--- PAPER REGISTRATION/SUBMISSION DEADLINE EXTENDED ---
-------------------------------------------------------------------------------
The DL workshop is the major annual event of the description logic research
community. It is the forum at which those interested in description logics,
both from academia and industry, meet to discuss ideas, share information and
compare experiences. The 31st edition will be held in Tempe, Arizona, US from
October 26th to October 29th, 2018, collocated with the 16th International
Conference on Principles of Knowledge Representation and Reasoning (KR 2018).
Important Dates (Extended Deadlines)
===============
Paper registration deadline:
July 21, 2018
Paper submission deadline:
July 28, 2018
Notification of acceptance:
September 18, 2018
Camera-ready copies:
October 4, 2018
Workshop:
October 26-29, 2018
Invited Speakers
================
Lidia Tendera (University of Opole, Poland)
Denny Vrandecic (Google LLC, USA)
Renata Wassermann (University of Sao Paulo, Brazil), jointly with NMR 2018
Workshop Scope
==============
We invite contributions on all aspects of description logics, including but
not limited to:
* Foundations of description logics: decidability and complexity of reasoning,
expressive power, novel inference problems, inconsistency management,
reasoning techniques, and modularity aspects
* Extensions of description logics: closed-world and nonmonotonic reasoning,
epistemic reasoning, temporal and spatial reasoning, procedural knowledge,
query answering, reasoning over dynamic information
* Integration of description logics with other formalisms: object-oriented
representation languages, database query languages, constraint-based
programming, logic programming, and rule-based systems
* Applications and use areas of description logics: ontology engineering,
ontology languages, databases, ontology-based data access, semi-structured
data, graph structured data, linked data, document management, natural
language, learning, planning, Semantic Web, cloud computing, conceptual
modelling, web services, business processes
* Systems and tools around description logics: reasoners, software tools for
and using description logic reasoning (e.g. ontology editors, database
schema design, query optimisation, and data integration tools),
implementation and optimisation techniques, benchmarking, evaluation,
modelling
Submissions
===========
Submissions may be of two types:
(1) Regular submissions consist of 11 pages LNCS plus references. If the authors prefer the paper to not appear in the proceedings, an additional 2-page abstract has to be submitted.
(2) Papers accepted at some conference can be submitted as accepted elsewhere together with a 2-page abstract that also specifies where the paper has been accepted.
* For both types, there is no page limit on the list of references.
* For submissions with an additional 2-page abstract, only the abstract is
published in the proceedings. The abstracts might not be indexed in dblp.
This option is designed for authors who wish to announce results that have
been published elsewhere, or which the authors intend to submit or have
already submitted to a venue with an incompatible prior / concurrent
publication policy.
* All submissions may optionally include a clearly marked appendix (e.g.,
with additional proofs or evaluation data). The appendix will be read at
the discretion of the reviewers and not included in the proceedings. The
appendix does not need to be in LNCS format.
* Accepted papers and 2-page abstracts will be made available electronically
in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/).
* Accepted submissions, be they full papers or 2-page abstracts, will be
selected for either oral or poster presentation at the workshop. Submissions
will be judged solely based upon their content, and the type of submission
will have no bearing on the decision between oral and poster presentation.
Submission page: https://easychair.org/conferences/?conf=dl2018
Organization
============
* Magdalena Ortiz, TU Wien, Austria (program co-chair)
* Thomas Schneider, University of Bremen, Germany (program co-chair)
* Michael Zakharyaschev, Birkbeck, University of London, UK (general chair)
Resources
=========
* Information about submission, registration, travel information, etc., is
available on the DL 2018 homepage: http://dl.kr.org/dl2018/
* The official description logic homepage is at http://dl.kr.org/
CALL FOR PARTICIPATION
WoLLIC 2018
25th Workshop on Logic, Language, Information and Computation
July 24th to 27th, 2018
Bogotá, Colombia
SPECIAL SESSION:
Tribute to the Memory and Legacy of Raymond Smullyan
with a screening of
"This Film Needs No Title: A Portrait of Raymond Smullyan"
(Directed by Tao Ruspoli, 2004, 30min)
SCIENTIFIC SPONSORSHIP
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
European Association for Computer Science Logic (EACSL)
ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
ORGANISATION
Departamento de Matemáticas, Universidad de los Andes, Colombia
Centro de Informática, Universidade Federal de Pernambuco, Brazil
HOSTED BY
Departamento de Matemáticas, Universidad de los Andes, Colombia
WoLLIC is an annual international forum on inter-disciplinary research
involving formal logic, computing and programming theory, and natural
language and reasoning. Each meeting includes invited talks and tutorials
as well as contributed papers. The twenty-fifth WoLLIC will be held at the
Departamento de Matemáticas of the Universidad de los Andes, Bogotá,
Colombia, from July 24th to 27th, 2018. It is sponsored by the Association
for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics
(IGPL), the The Association for Logic, Language and Information (FoLLI),
the European Association for Theoretical Computer Science (EATCS), the
European Association for Computer Science Logic (EACSL), ACM Special
Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade
Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica
(SBL).
INVITED SPEAKERS
Katalin Bimbo (Univ of Alberta, Canada)
Xavier Caicedo (Univ de Los Andes, Colombia)
José Meseguer (Univ of Illinois, Urbana-Champaign, USA)
Elaine Pimentel (Univ Federal do Rio Grande do Norte, Brazil)
Guillermo Simari (Univ Nacional del Sur, Argentina)
Renata Wassermann (Univ de São Paulo, Brazil)
SPECIAL SCREENING - A TRIBUTE TO THE MEMORY AND LEGACY OF RAYMOND SMULLYAN
As a tribute to the memory and legacy of the late Raymond Smullyan, who
passed away in February 2017, there will be a special session with a
screening of the documentary film "This Film Needs No Title: A Portrait of
Raymond Smullyan" (Dir. Tao Ruspoli, 2004, 30min), as well as short
testimonies by experts.
PROGRAMME COMMITTEE
Siddharth Bhaskar (Haverford College, USA)
Torben Braüner (Roskilde University, Denmark)
Hazel Brickhill (University of Bristol, UK)
Michael Detlefsen (University of Notre Dame, USA)
Juliette Kennedy (University of Helsinki, Finland)
Sophia Knight (Uppsala University, Sweden)
Alex Kruckman (Indiana University, USA)
Maricarmen Martinez Baldares (Universidad de los Andes, Colombia)
Frederike Moltmann (CNRS, France)
Lawrence Moss (Indiana University, USA) (CHAIR)
Cláudia Nalon (University of Brasília, Brazil)
Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK)
Sophie Pinchinat (IRISA Rennes, France)
David Pym (University College London, UK)
Ruy de Queiroz (Univ Federal de Pernambuco, Brazil)
Revantha Ramanayake (Vienna University of Technology, Austria)
Giselle Reis (Carnegie Mellon University, Qatar)
Jeremy Seligman (The University of Auckland, New Zealand)
Yanjing Wang (Peking University, China)
Fan Yang (Delft University of Technology, The Netherlands)
STEERING COMMITTEE
Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin,
Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz,
Jouko Väänänen. (Former Member: Grigori Mints (deceased).)
ORGANISING COMMITTEE
Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia)
Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair)
Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia)
Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair)
Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil)
Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair)
Camilo Rocha (Universidad Javeriana, Cali, Colombia)
FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.
WEB PAGE
http://wollic.org/wollic2018/