Filosofia
- Raam 10 Conference: Metaphor In Communication, Science And Education
Cagliari, June 20-23, 2014Department of Pedagogy, Psychology, PhilosophySchool of Communication ScienceUniversity of Cagliari We are pleased to announce the 10th conference of the Association for Researching and Applying Metaphor (RaAM), which will be...
- "the Future Of Criminal Law?"
2014 Annual Conference, The Robina Institute of Criminal Law and Criminal Justice April 24-26, University of Minnesota Law School The conference will begin with a public forum Thursday, April 24, at which leading criminal law theorists, practitioners,...
- Aic 2013 - International Workshop On Artificial Intelligence And Cognition
Turin, Italy, December 3rd, 2013 Workshop website: http://di.unito.it/aic2013 Submission deadline: September 21st, 2013 Workshop of AI*IA 2013, 25th Year Anniversary, Turin, Italy XIII Conference of the Italian Association for Artificial Intelligence...
- Logicality, Lexical Meaning And Semantic Invariance
25 June 2013Universitat Pompeu Fabra, Barcelona The workshop aims at connecting two debates from two different disciplines: the debate over logical constants in philosophy of logic and the debate on the functional vs. lexical distinction in linguistics....
- European Society For Aesthetics Conference 2013
Charles University, Prague, Czech Republic, 17 – 19 June 2013 Submission deadline: 31st of January, 2013 The European Society for Aesthetics would like to invite you to submit a paper for presentation at the ESA Conference 2013. The conference...
Filosofia
Methods for Modalities
Lake Placid, New York June 9, 2013
http://www.cs.famaf.unc.edu.ar/~careces/M4M/
Theme
The workshop series Methods for Modalities (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logic. Here the term "modal logic" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.
Special Features
To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. We strongly encourage young researchers and students to submit papers, especially for experimental and prototypical software tools which are related to modal logics.
Submissions
Authors are invited to submit papers in the following three categories. In all cases the LNCS style should be used.
http://www.easychair.org/conferences/?conf=m4m8 The final versions of the selected contributions will be collected in a volume to be distributed at the workshop. These informal proceedings will also be made accessible on the web. We plan to publish selected papers in ENTCS or in a special journal issue on the topic of the M4M workshop after an extra refereeing round.
The Call for Papers is available.
- Regular papers up to 15 pages including bibliography, describing original research.
- System descriptions of up to 12 pages including bibliography, describing new systems or significant upgrades of existing ones.
- Presentation-only papers, describing work recently published or submitted (no page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants.
The Call for Papers is available.
Venue and Travelling
M4M-8 is a satellite workshop of CADE-24 that will take place at The Crowne Plaza Resort in Lake Placid, New York, USA. More information on accommodation options shall be provided on this page in the near future. In the mean time, please see The Crowne Plaza Resort's website for more details.
Accommodation
TBS
Important Dates
Keep in mind the following dates:
- Abstract submission deadline: April 12th, 2013 [firm]
- Paper submission deadline: April 15th, 2013 [firm]
- Notification of acceptance: May 19th, 2013
- Camera ready versions due: May 26th, 2013
- Workshop dates: June 9, 2013
loading...
- Raam 10 Conference: Metaphor In Communication, Science And Education
Cagliari, June 20-23, 2014Department of Pedagogy, Psychology, PhilosophySchool of Communication ScienceUniversity of Cagliari We are pleased to announce the 10th conference of the Association for Researching and Applying Metaphor (RaAM), which will be...
- "the Future Of Criminal Law?"
2014 Annual Conference, The Robina Institute of Criminal Law and Criminal Justice April 24-26, University of Minnesota Law School The conference will begin with a public forum Thursday, April 24, at which leading criminal law theorists, practitioners,...
- Aic 2013 - International Workshop On Artificial Intelligence And Cognition
Turin, Italy, December 3rd, 2013 Workshop website: http://di.unito.it/aic2013 Submission deadline: September 21st, 2013 Workshop of AI*IA 2013, 25th Year Anniversary, Turin, Italy XIII Conference of the Italian Association for Artificial Intelligence...
- Logicality, Lexical Meaning And Semantic Invariance
25 June 2013Universitat Pompeu Fabra, Barcelona The workshop aims at connecting two debates from two different disciplines: the debate over logical constants in philosophy of logic and the debate on the functional vs. lexical distinction in linguistics....
- European Society For Aesthetics Conference 2013
Charles University, Prague, Czech Republic, 17 – 19 June 2013 Submission deadline: 31st of January, 2013 The European Society for Aesthetics would like to invite you to submit a paper for presentation at the ESA Conference 2013. The conference...