Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de
To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de
You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de
When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."
Today's Topics:
1. LATD 2014: Logic, Algebra and Truth Degrees, Vienna
(Austria), 16-19 Jul 2014 (Bjoern Lellmann)
2. CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014
(CiE Conference Series)
3. AAAC 2014: submission is open now (Deshi Ye)
4. IFORS 2014 - Green Logistics Stream (Bektas T.)
----------------------------------------------------------------------
Message: 1
Date: Fri, 03 Jan 2014 15:02:27 +0100
From: Bjoern Lellmann <lellmann@logic.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] LATD 2014: Logic, Algebra and Truth Degrees, Vienna
(Austria), 16-19 Jul 2014
Message-ID: <52C6C2F3.9020101@logic.at>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
(Apologies for multiple postings)
Logic, Algebra and Truth Degrees 2014
July 16 - 19, Vienna, Austria
Call for papers
The conference "Logic, Algebra and Truth Degrees 2014" will be
held on 16-19 July 2014 in Vienna, Austria, as part of the
Vienna Summer of Logic event http://vsl2014.at.
Logic, Algebra and Truth Degrees is the fourth official meeting
of the EUSFLAT Working Group on Mathematical Fuzzy Logic.
Mathematical Fuzzy Logic is the sub-discipline of Mathematical
Logic that is concerned with the notion of comparative truth.
The assumption that "truth comes in degrees" has proved to be
very useful in many theoretical and applied areas of Mathematics,
Computer Science, and Philosophy.
The featured topics include:
- Proof theory and computational complexity
- Algebraic semantics and abstract algebraic logic
- First, higher-order and modal formalisms
- Applications and foundational issues
- Geometric and game theoretic aspects
We particularly welcome contributions on many-valued and
related logical systems.
Invited speakers:
- Silvio Ghilardi, Italy
- Melvin Fitting, USA
- George Metcalfe, Switzerland
- Dale Miller, France
- Dana Scott, USA
- Alasdair Urquhart, Canada
Tutorials:
- Franz Baader, Germany
- Vincenzo Marra, Italy
Programme Committee:
- Arnon Avron, Israel
- Matthias Baaz (Chair), Austria
- Agata Ciabattoni (Co-Chair), Austria
- Petr Cintula, Czech Republic
- Nikolaos Galatos, USA
- Lluis Godo, Spain
- Rosalie Iemhoff, The Netherlands
- Nicola Olivetti, France
- Hiroakira Ono, Japan
- Kazushige Terui, Japan
- Richard Zach, Canada
Contributed talks:
Abstracts of contributed talks, 2-4 pages, are to be prepared
using the ASL abstract template and submitted via Easychair.
The accepted abstracts will be available on-line and published
in the joint volume of abstracts with the Logic Colloquium.
The deadline for contributions is 6th April 2013. The
notification of acceptance will be sent by 10th May 2013.
For more information please visit the official web page
of the conference: http://www.logic.at/latd2014.
All correspondence should be directed to latd2014@logic.at.
Please feel free to distribute this call.
The Organizing Committee
Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula,
Bjoern Lellmann, Revantha Ramanayake, Lara Spendier
------------------------------
Message: 2
Date: Fri, 3 Jan 2014 14:25:44 +0000 (GMT)
From: CiE Conference Series <cie.conference.series@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CiE 2014: Language, Life, Limits - Budapest, 23-27
June 2014
Message-ID: <alpine.LNX.2.00.1401031419580.3481@csltarnold.site>
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
3rd CALL FOR PAPERS:
CiE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu
IMPORTANT DATES:
Submission Deadline for LNCS: 10 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014
FUNDING and AWARDS:
CiE 2014 has received funding for student participation from the European
Association for Theoretical Computer Science EATCS. Please contact the PC
chairs if you are interested.
The best student paper will receive an award sponsored by Springer.
CiE 2014 is the tenth conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta
Delgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013).
The motto of CiE 2014 "Language, Life, Limits" intends to put a special
focus on relations between computational linguistics, natural and
biological computing, and more traditional fields of computability theory.
This is to be understood in its broadest sense including computational
aspects of problems in linguistics, studying models of computation and
algorithms inspired by physical and biological approaches as well as
exhibiting limits (and non-limits) of computability when considering
different models of computation arising from such approaches.
As with previous CiE conferences the allover glueing perspective is to
strengthen the mutual benefits of analyzing traditional and new
computational paradigms in their corresponding frameworks both with
respect to practical applications and a deeper theoretical understanding.
We particularly invite papers that build bridges between different parts
of the research community.
For topics covered by the conference, please visit
http://cie2014.inf.elte.hu/?Topics
We particularly welcome submissions in emergent areas, such as
bioinformatics and natural computation, where they have a basic connection
with computability.
TUTORIAL SPEAKERS:
Wolfgang Thomas (RWTH Aachen)
Peter Gruenwald (CWI, Amsterdam)
INVITED SPEAKERS:
Lev Beklemishev (Steklov Mathematical Institute, Moscow)
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris)
Maribel Fernandez (King's College London)
Przemyslaw Prusinkiewicz (University of Calgary)
Eva Tardos (Cornell University
Albert Visser (Utrecht University)
SPECIAL SESSIONS:
History and Philosophy of Computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Computational Linguistics
(organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky)
Computability Theory
(organizers: Karen Lange, Barbara Csima)
Bio-inspired Computation
(organizers: Marian Gheorghe, Florin Manea)
Online Algorithms
(organizers: Joan Boyar, Csanad Imreh)
Complexity in Automata Theory
(organizers: Markus Lohrey, Giovanni Pighizzini)
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
* Gerard Alberts (Amsterdam) * Sandra Alves (Porto)
* Hajnal Andreka (Budapest) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau)
* Vasco Brattka (Munich) * Bruno Codenotti (Pisa)
* Erzsebet Csuhaj-Varju (Budapest, co-chair)
* Barry Cooper (Leeds) * Michael J. Dinneen (Auckland)
* Erich Graedel (Aachen) * Marie Hicks (Chicago IL)
* Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku)
* Elham Kashefi (Edinburgh) * Viv Kendon (Leeds)
* Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest)
* Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg)
* Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA)
* Georg Moser (Innsbruck) * Benedek Nagy (Debrecen)
* Sara Negri (Helsinki) * Thomas Schwentick (Dortmund)
* Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam)
* Xizhong Zheng (Glenside PA)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE
2014.
The submission site
https://www.easychair.org/conferences/?conf=cie2014
is open.
For submission instructions consult
http://cie2014.inf.elte.hu/?Submission_Instructions
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu
Website: http://cie2014.inf.elte.hu/
__________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
AssociationCiE on Twitter http://twitter.com/AssociationCiE
__________________________________________________________________________
------------------------------
Message: 3
Date: Sat, 4 Jan 2014 13:38:59 +0800
From: Deshi Ye <yedeshi@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] AAAC 2014: submission is open now
Message-ID:
<CAFM_Uumkz1bRb1ju8_QK35LXA2kGtJNvjpsbah_7bkSocVVF0A@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
***********************************************************************
AAAC2014
The 7th Annual Meeting of Asian Association for Algorithms and Computation
May 17-19, 2014, Hangzhou, China
http://www.cs.zju.edu.cn/algo/aaac2014/
***********************************************************************
Asian Association for Algorithms and Computation (AAAC) was founded in
2007, aiming at promoting collaborations among Asian scientists in all
areas of theoretical computer science.
The 7th AAAC Annual Meeting AAAC 2014 will take place in Hangzhou,
China. We invite submissions of abstracts presenting original research
or surveys in theoretical computer science.
****Topics****
All areas of theoretical computer science, especially design and
analysis of algorithms and complexity theory.
****Submissions****
Authors are invited to submit one-page abstracts (A4, PDF-files are
strongly preferred) presenting original research results or surveys.
Informal working notes including the one-page abstracts will be
distributed at
the meeting, which does not prevent any form of future publication on
the same work.
Authors can submit via easychiar (the server will be open on January 1,
2014)
http://www.easychair.org/conferences/?conf=aaac2014
****Important Dates****
Dates: May 17-19, 2014.
One-page abstract submission due: Feb 5, 2014
Notification: March 1, 2014
Early registration deadline: Mar 15, 2014
****Keynote Speakers****
Sanjeev Arora (Princeton University)
Francis Y.L. Chin (The University of Hong Kong)
****Program Committee****
Hee-Kap Ahn (Pohang University of Sci. and Tech.)
Leizhen Cai (The Chinese University of Hong Kong)
Mao-Cheng Cai (Institute of Systems Science)
Siu-Wing Cheng (The Hong Kong University of Science and Technology)
Otfried Cheong (Korea Advanced Institute of Science and Technology)
Francis Chin (The University of Hong Kong)
Kyung-Yong Chwa (Korea Advanced Institute of Science and Technology)
Xiaotie Deng (Shanghai Jiao Tong University)
Wen-Lian Hsu (Academia Sinica)
Xiaodong Hu (Chinese Academy of Sciences)
Kazuo Iwama (Kyoto University, Chair)
Sung Kwon Kim (Chung-Ang Univeristy)
DT Lee (Academia Sinica)
Zhiyong Liu (Institute of Computing Technology)
Chi-Jen Lu (Academia Sinica)
Kazuhisa Makino (The University of Tokyo)
Kunsoo Park (Seoul National University)
Sheung-Hung Poon (National Tsing Hua University)
Kunihiko Sadakane (Kyushu University)
Takeshi Tokuyama (Tohoku University)
Osamu Watanabe (Tokyo Institute of Technology)
Deshi Ye (Zhejiang University) Co-Chair
Guochuan Zhang (Zhejiang University) Co-Chair
Hong Zhu (Fudan University)
****Contact****
Deshi Ye (Zhejiang University)
yedeshi at zju.edu.cn
------------------------------
Message: 4
Date: Sat, 4 Jan 2014 12:33:06 +0000
From: "Bektas T." <T.Bektas@soton.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] IFORS 2014 - Green Logistics Stream
Message-ID: <CEEDAFFF.D0D4%T.Bektas@soton.ac.uk>
Content-Type: text/plain; charset="iso-8859-1"
With apologies for cross-postings.
=======================
Green Logistics Stream
IFORS 2014: 20th Conference of the International Federation of Operational
Research Societies
Barcelona
13?18 July 2014
Abstracts are sought in any area of Green Logistics, including those that
fit the two thematic sessions being organised within this stream:
- "Green Freight Transportation", chaired by Dr Emrah Demir
(E.Demir@tue.nl)
- "Electric Vehicles", chaired by Dr Jakob Puchinger
(jakob.puchinger@ait.ac.at)
Please contact the chairs to submit to one of the two sessions above, or
myself for abstracts that do not fall into the two themes.
Please note that abstract submission closes on 31 January 2014. Further
details are available on the conference website http://www.ifors2014.com
Tolga Bektas
Southampton Management School
University of Southampton
=======================
------------------------------
Subject: Digest Footer
_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
------------------------------
End of dmanet Digest, Vol 71, Issue 4
*************************************
No comments:
Post a Comment