Objectives: Difference between revisions
No edit summary |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
ManyVal has the goal to build and maintain an international network of researchers focusing on current hot topics inside the broad field of many-valued logics and exploring connections with other fields of mathematics, computer science and philosophy, including universal algebra, proof theory, duality theory, geometry, knowledge representation, vagueness, and artificial intelligence. |
<b>ManyVal</b> has the goal to build and maintain an international network of researchers focusing on current hot topics inside the broad field of many-valued logics and exploring connections with other fields of mathematics, computer science and philosophy, including universal algebra, proof theory, duality theory, geometry, knowledge representation, vagueness, and artificial intelligence. |
||
| Line 7: | Line 7: | ||
<li>Frequent research visits between the involved groups to work on the scientific goals of the group, with an emphasis on the mobility of PhD students.</li> |
<li>Frequent research visits between the involved groups to work on the scientific goals of the group, with an emphasis on the mobility of PhD students.</li> |
||
<li>Organization of conferences and workshops devoted to many-valued logics and related topics, in particular, the biannual series of international conferences: ManyVal and Logic, Algebra and Truth Degrees.</li> |
<li>Organization of conferences and workshops devoted to many-valued logics and related topics, in particular, the biannual series of international conferences: <b>ManyVal</b> and <b>Logic, Algebra and Truth Degrees</b>.</li> |
||
<li>Preparation of joint applications for international funded projects involving members of the group based in different countries.</li> |
<li>Preparation of joint applications for international funded projects involving members of the group based in different countries.</li> |
||
Latest revision as of 15:59, 10 July 2014
ManyVal has the goal to build and maintain an international network of researchers focusing on current hot topics inside the broad field of many-valued logics and exploring connections with other fields of mathematics, computer science and philosophy, including universal algebra, proof theory, duality theory, geometry, knowledge representation, vagueness, and artificial intelligence.
The following activities help us to achieve these objectives:
- Frequent research visits between the involved groups to work on the scientific goals of the group, with an emphasis on the mobility of PhD students.
- Organization of conferences and workshops devoted to many-valued logics and related topics, in particular, the biannual series of international conferences: ManyVal and Logic, Algebra and Truth Degrees.
- Preparation of joint applications for international funded projects involving members of the group based in different countries.
- Creation and maintenance of a web page of the working group to share and disseminate any information relevant to the activities of the group.