Logic and Rational Interaction

Archive for the ‘Computer Science’ Category

15July2010

CFPs: 4th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS

Posted by Sunxin under: Activities; Artificial Intelligence; Call for papers; Computer Science; Conference and workshop announcements; Philosophical Logic.

2July2010

Workshop on Logic, Language, Information

Posted by Sunxin under: Activities; Computer Science; Natural Language Semantics; Programming Theory; Reasoning; To be categorized.

2July2010

7th Workshop on Fixed Points in Computer Science

Posted by Sunxin under: Activities; Computer Science; Fixed-point Logics; To be categorized.

24June2010

WoLLIC 2011: Workshop on Logic, Language, Information and Computation

Posted by Sunxin under: Activities; Call for papers; Computer Science; Programming Theory.

26May2010

Workshop on Comparing Logical Decision Methods/University of Edinburgh

Posted by Sunxin under: Activities; Computer Science; Conference and workshop announcements; Uncategorized.

4May2010

CfP: GAMES 2010

Posted by Rasmus Rendsvig under: Activities; Call for papers; Computer Science; Conference and workshop announcements; Uncategorized.

Previous

Comment? Questions? Contact?

Please send an email to Rasmus Rendsvig, our web manager, at: rendsvig at gmail dot com

Enter your email address here to receive a periodical summary of the LORI posts.

Subscribe to RSS Feed

RSS Feed

Our visitors

Upcoming Events

Tuesday, November 30, 1999:
- Chair of Computational Logic at Dresden University of Technology (12:00 am)
Saturday, July 10, 2010:
- 10 PhD student positions in Mathematical Logic in Computer Science (12:00 am)
Monday, August 30, 2010:
- The Third Workshop on Logics for Resource-Bounded Agents (LRBA), Domaine Valpre, Lyon, France (all day)
Thursday, September 2, 2010:
- Workshop on Advances in Algorithmic Game Theory (12:00 am)
- Workshop on Advances in Algorithmic Game Theory (9:50 am)

Events

September 2010
M	T	W	T	F	S	S
	1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30	EC

Browse by content

Events (542)
- Activities (541)
  - Call for papers (143)
  - Conference and workshop announcements (219)
  - Conference and workshop reports (78)
  - Courses, seminars and special lectures (160)
  - Upcoming deadlines (42)
Glossary (14)
Help (15)
Job annoucements (31)
Links (15)
Logic in Asia (8)
People & Places (99)
- Groups (8)
- People (63)
  - Master Student (9)
  - PhD Student (20)
  - Postdoctoral Researcher (13)
  - Senior Researcher (23)
- Places (Universities and Institutes) (47)
  - ILLC (26)
  - Tsinghua University (10)
  - Universiteit van Amsterdam (7)
Publications (95)
- Books, Journals issues, proceedings (59)
- Work in progress (5)
Research Axes (341)
- Agent diversity and bounded rationality (14)
- Argumentation (5)
- Artificial Intelligence (38)
- Belief revision, conditioning, imaging and other belief (44)
- Computational Social Choice (25)
- Computer Science (32)
- Decision Theory (33)
- Deontic Logic (19)
- Dependence / Independence Logic (8)
- Dynamic Epistemic Logic (41)
- Dynamic Logic (37)
- Epistemic Logic (31)
- Fixed-point Logics (5)
- Formal Epistemology (48)
- Fuzzy Logic (1)
- Game Theory (65)
- Games for logic, dialogic games. (9)
- Hybrid Logic (7)
- Imperfect Information (10)
- Information Update (18)
- Justification Logic (15)
- Knowledge Representation (3)
- Learning Theory (9)
- Logics for Games (14)
- Modal Logic (25)
- Natural Language Semantics (12)
- Non-Monotonic Reasoning (1)
- Philosophical Logic (9)
- Preferences, Intentions, Emotions (26)
- Programming Theory (9)
- Proof Theory (14)
- Public Announcement Logic (3)
- Rational Agency (38)
- Reasoning (28)
- Social Choice Theory (35)
- Social Epistemology (15)
- Social Software (16)
- Strategies (12)
- Temporal Epistemic Logic (8)
- Temporal Logic (15)
- Vagueness (2)
To be categorized (16)
Uncategorized (25)