Logic and Rational Interaction

19 November 2009

Computational Logic Seminar at CUNY: Logical Analysis of Cryptographic Protocols

Posted by Rasmus Rendsvig under: Activities; Computer Science; Courses, seminars and special lectures; Dynamic Epistemic Logic .

Information provided by

Jonas Reitz

Thursday, November 19, 2009
2:00 pm	to	3:30 pm

Computational Logic Seminar at CUNY:

Title: Logical Analysis of Cryptographic Protocols
Speaker: Evan Goris

November 19, 2:00-3:30 PM.
Room 4421 — please notice the room change.

Abstract:This talk will contains an overview on some selected topics on formal analysis of security protocols: BAN Logic, Systems and Runs Framework, and Dynamic Epistemic Logic. This is the second PhD exam for the speaker.

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

Monday, February 8, 2010:
- Dialogues and Games: Historical Roots and Contemporary Models, Lille, France (all day)
Monday, February 15, 2010:
- Call for Papers: ECAI-2010 (all day)
Thursday, February 18, 2010:
- SEMINAR: PhD's in Logic II, Tilburg, 18-19 February 2010 (all day)
Friday, February 19, 2010:
- CfP: AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (all day)
- Call for submissions: ESSLLI 2010 Student Session (all day)

Events

November 2009
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 (351)
- Activities (350)
  - Call for papers (97)
  - Conference and workshop announcements (144)
  - Conference and workshop reports (56)
  - Courses, seminars and special lectures (101)
  - Upcoming deadlines (32)
Glossary (14)
Help (15)
Job annoucements (18)
Links (13)
Logic in Asia (7)
People & Places (58)
- Groups (8)
- People (39)
  - PhD Student (5)
  - Postdoctoral Researcher (9)
  - Senior Researcher (21)
- Places (Universities and Institutes) (23)
  - ILLC (11)
  - Universiteit van Amsterdam (7)
Publications (83)
- Books, Journals issues, proceedings (51)
- Work in progress (5)
Research Axes (223)
- Agent diversity and bounded rationality (10)
- Argumentation (2)
- Artificial Intelligence (31)
- Belief revision, conditioning, imaging and other belief (29)
- Computational Social Choice (15)
- Computer Science (22)
- Decision Theory (23)
- Deontic Logic (13)
- Dependance Logic (2)
- Dynamic Epistemic Logic (35)
- Dynamic Logic (27)
- Epistemic Logic (16)
- Fixed-point Logics (4)
- Formal Epistemology (35)
- Fuzzy Logic (1)
- Game Theory (41)
- Games for logic, dialogic games. (7)
- Hybrid Logic (3)
- Imperfect Information (10)
- Independence Logic (3)
- Information Update (15)
- Justification Logic (10)
- Learning Theory (8)
- Logics for Games (11)
- Modal Logic (22)
- Natural Language Semantics (9)
- Preferences, Intentions, Emotions (20)
- Programming Theory (7)
- Proof Theory (12)
- Public Announcement Logic (1)
- Rational Agency (30)
- Reasoning (19)
- Social Choice Theory (24)
- Social Epistemology (9)
- Social Software (15)
- Strategies (9)
- Temporal Epistemic Logic (8)
- Temporal Logic (13)
Tsinghua University (5)
Uncategorized (7)