{{sitestyle default,smallfont}}

!!! これから

,日程  ,論文 ,梗概 ,会議 , ,場所  , ,
,2009/08/11-14,01/19,01/12,[LICS 2009|http://www2.informatik.hu-berlin.de/lics/lics09/index.html],Logic In Computer Science ,Los Angeles,(A+),
,2009/07/19-24,01/20,     ,[CiE 09|http://www.math.uni-heidelberg.de/logic/cie2009/],Computability in Europe,,,
,2009/06/26-02,01/25,01/18,[CAV 2009|http://www-cav2009.imag.fr/],Computer Aided Verification,Grenoble, (A+) ,
,2009/06/09-11,02/01,01/28,[FORTE 2009|http://discotec09.di.fc.ul.pt/index.php?title=FMOODS_FORTE/CFP],Formal Techniques for Networked and Distributed Systems,Lisbon,,
,2009/07/05-12,02/10,     ,[ICALP 2009|http://icalp09.cti.gr/],International Colloquium on Automata，Languages and Programming,Rhodes- Greece, (A) ,
,2009/08/09-11,02/17,     ,[SAS 2009|http://sas09.cs.ucdavis.edu/],Static Analysis Symposium,Los Angeles, (A+) ,
,2009/08/02-07,02/23,02/16,[CADE-22|http://complogic.cs.mcgill.ca/cade22/dates.html],Conference on Automated Deduction,Montreal,,
,2009/06/30-03,02/27,02/20,[SAT 2009|http://cs-svr1.swan.ac.uk/~csoliver/SAT2009/index.html],Theory and Applications of Satisfiability Testing,, (A) ,
,2009/07/29-31,02/27,02/20,[TASE 2009|http://www.dur.ac.uk/ieee.tase2009/],Theoretical Aspects of Software Engineering,, -- ,
,2009/06/21-24,03/08,02/28,[WoLLIC'2009|http://www.wollic.org/wollic2009/],Workshop on Logic，Language，Information and Computation,NII(東京), (B)  ,
,2009/06/26-28,03/08,03/01,[RV 2990|http://www-rv2009.imag.fr/],Runtime Verification,Grenoble,,
,2009/08/17-20,03/08,     ,[TPHOLs 2009|http://tphols.in.tum.de/],Theorem Proving in Higher Order Logics,Munchen,,
,2009/07/23-25,04/09,04/06,[TIME 2009|http://www.inf.unibz.it/krdb/events/time-2009/],Temporal Representation and Reasoning,,(A),
,2009/10/30-07,05/04,     ,[FM 2009|http://www.win.tue.nl/fm2009/],International Symposium on Formal Methods,,(A),
,2009/12/09-12,07/20,07/13,[ICFEM 09|http://icfem09.inf.puc-rio.br/Important_Dates.html],International Conference on Formal Engineering Methods,Rio de Janeiro,,
,             ,     ,     ,M4M 6 , Method for Modalities あるらしい,,,
{{div_end}}

!!! 終了・締切り超過

,日程  ,論文 ,梗概 ,会議 , ,場所  , ,
,2007/12/09-11,08/10,08/03,[ASIAN'07|http://www.qatar.cmu.edu/asian07/],Asian Computing Science Conference,Doha，Qatar,(B),
,2008/03      ,     ,     ,[(see right)|http://staff.science.uva.nl/~yde/mfl],Workshop on Modal Fixpoint Logics,,--,
,2008/04/07-11,08/31,     ,[RelMiCS/AKA 2008|http://www.informatik.uni-augsburg.de/rel_aka/],Relational Methods/Applications of Kleene Algebra, , , 
,2008/04/30-02,11/10,     ,[SAGT/08|http://sagt08.upb.de/callforpapers.php],Algorithmic Game Theory,,--,
,2008/07/02-04,06/18,05/30,[DSW'08|http://www.csg.is.titech.ac.jp/dsw08-summer/],ディペンダブルソフトウェアワークショップ,函館,,
,2008/07/07-08,04/30,     ,[SMT 2008|http://research.microsoft.com/conferences/SMT08/],Satisfiability Modulo Theories,Princeton,,
,2008/07/12-13,04/21,     ,[SCSS 2008|http://www.risc.uni-linz.ac.at/about/conferences/scss2008/],Symbolic Computation in Software Science Austrian-Japanese Workshop,Hagenberg，Austria, --- ,
,2008/07/14   ,05/25,     ,[AFM08|http://fm.csl.sri.com/AFM08/],Automated Formal Methods,Princeton,,
,2008/07/14-17,02/20,     ,[SSIRI 2008|http://paris.utdallas.edu/ssiri08/],Secure System Integration and Reliability Improvement,横浜,,
,2008/07/14-17,03/23,     ,[FCS'08|http://www.world-academy-of-science.org/worldcomp08/ws/conferences/fcs08],Foundations of Computer Science,,--,
,2008/07/15-17,04/10,     ,[PPDP 2008|http://www.clip.dia.fi.upm.es/Conferences/PPDP08/],Principles and Practice of Declarative Programming,Valencia，Spain,(B),
,2008/07/17-18,05/07,     ,[LOPSTR 2008|http://www.informatik.uni-kiel.de/~mh/lopstr08/],Logic-Based Program Synthesis and Transformation,Valencia，Spain,,
,2008/07/21-22,04/10,     ,[MoChArt-2008|http://www.csc.liv.ac.uk/~mjw/mochart/],Model Checking and Artificial Intelligence,Patras，Greece,,
,2008/07/30-31,06/13,     ,[ARW2008|http://events.cs.bham.ac.uk/cicm08/workshops/arw/],Automated Reasoning Workshop,Birmingham,--,
,2008/08/10-15,03/03,02/22,[IJCAR 2008|http://2008.IJCAR.org],International Joint Conference on Automated Reasoning,Sydney, (A+) ,
,2008/08/10-11,06/05,05/29,[VERIFY 08|http://www.uni-koblenz.de/~beckert/verify08/],International Verification Workshop,Sydney,,
,2008/08/10-11,05/27,     ,[PAAR-2008|http://www.eprover.org/EVENTS/PAAR-2008/paar-2008.html],Practical Aspects of Automated Reasoning,Sydney,,
,2008/08/10-11,06/02,     ,[CEDAR'08|http://www.mpi-inf.mpg.de/~sofronie/cedar08.html],Complexity，Expressibility，and Decidability in Automated Reasoning,Sydney,,
,2008/08/10-12,04/02,     ,[SPIN 2008|http://www.mail-archive.com/hol-info@lists.sourceforge.net/msg00057.html],SPIN Workshop on Model Checking of Software,Los Angeles,--,
,2008/08/25-29,03/31,     ,[MFCS 2008|http://mfcs08.mat.umk.pl/],Mathematical Foundations of Computer Science,Torun，Poland,(B),
,2008/09/08-10,02/15,02/08,[TCS 2008|http://bioinformatics.bio.disco.unimib.it/tc1/],Theoretical Computer Science,, --- ,
,2008/09/22-25,02/29,02/01,[SAFECOMP 2008|http://www.safecomp2008.org/],Computer Safety，Reliability and Security,, (B) ,
,2008/09/01-03,04/11,     ,[ICTAC 2008|http://www.ictac.net/ictac08/],International Colloquium on Theoretical Aspects of Computing,Instanbul,,
,2008/09/09-12,03/31,     ,[AiML-2008|http://aiml08.loria.fr/],Advances in Modal Logic,Nancy，France,(A),
,2008/09/15-19,04/04,03/28,[ASE2008|http://www.di.univaq.it/ase2008/],Automated Software Engineering,L'Aquila，Italy,(A),
,2008/09/15-20,04/07,03/28,[CSL 2008|http://csl2008.cs.unibo.it/],Computer Science Logic,Bertinoro，Italy, (B) ,
,2008/09/15-16,06/22,06/15,[FMICS 2008|http://www.dsi.unifi.it/fmics08/],Formal Methods for Industrial Critical Systems,L'Aquila，Italy,(C),
,2008/09/19   ,07/22,     ,[AVOCS|http://www.dcs.gla.ac.uk/avocs08/avocs08.htm],Automated Verification of Critical Systems,,--,
,2008/09/28-29,04/28,04/21,[SCAM 2008|http://www.ieee-scam.org/],Source Code Analysis and Manipulation,北京,---,
,2008/10/06-09,05/14,     ,[VSTTE 2008|http://qpq.csl.sri.com/vsr/vstte-08],Verified Software: Theories，Tools，and Experiments,Toronto,--,
,2008/10/13-15,05/04,     ,[ISoLA|http://www.cs.uni-potsdam.de/isola2008/],Leveraging Applications of Formal Methods，Verification and Validation,Porto Sani，Greece,--,
,2008/10/15-17,05/01,     ,[SoMeT_08|http://www.somet.soft.iwate-pu.ac.jp/somet_08/],Software Methodologies，Tools and Techniques,Sharjah，UAE , (B),
,2008/10/20-23,05/05,     ,[ATVA 2008|http://pswlab.kaist.ac.kr/atva2008],Automated Technology for Verification and Analysis,Seoul,,
,2008/10/26-28,04/11,     ,[FOCS 2008|http://focs2008.org/],Foundations of Computer Science,Philadelphia,,
,2008/10/27   ,05/16,     ,[FMSE 2008|http://www.cs.utexas.edu/~shmat/FMSE08/],Formal Methods in Security Engineering,Virginia，US,--,
,2008/11/10-14,05/31,05/22,[SEFM 2008|http://www.iist.unu.edu/SEFM08/],Software Engineering and Formal Methods,Cape Town,(B),
,2008/11/17-20,05/19,     ,[FMCAD 2008|http://es.fbk.eu/events/fmcad08/],Formal Methods in Computer-Aided Design,Portland，USA,--,
,2008/11/22-27,06/16,06/06,[LPAR 2008|http://www.qatar.cmu.edu/lpar08/cfp.shtml],Logic for Programming，Artificial Intelligence and Reasoning,Doha，Qatar,,
,2008/11/25-26,(Oct),     ,[TPP 2008|http://www.score.cs.tsukuba.ac.jp/~minamide/tpp/],Theorem Proving and Provers,,,
,2008/12/03-05,06/24,06/17,[APSEC 2008|http://lcs.ios.ac.cn/~apsec08/],Asia-Pacific Software Engineering Conference,北京,--,
,2008/12/09-11,06/27,     ,[APLAS 2008|http://research.microsoft.com/~grama/APLAS2008/],ASIAN Symposium on Programming Languages and Systems,Bangalore，India,,
,2008/12/09-11,07/07,     ,[FSTTCS 2008|http://www.fsttcs.org/],Foundations of Software Technology and Theoretical Computer Science,Bangalore，India,,
,2008/12/15-17,06/02,     ,[PRDC'08|http://www.csie.ntust.edu.tw/prdc08],Pacific Rim International Symposium on Dependable Computing,台北,,
,2009/01/03-06,09/14,     ,[LFCS 2009|http://lfcs.info/lfcs09/],Logical Foundations of Computer Science,10年ぶりくらい,(B),
,2009/01/18-20,09/12,     ,[VMCAI 2009|http://cs.uni-muenster.de/vmcai09/],Verification，Model Checking，and Abstract Interpretation,Savannah，GA，USA,---,
,2009/01/20   ,10/08,     ,[PLPV 2009|http://sneezy.cs.nott.ac.uk/darcs/plpv09/],Programming Languages meets Program Verification,,,
,2009/01/21-23,07/15,07/08,[POPL 2009|http://www.cs.ucsd.edu/popl/09/],Principles of Programming Languages,Savannah，Georgia，USA,(A+),
,2009/02/16-19,09/12,09/05,[iFM 2009|http://www.formal-methods.de/ifm2009/cfp.html],integrated Formal Methods,Düsseldorf,(B),
,2009/02/26-28,09/15,     ,[STACS 2008|http://stacs2009.informatik.uni-freiburg.de/dates.php],Theoretical Aspects of Computer Science,Freiburg，Germany,,
,2009/03/22-29,10/09,10/02,[ETAPS|http://www.cs.york.ac.uk/etaps09/],CC，ESOP，FASE，FOSSACS，TACAS,,(A),
,2007/11      ,     ,     ,[M4M|http://m4m.loria.fr/M4M5/],Methods for Modalities,,--,
,2007/11      ,     ,     ,[SEEFM|http://www.seefm.info/seefm07/],South-East European Workshop on Formal Methods,次回は09か,--,


!!! memo

! 検索
* static analysis
* program analysis
* modal logic
* verification
* formal method
* computation, logic
* logic, programming, computer science
* reliability, safety, dependable, ...
* model checking

! その他

http://www.cs.famaf.unc.edu.ar/~mpagano/cfp.html のリストが役に立ちそうなのだが，見えない
ので，googleのキャッシュ
http://72.14.235.104/search?q=cache:Ng0FoK9fUYIJ:www.cs.famaf.unc.edu.ar/~mpagano/cfp.html+%22call+for+papers%22+%22formal+methods%22&hl=ja&ct=clnk&cd=18&gl=jp&client=opera

そこからリンクされている formal methods の会議リスト
http://www.comlab.ox.ac.uk/archive/formal-methods/meetings.html

Formal method 会議のリスト: http://user.it.uu.se/~bengt/Info/conferences.shtml