教育

• 爱丁堡大学博士(弗雷格结构语义学)，1989年
• 1983年，英国埃塞克斯大学计算机科学硕士
• 1982年埃塞克斯大学(编程与微处理)优秀文凭
• 黎巴嫩大学，贝鲁特，1980年，理学学士(纯数学)

传

Fairouz Kamareddine于1980年在贝鲁特的黎巴嫩大学获得了Maîtrise(法国理学学士)纯数学学位。由于她以最高的荣誉获得了Maîtrise(她在大学所有分支的纯数学排名第一)，她被授予了奖学金，在法国、英国和美国攻读博士学位。虽然她的母亲想去法国，她的父亲想去美国，但她选择了英国，因为她想学英语，她想留在离中东更近的地方(美国更远)。从那时起，她成为美国(和法国)的常客，并在那里建立了她非常重视的工作关系。

Kamareddine教授在数学，逻辑学和计算机科学的交界领域有着杰出而成功的学术生涯，她的多个学术奖学金和特许证书，她的大量全球咨询任务，特别是在教育问题上，她从大学一直到联合国各级机构获得了许多个人和网络资助，担任期刊编辑和项目委员会、组织和会议成员的大量职位。同样，她也经常受邀在世界范围内的国际研究和教育活动中发表演讲。她在研究、员工和教学管理方面的经验丰富，至少与她12年的全职教授经验相当。最值得注意的是，她在跨学科、国际、学术界和产业界合作和网络的发展、管理和实施方面发挥着领导作用。自2001年以来，她一直担任欧盟研究框架(5、6和7)MAT-ENG小组的专家评估者、报告员和副主席。

研究的兴趣

专业的活动:

官方大学工作经历

