From acs at math.ist.utl.pt Mon Jan 26 10:34:46 2004 From: acs at math.ist.utl.pt (Amilcar Sernadas) Date: Mon Jan 26 10:35:02 2004 Subject: [Flirts] CombLog04 extended deadline Message-ID: <4014DF36.1060803@math.ist.utl.pt> The deadline for submissions to CombLog04 http://www.cs.math.ist.utl.pt/comblog04/ has been moved to March 1, 2004. A copy of the updated announcement follows: -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- CombLog'04 Workshop on Combination of Logics: Theory and Applications CLC, Department of Mathematics, IST, Lisbon, Portugal July 28-30, 2004 -------------------------------------------------------------------------------- Call for Contributions The workshop aims to provide a forum for interaction and exchange of ideas among a limited number of participants in the general area of analysis and synthesis of logics and related topics. Prospective contributors are invited to submit an extended abstract (up to six pages) describing innovative proposals and results. Electronic submissions in the form of ps or pdf files to be sent to acs@math.ist.utl.pt by March 01, 2004. -------------------------------------------------------------------------------- Topics Different forms of composing and decomposing logics, such as fibring, fusion, splicing, splitting, synchronization and temporalization. Transference results between the whole and the component logics, such as preservation of completeness, interpolation properties and decidability. Application domains, such as security, software specification and verification, knowledge representation and formal ethics. Important dates March 01, 2004 - Deadline for submitting extended abstracts (up to 6 pages including references). April 02, 2004 - Notification of program and list of participants. May 03, 2004 - Deadline for reception of final version of extended abstracts. May 17, 2004 - Deadline for registration and hotel booking through the organization. Organization Walter A. Carnielli, CLE, University of Campinas. Marcelo E. Coniglio, CLE, University of Campinas. Paulo Mateus, CLC, IST, Technical University of Lisbon. Till Mossakowski, University of Bremen. Am?lcar Sernadas (Chair), CLC, IST, Technical University of Lisbon. Keynote speakers (confirmed) Dov Gabbay, King's College, London. Joseph Halpern, Cornell University. Dick de Jongh, University of Amsterdam. Gabriel Sandu, University of Helsinki. Andrzej Tarlecki, Warsaw University. Frank Wolter, University of Liverpool. Other invited participants (confirmed) Marcelo Finger, IME, S?o Paulo University. Joseph Goguen, University of California, San Diego. Don Pigozzi, Iowa State University. Luca Vigan?, ETH Zentrum, Z?rich. Alberto Zanardo,University of Padova. Publication Electronic publication of extended abstracts at CLE e-Prints. Publication (planned) of selected full papers in the series Studies in Logic and Computation, King's College Publications, Research Studies Press, England. Sponsors ASL: The Association for Symbolic Logic, USA (ASL student members are encouraged to apply for the ASL travel funds available for sponsored meetings). CLC: Center for Logic and Computation, IST, Lisbon, Portugal. CLE: Centre for Logic, Epistemology and the History of Science, UNICAMP, Campinas, Brazil. FLIRTS Interest Group. -------------------------------------------------------------------------------- For further information contact acs@math.ist.utl.pt. Last update: January 26, 2004. -------------------------------------------------------------------------------- -- ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://cs.math.ist.utl.pt/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From acs at math.ist.utl.pt Mon Jan 26 10:34:46 2004 From: acs at math.ist.utl.pt (Amilcar Sernadas) Date: Thu Aug 18 10:12:46 2005 Subject: [Flirts] CombLog04 extended deadline Message-ID: <4014DF36.1060803@math.ist.utl.pt> The deadline for submissions to CombLog04 http://www.cs.math.ist.utl.pt/comblog04/ has been moved to March 1, 2004. A copy of the updated announcement follows: -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- CombLog'04 Workshop on Combination of Logics: Theory and Applications CLC, Department of Mathematics, IST, Lisbon, Portugal July 28-30, 2004 -------------------------------------------------------------------------------- Call for Contributions The workshop aims to provide a forum for interaction and exchange of ideas among a limited number of participants in the general area of analysis and synthesis of logics and related topics. Prospective contributors are invited to submit an extended abstract (up to six pages) describing innovative proposals and results. Electronic submissions in the form of ps or pdf files to be sent to acs@math.ist.utl.pt by March 01, 2004. -------------------------------------------------------------------------------- Topics Different forms of composing and decomposing logics, such as fibring, fusion, splicing, splitting, synchronization and temporalization. Transference results between the whole and the component logics, such as preservation of completeness, interpolation properties and decidability. Application domains, such as security, software specification and verification, knowledge representation and formal ethics. Important dates March 01, 2004 - Deadline for submitting extended abstracts (up to 6 pages including references). April 02, 2004 - Notification of program and list of participants. May 03, 2004 - Deadline for reception of final version of extended abstracts. May 17, 2004 - Deadline for registration and hotel booking through the organization. Organization Walter A. Carnielli, CLE, University of Campinas. Marcelo E. Coniglio, CLE, University of Campinas. Paulo Mateus, CLC, IST, Technical University of Lisbon. Till Mossakowski, University of Bremen. Am?lcar Sernadas (Chair), CLC, IST, Technical University of Lisbon. Keynote speakers (confirmed) Dov Gabbay, King's College, London. Joseph Halpern, Cornell University. Dick de Jongh, University of Amsterdam. Gabriel Sandu, University of Helsinki. Andrzej Tarlecki, Warsaw University. Frank Wolter, University of Liverpool. Other invited participants (confirmed) Marcelo Finger, IME, S?o Paulo University. Joseph Goguen, University of California, San Diego. Don Pigozzi, Iowa State University. Luca Vigan?, ETH Zentrum, Z?rich. Alberto Zanardo,University of Padova. Publication Electronic publication of extended abstracts at CLE e-Prints. Publication (planned) of selected full papers in the series Studies in Logic and Computation, King's College Publications, Research Studies Press, England. Sponsors ASL: The Association for Symbolic Logic, USA (ASL student members are encouraged to apply for the ASL travel funds available for sponsored meetings). CLC: Center for Logic and Computation, IST, Lisbon, Portugal. CLE: Centre for Logic, Epistemology and the History of Science, UNICAMP, Campinas, Brazil. FLIRTS Interest Group. -------------------------------------------------------------------------------- For further information contact acs@math.ist.utl.pt. Last update: January 26, 2004. -------------------------------------------------------------------------------- -- ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://cs.math.ist.utl.pt/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From till at informatik.uni-bremen.de Fri Jun 18 12:42:24 2004 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Thu Aug 18 10:12:46 2005 Subject: [Flirts] Your AFADL2004 paper Message-ID: <40D2C710.2070200@informatik.uni-bremen.de> Dear Remi Delmas, Pierre-Yves Schobbens pointed out that your AFADL 2004 paper "Un cadre formel pour la sp?cification de syst?mes avioniques" might be of interest for the FLIRTS community (www.tzi.de/flirts). Hence, we would appreciate very much if you would send us an English version of your paper, if/when it is available. Yours sincerely, Till Mossakowski (FLIRTS coordinator) -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From till at informatik.uni-bremen.de Tue Jul 13 15:41:21 2004 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Thu Aug 18 10:12:46 2005 Subject: [Flirts] [Fwd: Re: Your AFADL2004 paper] Message-ID: <40F3E681.1050100@informatik.uni-bremen.de> Dear Flirters, I only had a quick superifical look so far, but the paper seems to be very Flirts-relevant application indeed. Thanks to Pierre-Yves for pointing this out! Greetings, Till -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till -------------- next part -------------- An embedded message was scrubbed... From: Remi Delmas Subject: Re: Your AFADL2004 paper Date: Mon, 12 Jul 2004 16:35:57 +0200 Size: 661954 Url: http://www.informatik.uni-bremen.de/pipermail/flirts/attachments/20040713/a43acbb4/YourAFADL2004paper-0002.mht From till at informatik.uni-bremen.de Tue Sep 7 12:29:17 2004 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Thu Aug 18 10:12:46 2005 Subject: [Flirts] Classifying institutions In-Reply-To: <413D85A3.5090609@math.ist.utl.pt> References: <413D85A3.5090609@math.ist.utl.pt> Message-ID: <413D8D7D.3030606@informatik.uni-bremen.de> Dear Cristina, > I would like to ask you to send me references to papers where we can > find criteria for classifying institutions (meaning relevant properties > that some institutions have and others do not). Razvan Diaconescu has published a series of papers about model-theoretic properties of institutions, see the first publications under http://www.imar.ro/~diacon/publications.html If you ask him directly, he probably will send you more material (AFAIK, there are some more papers and a forthcoming book). Greetings, Till -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From acs at math.ist.utl.pt Mon Jan 26 10:34:46 2004 From: acs at math.ist.utl.pt (Amilcar Sernadas) Date: Tue Aug 30 15:43:12 2005 Subject: [Flirts] CombLog04 extended deadline Message-ID: <4014DF36.1060803@math.ist.utl.pt> The deadline for submissions to CombLog04 http://www.cs.math.ist.utl.pt/comblog04/ has been moved to March 1, 2004. A copy of the updated announcement follows: -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- CombLog'04 Workshop on Combination of Logics: Theory and Applications CLC, Department of Mathematics, IST, Lisbon, Portugal July 28-30, 2004 -------------------------------------------------------------------------------- Call for Contributions The workshop aims to provide a forum for interaction and exchange of ideas among a limited number of participants in the general area of analysis and synthesis of logics and related topics. Prospective contributors are invited to submit an extended abstract (up to six pages) describing innovative proposals and results. Electronic submissions in the form of ps or pdf files to be sent to acs@math.ist.utl.pt by March 01, 2004. -------------------------------------------------------------------------------- Topics Different forms of composing and decomposing logics, such as fibring, fusion, splicing, splitting, synchronization and temporalization. Transference results between the whole and the component logics, such as preservation of completeness, interpolation properties and decidability. Application domains, such as security, software specification and verification, knowledge representation and formal ethics. Important dates March 01, 2004 - Deadline for submitting extended abstracts (up to 6 pages including references). April 02, 2004 - Notification of program and list of participants. May 03, 2004 - Deadline for reception of final version of extended abstracts. May 17, 2004 - Deadline for registration and hotel booking through the organization. Organization Walter A. Carnielli, CLE, University of Campinas. Marcelo E. Coniglio, CLE, University of Campinas. Paulo Mateus, CLC, IST, Technical University of Lisbon. Till Mossakowski, University of Bremen. Am?lcar Sernadas (Chair), CLC, IST, Technical University of Lisbon. Keynote speakers (confirmed) Dov Gabbay, King's College, London. Joseph Halpern, Cornell University. Dick de Jongh, University of Amsterdam. Gabriel Sandu, University of Helsinki. Andrzej Tarlecki, Warsaw University. Frank Wolter, University of Liverpool. Other invited participants (confirmed) Marcelo Finger, IME, S?o Paulo University. Joseph Goguen, University of California, San Diego. Don Pigozzi, Iowa State University. Luca Vigan?, ETH Zentrum, Z?rich. Alberto Zanardo,University of Padova. Publication Electronic publication of extended abstracts at CLE e-Prints. Publication (planned) of selected full papers in the series Studies in Logic and Computation, King's College Publications, Research Studies Press, England. Sponsors ASL: The Association for Symbolic Logic, USA (ASL student members are encouraged to apply for the ASL travel funds available for sponsored meetings). CLC: Center for Logic and Computation, IST, Lisbon, Portugal. CLE: Centre for Logic, Epistemology and the History of Science, UNICAMP, Campinas, Brazil. FLIRTS Interest Group. -------------------------------------------------------------------------------- For further information contact acs@math.ist.utl.pt. Last update: January 26, 2004. -------------------------------------------------------------------------------- -- ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://cs.math.ist.utl.pt/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From till at informatik.uni-bremen.de Fri Jun 18 12:42:24 2004 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Tue Aug 30 15:43:12 2005 Subject: [Flirts] Your AFADL2004 paper Message-ID: <40D2C710.2070200@informatik.uni-bremen.de> Dear Remi Delmas, Pierre-Yves Schobbens pointed out that your AFADL 2004 paper "Un cadre formel pour la sp?cification de syst?mes avioniques" might be of interest for the FLIRTS community (www.tzi.de/flirts). Hence, we would appreciate very much if you would send us an English version of your paper, if/when it is available. Yours sincerely, Till Mossakowski (FLIRTS coordinator) -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From till at informatik.uni-bremen.de Tue Jul 13 15:41:21 2004 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Tue Aug 30 15:43:12 2005 Subject: [Flirts] [Fwd: Re: Your AFADL2004 paper] Message-ID: <40F3E681.1050100@informatik.uni-bremen.de> Dear Flirters, I only had a quick superifical look so far, but the paper seems to be very Flirts-relevant application indeed. Thanks to Pierre-Yves for pointing this out! Greetings, Till -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till -------------- next part -------------- An embedded message was scrubbed... From: Remi Delmas Subject: Re: Your AFADL2004 paper Date: Mon, 12 Jul 2004 16:35:57 +0200 Size: 661954 Url: http://www.informatik.uni-bremen.de/pipermail/flirts/attachments/20040713/a43acbb4/YourAFADL2004paper-0003.mht From till at informatik.uni-bremen.de Tue Sep 7 12:29:17 2004 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Tue Aug 30 15:43:12 2005 Subject: [Flirts] Classifying institutions In-Reply-To: <413D85A3.5090609@math.ist.utl.pt> References: <413D85A3.5090609@math.ist.utl.pt> Message-ID: <413D8D7D.3030606@informatik.uni-bremen.de> Dear Cristina, > I would like to ask you to send me references to papers where we can > find criteria for classifying institutions (meaning relevant properties > that some institutions have and others do not). Razvan Diaconescu has published a series of papers about model-theoretic properties of institutions, see the first publications under http://www.imar.ro/~diacon/publications.html If you ask him directly, he probably will send you more material (AFAIK, there are some more papers and a forthcoming book). Greetings, Till -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From acs at math.ist.utl.pt Mon Jan 26 10:34:46 2004 From: acs at math.ist.utl.pt (Amilcar Sernadas) Date: Sun Oct 9 15:15:54 2005 Subject: [Flirts] CombLog04 extended deadline Message-ID: <4014DF36.1060803@math.ist.utl.pt> The deadline for submissions to CombLog04 http://www.cs.math.ist.utl.pt/comblog04/ has been moved to March 1, 2004. A copy of the updated announcement follows: -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- CombLog'04 Workshop on Combination of Logics: Theory and Applications CLC, Department of Mathematics, IST, Lisbon, Portugal July 28-30, 2004 -------------------------------------------------------------------------------- Call for Contributions The workshop aims to provide a forum for interaction and exchange of ideas among a limited number of participants in the general area of analysis and synthesis of logics and related topics. Prospective contributors are invited to submit an extended abstract (up to six pages) describing innovative proposals and results. Electronic submissions in the form of ps or pdf files to be sent to acs@math.ist.utl.pt by March 01, 2004. -------------------------------------------------------------------------------- Topics Different forms of composing and decomposing logics, such as fibring, fusion, splicing, splitting, synchronization and temporalization. Transference results between the whole and the component logics, such as preservation of completeness, interpolation properties and decidability. Application domains, such as security, software specification and verification, knowledge representation and formal ethics. Important dates March 01, 2004 - Deadline for submitting extended abstracts (up to 6 pages including references). April 02, 2004 - Notification of program and list of participants. May 03, 2004 - Deadline for reception of final version of extended abstracts. May 17, 2004 - Deadline for registration and hotel booking through the organization. Organization Walter A. Carnielli, CLE, University of Campinas. Marcelo E. Coniglio, CLE, University of Campinas. Paulo Mateus, CLC, IST, Technical University of Lisbon. Till Mossakowski, University of Bremen. Am?lcar Sernadas (Chair), CLC, IST, Technical University of Lisbon. Keynote speakers (confirmed) Dov Gabbay, King's College, London. Joseph Halpern, Cornell University. Dick de Jongh, University of Amsterdam. Gabriel Sandu, University of Helsinki. Andrzej Tarlecki, Warsaw University. Frank Wolter, University of Liverpool. Other invited participants (confirmed) Marcelo Finger, IME, S?o Paulo University. Joseph Goguen, University of California, San Diego. Don Pigozzi, Iowa State University. Luca Vigan?, ETH Zentrum, Z?rich. Alberto Zanardo,University of Padova. Publication Electronic publication of extended abstracts at CLE e-Prints. Publication (planned) of selected full papers in the series Studies in Logic and Computation, King's College Publications, Research Studies Press, England. Sponsors ASL: The Association for Symbolic Logic, USA (ASL student members are encouraged to apply for the ASL travel funds available for sponsored meetings). CLC: Center for Logic and Computation, IST, Lisbon, Portugal. CLE: Centre for Logic, Epistemology and the History of Science, UNICAMP, Campinas, Brazil. FLIRTS Interest Group. -------------------------------------------------------------------------------- For further information contact acs@math.ist.utl.pt. Last update: January 26, 2004. -------------------------------------------------------------------------------- -- ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://cs.math.ist.utl.pt/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From till at informatik.uni-bremen.de Fri Jun 18 12:42:24 2004 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Sun Oct 9 15:15:54 2005 Subject: [Flirts] Your AFADL2004 paper Message-ID: <40D2C710.2070200@informatik.uni-bremen.de> Dear Remi Delmas, Pierre-Yves Schobbens pointed out that your AFADL 2004 paper "Un cadre formel pour la sp?cification de syst?mes avioniques" might be of interest for the FLIRTS community (www.tzi.de/flirts). Hence, we would appreciate very much if you would send us an English version of your paper, if/when it is available. Yours sincerely, Till Mossakowski (FLIRTS coordinator) -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From till at informatik.uni-bremen.de Tue Jul 13 15:41:21 2004 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Sun Oct 9 15:15:54 2005 Subject: [Flirts] [Fwd: Re: Your AFADL2004 paper] Message-ID: <40F3E681.1050100@informatik.uni-bremen.de> Dear Flirters, I only had a quick superifical look so far, but the paper seems to be very Flirts-relevant application indeed. Thanks to Pierre-Yves for pointing this out! Greetings, Till -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till -------------- next part -------------- An embedded message was scrubbed... From: Remi Delmas Subject: Re: Your AFADL2004 paper Date: Mon, 12 Jul 2004 16:35:57 +0200 Size: 661954 Url: http://www.informatik.uni-bremen.de/pipermail/flirts/attachments/20040713/a43acbb4/YourAFADL2004paper-0004.mht From till at informatik.uni-bremen.de Tue Sep 7 12:29:17 2004 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Sun Oct 9 15:15:54 2005 Subject: [Flirts] Classifying institutions In-Reply-To: <413D85A3.5090609@math.ist.utl.pt> References: <413D85A3.5090609@math.ist.utl.pt> Message-ID: <413D8D7D.3030606@informatik.uni-bremen.de> Dear Cristina, > I would like to ask you to send me references to papers where we can > find criteria for classifying institutions (meaning relevant properties > that some institutions have and others do not). Razvan Diaconescu has published a series of papers about model-theoretic properties of institutions, see the first publications under http://www.imar.ro/~diacon/publications.html If you ask him directly, he probably will send you more material (AFAIK, there are some more papers and a forthcoming book). Greetings, Till -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till