• 自1998年8月1日起，赫瑞瓦特大学数学与计算机科学学院教授(永久职位)。
• 2008年5月21日至6月11日，2008年7月5日至7月17日，法国尚贝里萨瓦大学客座教授。
• 读者(永久职位)，格拉斯哥大学，计算科学，1997{1998。格拉斯哥大学计算机科学讲师(永久职位)，1987{1997。
• 埃因霍温理工大学数学和计算博士后研究员，1991(1992)。
• 爱丁堡大学数学系数学导师，1984{1987。1980年秋，黎巴嫩泰尔市黎巴嫩大学数学讲师。

访问研究工作

• 多次短期访问德国T•乌宾根大学(Uwe M•onnich教授)。1989年到1990年之间。
• 荷兰埃因霍温理工大学(Eindhoven University of Technology, de Bruijn教授和Baeten教授和Nederpelt博士)的多次春季/夏季访问。从1992年到2002年。
• 对荷兰奈梅亨大学(巴伦德雷格特教授)进行了多次短期访问。从1991年开始。
• 多次短期访问荷兰阿姆斯特丹大学(Inge Bethke博士)和CWI (Klop教授)。从1992年开始。
• 1995年至1998年对美国波士顿大学(asaf Kfoury教授)进行了多次短期访问。
• 自1997年以来，多次短期访问法国尚贝里的萨瓦大学(Ren David教授和Karim Nour博士和Christophe Ra alli博士)。
• 自1999年以来，巴西尼斯大学（Ayala-Rincon和De Moura）巴西尼斯的一些短期访问（Ayala-Rincon教授）。
• 多次短期访问美国纽约伊萨卡的康奈尔大学(罗伯特·康斯特布尔教授)。2009年和2010年。
• 多次短期访问筑波大学(田哲夫教授)，筑波，日本。2008年和2012年。
• 2015年1月/ 2月，加拿大莱斯桥大学和卡尔加里大学特聘教授。

出版物

期刊出版物

1. Fairouz Kamareddine, Karim Nour, Vincent Rahli, J.B. Wells，《关于具有扩展变量交集类型的可实现语义》。《信息基础》第121卷(1-4)，153-184页。2012.ISSN 0169-2968, IOS出版社。
2. Fairouz Kamareddine, Vincent Rahli和J.B. Wells，微积分中的可约性证明。《信息基础》，第121卷，第1-4页，第121-152页。2012.ISSN 0169-2968, IOS出版社。
3. Daniel Ventura, Mauricio Ayala-Rincon和Fairouz Kamareddine，明确的代换计算与一步的简化，明确决定。《逻辑学报》，第17卷，第6期，697-718页。2009.ISSN 1367-0751，牛津大学出版社。
4. Flavio de Moura, Mauricio Ayala-Rincon和Fairouz Kamareddine，高阶单一函数:Huet方法和基于显式替换的方法之间的结构关系。应用逻辑杂志，第6卷，第1期，第71页{108。爱思唯尔,北荷兰。ISSN 1570 - 8683。2008年3月。
5. 费尔鲁兹·卡马瑞丁和卡里姆·努尔。交集类型系统的可实现语义的完整性结果。《纯粹与应用逻辑年鉴》，第146卷，180-198页，2007年5月。ISSN: 0168 - 0072。爱思唯尔,北荷兰。
6. 简单类型化微积分的弱归一化。《纯粹与应用逻辑利益集团的逻辑期刊》，第15卷第2期，第121-147页，2007年。ISSN 1367-0751，牛津大学出版社。
7. 费尔鲁兹·卡马雷丁，曼努埃尔·马雷克，克日什托夫·雷特尔和乔·威尔斯。数字化数学:计算机化与形式化。国家数字化中心回顾，第10卷，第1{8页，塞尔维亚贝尔格莱德，2007。
8. de Moura, Ayala-Rincon, and Kamareddine, SUBSEXPL:一个模拟和比较显式替换的工具应用非经典逻辑学报，2006年第16卷，第1-2期，119-150页。版本Hermes-Lavoisier。
9. 卡马雷丁，统一绑定的类型化微积分，函数式编程杂志。第15卷，第5期，71-796页，2005年9月。ISSN: 0956-7968，剑桥大学出版社。
10. Ayala-Rincon，De Moura和Kamareddine，与ETA减少，纯粹和应用逻辑的纪念纪念的明确替代品比较和实施计算。第134卷，第1卷，第5-41页，2005年6月5日。ISSN：0168-0072。爱思唯尔,北荷兰。
11. Kamareddine和Bloo, De Bruijn的语法和lambda项的归约行为:非类型化的情况，逻辑和代数规划杂志。第62卷，第1期，109{131页，2005年1月。ISSN: 1567 - 8326。爱思唯尔,北荷兰。
12. Kamareddine和Bloo, De Bruijn的语法和lambda术语的还原性行为:类型化案例，逻辑和代数规划杂志。第62卷第2期159-189页，2005年2月。ISSN: 1567 - 8326。爱思唯尔,北荷兰。
13. 卡玛瑞丁和奈德佩尔特:对德布鲁因形式数学语言的再认识。逻辑、语言与信息学报，第13卷，第3期，287页;3402004年6月。ISSN: 0925 8531, Kluwer学术出版社。
14. Kamareddine, Monin和Ayala-Rincon，关于使用产品类型自动从证明中提取程序，哥伦比亚计算杂志(哥伦比亚计算杂志)，第4卷第2期，第29页{48。2004年6月。ISSN 1657 2831。
15. 阿亚拉和卡玛瑞丁，《单字型高阶单字的应用》，《当代数学》，第24卷，第1-22页。2003年7月。关于0103 - 9059。Brasileira de Matematica。
16. Kamareddine和Qiao，显式代换演算的强规范化证明。自动化推理杂志，第30卷，59-98页，2003年1月。ISSN 0168 7433。Kluwer学术出版商。
17. Kamareddine, Laan和Nederpelt，《重新审视函数的概念》，《逻辑与代数规划学报》，第54卷，第1-2期，65-107页，2003年1月。ISSN: 1567 - 8326。爱思唯尔,北荷兰。
18. Borghuis, Kamareddine和Nederpelt，《类型理论的形式化信念修正》，《纯粹与应用逻辑利益集团的逻辑期刊》，第10卷，第5期，第461-500页，2002年9月，ISSN 1367-0751，牛津大学出版社。
19. Kamareddine和Monin，递归函数自动终止方法的扩展，计算机科学基础国际期刊，第13卷第3期，第361-386页，2002年6月。ISSN 0129 - 0541。世界科学出版公司。
20. Kamareddine和R os, Pure Type Systems with de Bruijn indices，计算机杂志，第45卷(2)，187-201页，ISSN 0010 4620, 2002年3月。牛津大学出版社。
21. Kamareddine, Laan和Nederpelt，《1940年以前的逻辑和数学类型》，《符号逻辑公报》，第8卷第2期，185-245页，2002年6月，符号逻辑协会。
22. Ayala和Kamareddine，《基于显式替代的统一概念》，《纯粹与应用逻辑兴趣组的逻辑期刊》第9卷第4期，第521-555页，2001年，ISSN 1367-0751，牛津大学出版社。
23. Kamareddine and Laan, A Correspondence between Martin-L•of Type Theory, the Rami ed Theory of Types and Pure Type Systems Logic, Language and Information, 10(3)， 375- 402,2001, ISSN: 09258531, Kluwer学术出版社。
24. Kamareddine，在-Calculus和纯型系统中审查了古典和德布鲁恩符号，逻辑和计算杂志11（3），2001年6月361-392，牛津大学出版社。
25. Kamareddine和R os，关于Lambda sigma和Lambda显式替换的风格，逻辑和计算学报10(3)，第349-380页，2000年6月，ISSN 0955 792X，牛津大学出版社。
26. Kamareddine，一个减少k-agratterataction推迟，保护和保存强大的正常化持有，逻辑和计算杂志10（5）页，第721-738页，Issn 0955 792x，2000，牛津大学出版社。
27. Kamareddine, Bloo and Nederpelt，关于立方体中的-转换及其与缩写的结合，《纯粹与应用逻辑年鉴》97(1)，27- 45,1999,ISSN: 0168-0072，北荷兰。
28. Kamareddine和R os，《显式代换演算中连接de Bruijn指标和变量名》，《纯粹与应用逻辑兴趣组逻辑期刊》6(6)，843-874,1998,ISSN 1367-0751，牛津大学出版社。
29. Kamareddine是无名变量的明确替代的声音，计算机科学基础9（3），321-349,1998，ISSN：0129-0541，World-Countyi出版公司。
30. Kamareddine，R OS和Wells，概括和明确替换的计算：类型自由且简单的类型的版本，功能和逻辑编程，卷1998，ISSN 1080-5230，MIT Press。邀请出版。
31. Kamareddine和R os，用显式代换将-微积分扩展为开放项上的一致微积分。函数式编程7(4)，395-420,1997,ISSN: 0956-7968，剑桥大学出版社。
32. Bloo, Kamareddine和Nederpelt, Barendregt立方体的定义和广义约简，信息与计算126(2)，123-143,1996,ISSN: 0890-5401，学术出版社。
33. 卡马丁和奈德佩尔特，一种有用的符号，理论计算机科学155,85-109,1996,ISSN: 0304-3975，北荷兰。
34. Kamareddine和Nederpelt, Barendregt Cube的标准分型和转换，函数编程6 (2)，245-267,1996,ISSN: 0956-7968，剑桥大学出版社。
35. Kamareddine和Laan，《罗素的Rami型和Kripke的真理层次论》，《纯逻辑与应用逻辑的利益集团》4(2)，195-213,1996,ISSN 0945-9103，牛津大学出版社。
36. Kamareddine and Nederpelt, Re ning reduction in -calculus, Functional Programming 5(4)， 637-651, 1995, ISSN: 0956-7968，剑桥大学出版社。邀请出版。
37. 卡马丹丹，一种类型自由理论与集体/分配谓词，《逻辑、语言与信息》4 (2)，85-109,1995,ISSN: 0925 8531, Kluwer学术出版社。
38. Kamareddine，《基础形式主义的重要问题》，《纯粹与应用逻辑的利益集团》3 (2,3)，291-317,1995,ISSN 0945-9103，牛津大学出版社。
39. 卡马丁和奈德佩尔特，通过微积分的类型理论的统一方法，理论计算机科学136,183-216,1994,ISSN: 0304-3975，北荷兰。
40. 卡马丁和奈德佩尔特，关于逐步显式代换，计算机科学学报4 (3)，197-240,1993,ISSN: 0129-0541，世界科学出版公司。
41. 《多态、类型包含和名词化》，《逻辑、语言和信息》2,171-215,1993,ISSN: 0925 8531, Kluwer学术出版社。
42. Kamareddine，集合理论与名词化II，逻辑和计算2 (6)，687-707,1992,ISSN: 0955-792X，牛津大学出版社。
43. Kamareddine，集合理论与名词化I，逻辑和计算2 (5)，579-604,1992,ISSN: 0955-792X，牛津大学出版社。
44. 卡玛瑞丁，术语、逻辑、限定词和量词，逻辑、语言和信息1 (1)，79-103,1992,ISSN: 0925 8531, Kluwer学术出版社。
45. 卡马丁，逻辑与函数式编程的交叉系统，计算机编程科学19,239-279,1992,ISSN: 0167-6423，北荷兰。

书中章节

1. 费尔乌斯·卡马瑞丁，兰恩和内德佩尔特，《类型的历史》。多夫。M Gabbay, Francis Je ry Pelletier和John Woods，编辑:《逻辑:核心概念的历史》，11,HHL，:圣地亚哥:北荷兰，2012，页。451 - 511。
2. Fairouz Kamareddine，Twan Laan和Robert Constably。罗素在克里普克的真理理论中的命令和计算类型理论。多夫。M Gabbay，Akihiro Kanamori和John Woods，编辑：二十世纪的套装和扩展，第6卷，HHL，：圣地亚哥：北荷兰，2012年，页面。801-845。
3. 费尔鲁兹·卡马雷丁，曼努埃尔·马雷克，克日什托夫·雷特尔和乔·威尔斯。数学文本的逐步计算机化/形成化，从洞察力到证明，纪念Andrzej Trybulec, Roman Matuszewski和Anna Zalewska(编)，逻辑、语法和修辞学研究，第10卷(23页)，95-120页，比亚维斯托克大学，波兰科学逻辑和哲学协会，2007。
4. Kamareddine, Laan和Nederpelt, De Bruijn的自动机和纯类型系统。Fairouz Kamareddine Kluwer编辑的《自动化数学35年》应用逻辑系列。卷28。页71 - 123。2003年11月。ISBN 1-4020-1656-5。Kluwer学术出版商。
5. Kamareddine，自然语言需要类型吗?，《应用逻辑:什么和为什么》，拉兹洛·波罗斯和迈克尔·马苏奇主编，第79-120页，1995年。Kluwer学术出版社，ISBN 0-7923-30951。

书

1. 卡马瑞丁，朗和内德佩尔特，类型理论的起源到今天的现代视角。Kluwer学术出版商。2004年5月。ISBN 1-4020-2334-0。
2. Nederpelt和Kamareddine，逻辑推理，第一步。国王的大学出版社。2004年4月。ISBN 0-9543006-7-X。

编辑问题/书

1. Adel Bouhoula, Tetsuo Ida和Fairouz Kamareddine编辑。软件科学学报2012 (SCSS2012)。EPTCS ? ?2013.
2. Mauricio Ayala-Rincon, Elaine Pimentel和Fairouz Kamareddine的编辑。LSFA 2008和LSFA 2009会议记录。理论计算机科学412(37)，151页。2011.
3. Mauricio Ayala-Rincon和Fairouz Kamareddine的编辑。逻辑和语义框架与应用的第四次工作坊(LSFA’09)。电工实习。定理指出。第一版。Sci 256, 135页。2009.
4. Kamareddine编辑，《逻辑变体:从HOL到构造演算到计算机数学证明》专刊。应用逻辑学报。第2卷，第2期，169页{239。2004年6月。ISSN 1570 - 8683。爱思唯尔,北荷兰。
5. Kamareddine编辑器，数学知识管理专题讨论会的特殊问题。理论计算机科学中的电子笔记93，第1页{201，2004年2月。ISBN 044451290x，eleslyvier。
6. 卡玛瑞丁编辑，《自动化数学35年》。在Kluwer应用逻辑系列编辑的书。卷28。328页。2003年11月。ISBN 1-4020-1656-5。Kluwer学术出版商。
7. Geuvers和Kamareddine编辑，数学、逻辑和计算特刊(MLC)，理论计算机科学电子注释85(7)。2003. ISBN 044451290x，eleslyvier。
8. Kamareddine编辑器，机械化和自动化数学的特殊问题：以纪念N.G.de bruijn。自动化推理杂志。第29卷，问题3和4，第183-418页。2002.伊斯兰0168 7433.克隆学术出版商。
9. 卡玛瑞丁编辑，关于重写和定理证明的特刊。《纯粹逻辑与应用逻辑兴趣组期刊》，9(3)，353{512,2001。ISSN 1367-0751，牛津大学出版社。
10. 卡马丁编辑，《类型》特刊，集计算理论基础。逻辑与计算学报。第11卷，第3期，359页，498页，2001。ISSN 0955 792X，牛津大学出版社。
11. Kamareddine和Klop，编辑，类型理论和术语改写特刊。逻辑与计算学报。第10卷，第3期，321页{492,2000。ISSN 0955 792X，牛津大学出版社。

执法会议出版物

1. 弗拉维奥·德·莫拉·a·v·巴博萨，毛里西奥·阿亚拉·林克?n和费卢兹·卡玛瑞丁。一般显式替换计算性质可视化的灵活框架第五届逻辑和语义框架及应用巴西研讨会(LSFA2010)，纳塔尔，巴西。电工实习。定理指出。第一版。中国科学(d辑:地球科学)。
2. Daniel Lima Ventura, Mauricio Ayala-Rincon and Fairouz Kamareddine, Intersection Type Systems and Explicit Substitutions Calculi Anuj Dawar, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings. Lecture Notes in Computer Science 6188, Pages 232-246. Springer 2010, ISBN 978-3-642-13823-2.
3. 罗伯特·拉马尔，费尔鲁兹·卡马瑞丁，j·b·威尔斯:《数学郎》翻译给伊莎贝尔·辛-税。微积分/MKM 2009, Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt (Eds.):智能计算机数学，第十六届研讨会，微积分2009，第八届国际会议，MKM 2009，作为CICM 2009的一部分，加拿大，2009年7月6-12日。程序。《计算机科学讲义》5625施普林格2009,ISBN 978-3-642-02613-3，第373-388页。
4. Daniel Lima Ventura，Mauricio Ayala-Rincon和Fairouz Kamareddine，迄今为止Beta正常形式的限制交叉口系统中的主要打字，De Bruijn Indices Pro-Ceedings第九次国际研讨会重建和编程中的减少策略。理论计算机科学的电子程序，第15卷，DOI：10.4204 / EPTCS.15，ISSN：2010年1月2075-2180。
5. Fairouz Kamareddine和Vincent Rahli，Simpli Ed Church-Rosser的可再次证明 - 和-reduction。逻辑和语义框架的第三讲习班，用申请，萨尔瓦多，巴伊亚，巴西，2008年8月26日。电。定理指出。第一版。SCI。247：85-101（2009）。
6. Fairouz Kamareddine, Vincent Rahli, Karim Nour和J.B. Wells，交集类型和夜间扩展变量的一个完整的可实现语义。第五届国际计算机理论研讨会，ICTAC 2008，计算机科学讲义5160卷，171-185页，J.S. Fitzgerald, A.E. Haxthausen和H. Yenigun (Eds.)， Springer-Verlag, 2008年9月1{3日，土耳其伊斯坦布尔的Marmara。
7. Fairouz Kamareddine, Vincent Rahli和J.B. Wells，交集类型的lambda微积分的可约性证明。第四次交叉口类型和相关系统研讨会(ITRS’08)，意大利都灵，2008年3月25日。
8. Fairouz Kamareddine, Vincent Rahli, Karim Nour和J.B. Wells，交集类型和扩展变量的可实现语义。第四届交集类型和相关系统研讨会(ITRS’08)，意大利都灵，2008年3月25日。
9. Daniel Lima Ventura, Mauricio Ayala-Rincon and Fairouz Kamareddine，交集型系统的de Bruijn指数，逻辑、认识论和科学史中心30周年纪念，UNICAMP/第15届巴西逻辑会议/第14届拉丁美洲数学逻辑研讨会，2008年5月11-17日，Paraty RJ,巴西。
10. Daniel Lima Ventura, Mauricio Ayala-Rincon和Fairouz Kamareddine，显式代换算法的主要类型，第四届欧洲可计算性会议，算法逻辑和理论，2008年6月15-20日，希腊雅典。《计算机科学》5028卷的课堂讲稿。页567 - 578。阿诺德·贝克曼(Arnold Beckmann)、科斯塔斯·迪米特科帕洛斯(Costas Dimitracopoulos)和贝内迪克特·L·沃(Benedikt L•owe)(编辑)。ISBN 978-3-540-69405-2。斯普林格出版社,2008年版。
11. Kamareddine和Wells, MathLang中的数学文本计算机化，第二届逻辑和语义框架研讨会，及其应用，Ouro Preto, Minas Gerais，巴西，2007年8月28日。ENTCS，第205卷，第5-30页，Ayala-Rincon和Heusler(编辑)。ISSN: 1571-0661, 2008年4月。爱思唯尔。
12. Kamareddine, Maarek, Retel and Wells，数学文本的叙述结构，数学知识管理，第6届国际学术会议，MKM 2007, AI讲义4573,296-312页，M. Kauers, Manfred Kerber, Robert Miner and Wolfgang Windsteiger (Eds)， ISBN 978-3-540-73083-5。斯普林格出版社,2007年6月版。
13. Kamareddine, Lamar, Maarek and Wells, Restoring natural language as a computerised mathematics input method, mathematics Knowledge Management，第6届国际会议，MKM 2007, Lecture Notes in AI, 4573, 280-295页，M. Kauers, Manfred Kerber, Robert Miner and Wolfgang Windsteiger (Eds)， ISBN 978-3-540-73083-5。斯普林格出版社,2007年6月版。
14. Ventura, Ayala-Rincon, Kamareddine, Explicit substitution Calculi with Explicit Eta rules which Preserve Subject Reduction，巴西逻辑和语义框架研讨会，与应用，纳塔尔，巴西，2006年9月17日。
15. Kamareddine, Maarek and Wells，面向对象的数学文本结构，数学知识管理，第四届国际学术会议，MKM 2005, Lecture Notes in AI 3863，页217-233,Michael kohlhaase (Ed)， Springer-Verlag, 2006。
16. De Moura, Kamareddine and Ayala, Second-Order Matching via Explicit Substitution, 11 Intl。在逻辑编程，人工智能和推理，LPAR'04, 2005年3月14-18日，乌拉圭蒙得维的亚。《计算机科学讲义》3452，第433-448页，Franz Baader and Andrei Voronkov (Eds)， ISBN: 3-540-25236-3 Springer-Verlag, 2005年2月。
17. De Moura, Ayala and Kamareddine, SUBSEXPL:一个模拟和比较显式替代算法的框架，第五届逻辑实现国际研讨会，LPAR 2004卫星研讨会。乌拉圭，蒙得维的亚，2005年3月13日。
18. Kamareddine，Maarek和Wells，电脑上的数学编码，数学 - 美景知识管理，第三届国际会议，2004年，计算机科学讲义3119，第160页，第160页，第160页，第160页Andrea Asperti，Grzegorz Bancerek，Andrzej Trybulec（EDS），ISBN 3 540 23029 7. Springer-Verlag，2004年9月。
19. Kamareddine, Maarek and Wells, MathLang:经验驱动的数学语言，数学知识管理。电子笔记理论计算机科学93，页138-160。2004年2月。ISBN 044451290 x,爱思唯尔。
20. Wells, Plump and Kamareddine, diagram for Meaning Preservation, Rewriting Techniques and Applications RTA2003, Lecture Notes in Computer Science 2706, 88{106, Nieuwen-huis, R (Ed.)， ISBN 3-540-40254-3, Springer-Verlag, 2003年5月。
21. 卡玛瑞丁和罗斯，显性代入法:局部和全球的方法，ICALP'03卫星数学、逻辑和计算研讨会，2003年7月，国立台湾大学。理论计算机科学电子笔记85,20页，ENTCS, Elsevier。
22. Kamareddine Laan and Nederpelt, Automath and Pure Type Systems, ICALP'03卫星数学、逻辑和计算研讨会，2003年7月，埃因霍温，NL。理论计算机科学电子笔记85,20页，ENTCS, Elsevier。
23. Kamareddine, Monin和Ayala，关于使用产品类型自动从证明中提取程序，第九届逻辑、语言、信息和计算研讨会，WoLLIC 2002年7月30日至8月2日，里约热内卢de Janeiro，巴西。电子笔记理论计算机科学67,20页，ENTCS, Elsevier。
24. 阿亚拉，de Moura和Kamareddine，显式代换与eta约简的比较，第九届逻辑、语言、信息和计算研讨会，WoLLIC 2002年7月30日至8月2日，里约热内卢，里约热内卢，巴西。电子笔记理论计算机科学67,20页，ENTCS, Elsevier。
25. Kamareddine, On Functions and Types, Invited talk, the Current Trends in Theory and Practice of Informatics, Lecture Notes 2540, page 74-93, Grosky, W. I. and Plasil, F. (Ed.)， Springer-Verlag, 2002。
26. 《纯类型系统的参数》，拉丁美洲理论信息学拉丁文，2002年，墨西哥坎昆。计算机科学课堂讲稿2286，第371-385页，Rajsbaum, S. (Ed.)， Springer-Verlag, 2002年3月。
27. Ayala和Kamareddine，在纯-calculululululululculul中应用Uni阳离子的Se-Sique of Se-Type的高阶Uni阳离子。第八次研讨会逻辑，语言，信息和计算Wollic 2001年7月31日至2001年8月3日，巴西布拉斯利亚。
28. Nederpelt和Kamareddine，《数学自然语言的形式化:数学方言》。第四届第比利斯语言、逻辑和计算国际研讨会，2001年9月23日至28日，格鲁吉亚博若米。
29. Borghuis, Kamareddine and Nederpelt，类型理论的信念修正。第二届亚太智能代理技术研讨会，上海交通大学学报(自然科学版)，2001，页69- 73,2001。世界Scien-ti c。
30. Kamareddine, Bloo和Nederpelt, De Bruijn的语法和lambda项的约简等价。陈述性编程原理与实践国际会议，PPDP 2001，意大利佛罗伦萨。ACM出版物1-58113-388-x/01/09，第16-27页，2001。
31. Kamareddine and Laan and Nederpelt, Re ning the Barendregt Cube using Parameters。功能与逻辑程序设计国际研讨会，2001，东京，日本。《计算机科学讲座讲稿2024》，375页{389,Springer-Verlag, 2001。
32. Ayala-Rincon和Kamareddine，通过显式替换的lambda se风格的简单型高阶单引号策略。第三届国际显式替换研讨会:理论及其在程序和证明中的应用，rta2000卫星研讨会，英国诺维奇，2000。
33. Ayala-Rincon和Kamareddine，通过显式替换的lambda se-Style进行unication。陈述性编程原理与实践国际会议，PPDP 2000，蒙特利尔，加拿大。ACM出版物1-58113-265-4/00/0009，第163-174页，2000。
34. Kamareddine和Monin，自动化归纳和非归纳终止方法，计算机科学讲义1742，亚洲计算科学会议，1999年，泰国普赫。177-189页，施普林格出版社，1999年。ISSN: 0302 - 9743。
35. Kamareddine和Monin，关于递归职能的正式证明，计算机科学讲义1702，宣言编程的国际原则和实践国际会议，PPDP 1999，第29-46页。法国巴黎。Springer-Verlag，1999。
36. Kamareddine, Bloo和Nederpelt，约简等价的近似，计算机科学逻辑，CSL 1997，奥尔胡斯，哥本哈根。
37. 《微积分的显式代换》，《计算机科学讲义》第1298期，第六届代数与逻辑规划与高阶代数国际联合会议，ALP-HOA 1997，第209-223页，英国南安普顿。斯普林格出版社,1997年版。
38. 卡马丁和R os，广义约简和显式替换，计算机科学讲义1140，第8届国际编程语言研讨会:实现，逻辑和程序，PLILP 1996。德国亚琛。378-392页，Springer-Verlag, 1996。
39. 卡马丹丹和R os -微积分和显式代换，计算机科学讲义982，第七届编程语言国际研讨会:实现，逻辑和程序，PLILP 1995，第45-62页，荷兰。斯普林格出版社,1995年版。
40. Kamareddine，自然语言需要类型吗?，《应用逻辑会议论文集》，28页，1992年12月17-19日，阿姆斯特丹。
41. Kamareddine和Nederpelt，通过微积分的类型理论的统一方法，编程语义的数学基础，牛津大学，1992。
42. Kamareddine，《自然语言中泛型性会议论文集》，Krifka编辑，SNS, T•ubingen, 199-219页，1988。

社论

1. Adel Bouhoula, Tetsuo Ida和Fairouz Kamareddine(2013)。前言。EPTCS ? ?
2. Mauricio Ayala-Rincon, Elaine Pimentel和Fairouz Kamareddine(2011)。前言。计算机科学(英文版)。
3. Mauricio Ayala Rincon和Kamareddine(2009)，序言。电工实习。定理指出。第一版。Sci。256:1 - 3。
4. Kamareddine(2004)，《逻辑变体:从HOL到构造演算到计算机数学证明》特刊编辑。应用逻辑学报。第2卷，第2期，169页。2004年6月。ISSN 1570 - 8683。爱思唯尔,北荷兰。
5. Kamareddine(2004)，《数学知识管理研讨会特刊》编辑部。理论计算机科学的电子注释93。页1{4,2004年2月。ISBN 044451290 x,爱思唯尔。
6. Geuvers和Kamareddine（2003），编辑为数学，逻辑和计算（MLC）的特殊问题，理论计算机科学中的电子笔记85（7）。2003. ISBN 044451290x，eleslyvier。
7. Kamareddine(2003)，《自动化数学三十五年》编辑部。在Kluwer应用逻辑系列编辑的书。卷28。页1{8,2003年11月。ISBN 1-4020-1656-5。Kluwer学术出版商。
8. Kamareddine(2002)，《机械化和自动化数学特刊》社论:向N.G. de Bruijn致敬。自动化推理杂志。第29卷，第3和4期，第183页{188。2002.伊斯兰0168 7433.克隆学术出版商。
9. 卡玛瑞丁(2001)，《重写与定理证明特刊》社论。《纯逻辑与应用逻辑兴趣组学报》，9(3)，335{337,2001,ISSN 1367-0751，牛津大学出版社。
10. Kamareddine(2001)，《类型与集合计算理论基础》特刊编辑部。《逻辑与计算学报》第11卷(3)，第359{361页，2001,ISSN 0955 792X，牛津大学出版社。
11. Kamareddine和KLOP（2000），编辑为型理论和术语重写的特殊问题。逻辑和计算第10（3）卷，第321页{322,2000，ISSN 0955 792X，牛津大学出版社。